Translating all c to rust (tractor)

Other Transaction IDV Awarded Last action

Contract number
HR00112590131
Awardee
Awarding agency
Task orders
0

Award facts

Last date to order
Not on record
IDV ceiling
$4,972,926.00
Contracting staff
NAICS code
Not on record
Competition
Competed Program Solicitation
Pricing
Other

Award details come from SAM.gov/FPDS.

About this IDV

Written by GovTribe AI ·

The Defense Advanced Research Projects Agency awarded an Other Transaction IDV to University of Wisconsin–Madison for the Translating All C to Rust (TRACTOR) program on June 11, 2025, with a ceiling of $4,972,926. This OT IDV operates outside the FAR acquisition framework and supports DARPA's efforts to translate C-language codebases to the Rust programming language.

University of Wisconsin–Madison, operating through its University of Wisconsin System division, brings research and development capability in applied computer science and systems modernization to this effort. The institution serves as a prime recipient and contractor across 313 distinct federal customer agencies, with a substantial footprint in federally funded research spanning biomedical sciences, engineering, and space science. UW-Madison competes in full-and-open federal competitions without set-aside restrictions.

The TRACTOR program IDV establishes a vehicle through which DARPA will execute modernization and translation initiatives tied to legacy C-based software systems, leveraging Rust's memory-safety and systems-programming capabilities to improve code resilience and security posture across the agency's technical portfolio.

Transactions

Action Obligated Date
Other Administrative Action P00006 $0
Funding Only Action P00005 $895,331
Funding Only Action P00004 $319,671
Other Administrative Action P00003 $0
Funding Only Action P00002 $240,248
Funding Only Action P00001 $254,808
Original award $107,037

Subawards

Subcontractor Amount Awarded
University Of Illinois TRANSLATING ALL C TO RUST (TRACTOR) Task RT3.1 Analysis Oracles for IR Enhancement. This task will study existing, and design new analysis techniques that can… $103,808
The University Of Edinburgh TRANSLATING ALL C TO RUST (TRACTOR) Task RT1.3: Specifying and checking correctness. This task will develop specifications of correctness for C to Rust… $44,979
The Regents Of The University Of California TRANSLATING ALL C TO RUST (TRACTOR) Task RT1.1: Intermediate representation design. This task will develop intermediate representations for C to Rust… $345,593

Quick answers

Who was awarded contract HR00112590131?

HR00112590131 was awarded to University Of Wisconsin System by Defense Advanced Research Projects Agency (Department of Defense) on June 11, 2025.

How much is contract HR00112590131 worth?

HR00112590131's own ceiling is $4,972,926.

Was contract HR00112590131 competed?

The extent of competition for HR00112590131 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
Try for free Login