Research IAW SOW in support of DARPA V-spells program for effort titled "codes"

Ended Definitive Contract Awarded Last action

Contract number
N6600121C4021
Awardee
Awarding agency
Obligated
$3,368,751

Award facts

Opportunity
Contract value 100% obligated
$3,368,751.00 Current and potential, with all options
Completion date 100% complete
Current and potential, with all options
Funding agency
Defense Advanced Research Projects Agency Department of Defense
Set-aside
No set-aside
Competition
Full and Open Competition · 30 offers Basic Research
Pricing
Cost No Fee
Place of performance
Nashville, TN 37240, USA

Award details come from SAM.gov/FPDS.

Transactions

Action Obligated Date
Supplemental Agreement for work within scope P00011 · Research and development. $0
Funding Only Action P00010 · P00010 - incremental funding $301,852
Funding Only Action P00009 · P00009 - INC funding $262,880
Funding Only Action P00008 · P00008 - incremental funding clin 0005 $108,008
Exercise an Option P00007 · P00007 - exercise option 2 phase III (clin 0005 & clin 0006) and incrementally fund clin 0005 $300,000
Other Administrative Action P00006 · Research IAW SOW-option 1 / P00006 incremental funding to clin 0003, update COR/acor, and updated cdrl's POC. $216,141
Funding Only Action P00005 · Incremental funding $312,620
Other Administrative Action P00004 · P00004 - add an increment of funding and an updated cdrl. $597,507
Supplemental Agreement for work within scope P00003 · P00003 - add subcontractor, increase ceiling of option clins, exercise option 1 and add funding, no cost extension to the base period, update cdrl $224,326
Funding Only Action P00002 · Research IAW SOW - P00002 incremental funding $290,417
Supplemental Agreement for work within scope P00001 · P00001 adds an increment of funding. $185,000
Original award $570,000
Show all 12

About this award

This is a federal contract award by the Defense Advanced Research Projects Agency (DARPA) to Vanderbilt University for $3,368,751.00 to conduct research in support of DARPA's V-SPELLS (Verified Security and Performance Enhancement of Large Legacy Software) program. The research will focus on developing practical tools to enable incremental modernization of legacy software systems through formal verification methods. This contract is not set aside for any specific business type.

The award involves several subcontractors, including Carnegie Mellon University and Timothy JON Fraser Consulting LLC, who will provide specialized services such as developing domain-specific languages and use cases to support the V-SPELLS program objectives. The work is expected to be completed by January 14, 2026. This contract award is part of DARPA's broader efforts to create developer-accessible capabilities for incrementally enhancing legacy software systems with new verified code that is both correct-by-construction and compatible-by-construction.

Subawards

Subcontractor Amount Awarded
Carnegie-Mellon University RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" To carry out tasks in collaboration with Vanderbilt University for the… $104,332
Timothy JON Fraser Consulting LLC RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Provide use cases suitable for use in TA1-3 experimentation and demonstration of… $63,875
Carnegie-Mellon University RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" To carry out tasks in collaboration with Vanderbilt University for the… $90,997
Timothy JON Fraser Consulting LLC RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Provide use cases suitable for use in TA1-3 experimentation and demonstration of… $56,300
Timothy JON Fraser Consulting LLC Research IAW SOW in support of DARPA V-spells program for effort titled "codes" provide use cases suitable for use in TA1-3 experimentation and demonstration of… $56,300
Carnegie-Mellon University RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" To carry out tasks in collaboration with Vanderbilt University for the… $37,387
Timothy JON Fraser Consulting LLC RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Provide use cases suitable for use in TA1-3 experimentation and demonstration of… $87,500
Carnegie-Mellon University Research IAW SOW in support of DARPA V-spells program for effort titled "CODES" to carry out tasks in collaboration with vanderbilt university for the… $104,000
Timothy JON Fraser Consulting LLC RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Provide use cases suitable for use in TA1-3 experimentation and demonstration of… $65,000
Carnegie-Mellon University RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Develop an initial set of domain-specific languages to enable the evaluation and… $62,894
Timothy JON Fraser Consulting LLC P00007 - EXERCISE OPTION 2 PHASE III (CLIN 0005 & CLIN 0006) AND INCREMENTALLY FUND CLIN 0005 Provide use cases suitable for use in TA1-3 experimentation and… $62,701
Carnegie-Mellon University RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Develop an initial set of domain-specific languages to enable the evaluation and… $93,000
Carnegie-Mellon University RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Develop an initial set of domain-specific languages to enable the evaluation and… $180,000
Carnegie-Mellon University RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Develop an initial set of domain-specific languages to enable the evaluation and… $67,000
Carnegie-Mellon University Research IAW SOW in support of DARPA V-spells program for effort titled "codes" develop an initial set of domain-specific languages to endable the evaluation… $73,000
Carnegie-Mellon University RESEARCH IAW SOW IN SUPPORT OF DARPA V-SPELLS PROGRAM FOR EFFORT TITLED "CODES" Develop an initial set of domain-specific languages to enable the evaluation and… $117,884
Show all 16

Quick answers

Who was awarded contract N6600121C4021?

N6600121C4021 was awarded to Vanderbilt University by Naval Information Warfare Systems Command (Department of the Navy) on July 15, 2021.

How much is contract N6600121C4021 worth?

The government has obligated $3,368,751 on N6600121C4021.

Which agency awarded contract N6600121C4021?

Naval Information Warfare Systems Command (Department of the Navy) awarded N6600121C4021, with funding from Defense Advanced Research Projects Agency (Department of Defense).

Was contract N6600121C4021 competed?

The extent of competition for N6600121C4021 was full and open competition. The government received 30 offers.

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