Tenjin: robust and safe c to rust translation
Other Transaction IDV Awarded Last action
- Contract number
- HR00112590129
- Awardee
-
Aarno Labs LLC UEI E24AMLJUN625
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Task orders
- 0
Award facts
- Last date to order
- Not on record
- IDV ceiling
- $4,903,726.00
- Contracting staff
- NAICS code
- Not on record
- Competition
- Competed Broad Agency Announcement
- Pricing
- Other
Award details come from SAM.gov/FPDS.
About this IDV
The Defense Advanced Research Projects Agency awarded an Other Transaction IDV to Aarno Labs LLC with a ceiling of $4.9 million on June 6, 2025. This OT IDV sits outside the Federal Acquisition Regulation and covers two software translation research initiatives: TENJIN: Robust and Safe C to Rust Translation and TRACTOR (Translating All C to Rust). Aarno Labs, based in Cambridge, Massachusetts, brings expertise in software security and vulnerability analysis to these projects, which focus on converting C programming language code to Rust to enhance software security and performance characteristics. The company's prior work includes development of Integrated Vulnerability Mitigation Platforms and Enhanced Software Bill of Materials technologies for federal customers.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Other Administrative Action | $0 | |
| Funding Only Action | $1,124,913 | |
| Funding Only Action | $379,486 | |
| Funding Only Action | $599,912 | |
| Other Administrative Action | $123,751 | |
| Original award | $247,502 |
Quick answers
Who was awarded contract HR00112590129?
HR00112590129 was awarded to Aarno Labs LLC by Defense Advanced Research Projects Agency (Department of Defense) on June 6, 2025.
How much is contract HR00112590129 worth?
HR00112590129's own ceiling is $4,903,726.
Was contract HR00112590129 competed?
The extent of competition for HR00112590129 was competed.
On GovTribe
See this IDV's full record
- Every order and transaction
- The awardee's other awards and teaming partners
- Similar IDVs and recompete opportunities
- Ask GovTribe AI about this IDV