Luce: a formal methodology and algorithms for compile-time reasoning of memory corruption-related emergent behaviors
Ended Other Transaction Agreement Awarded Last action
- Contract number
- HR00112090028
- Awardee
-
Virginia Polytechnic Institute & State University UEI QDE5UHE5XD16
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $1,000,000
Award facts
- Contract value 100% obligated
- $1,000,000.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- NAICS code
- Not on record
- Set-aside
- No set-aside
- Competition
- Competed Program Solicitation
- Pricing
- Other
- Place of performance
- Blacksburg, VA 24061, USA
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Other Administrative Action | $0 | |
| Exercise an Option | $500,000 | |
| Original award | $500,000 |
About this award
The Defense Advanced Research Projects Agency awarded a $1 million Other Transaction Agreement to Virginia Polytechnic Institute & State University, doing business as Virginia Tech, to develop LUCE: A Formal Methodology and Algorithms for Compile-Time Reasoning of Memory Corruption-Related Emergent Behaviors. Work will be performed in Blacksburg, Virginia through July 2021. This contract leverages DARPA's expertise in addressing software vulnerabilities to help formalize approaches for identifying memory corruption issues during compilation. Virginia Tech will deliver methodology and algorithms to enable analyzing software for unintended behaviors stemming from memory errors. No subcontractors or additional context were provided in the award information.
Quick answers
Who was awarded contract HR00112090028?
HR00112090028 was awarded to Virginia Polytechnic Institute & State University by Defense Advanced Research Projects Agency (Department of Defense) on January 6, 2020.
How much is contract HR00112090028 worth?
The government has obligated $1,000,000 on HR00112090028.
Was contract HR00112090028 competed?
The extent of competition for HR00112090028 was competed.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award