Difference between revisions of "Funding"

From K Framework
Jump to: navigation, search
 
Line 1: Line 1:
 
The work on the K project was or is partly supported by the following academic grants and contracts (reverse chronological order, by start date):
 
The work on the K project was or is partly supported by the following academic grants and contracts (reverse chronological order, by start date):
  
:* [http://www.nsf.gov/awardsearch/showAward?AWD_ID=1318191 NSF CCF-1318191].  SHF: Small: VeriF-OPT, a Verification Framework for Optimizations and Program Transformations.  $466k for 2013-2016.
+
:* [http://www.nsf.gov/awardsearch/showAward?AWD_ID=1318191 NSF CCF-1318191].  SHF: Small: VeriF-OPT, a Verification Framework for Optimizations and Program Transformations.  $466,000 for 2013-2016.
 
:* Rockwell Collins. Semantics-Based Analysis Framework for C. $125,000 for the period 2012-2013.
 
:* Rockwell Collins. Semantics-Based Analysis Framework for C. $125,000 for the period 2012-2013.
 
:* [http://www.darpa.mil/Our_Work/I2O/Programs/High-Assurance_Cyber_Military_Systems_(HACMS).aspx DARPA HACMS]. Design and Assurance for the Modular Assembly of Sense Control – Actuate Systems (DAMASCAS). Joint project with [http://www.csl.sri.com/ SRI International (CSL)]. UIUC share $1,657,807 for 2012-2017.
 
:* [http://www.darpa.mil/Our_Work/I2O/Programs/High-Assurance_Cyber_Military_Systems_(HACMS).aspx DARPA HACMS]. Design and Assurance for the Modular Assembly of Sense Control – Actuate Systems (DAMASCAS). Joint project with [http://www.csl.sri.com/ SRI International (CSL)]. UIUC share $1,657,807 for 2012-2017.
 
:* Boeing. Formal Analysis of Real-Time Distributed Systems. $240,000 for the period 2012-2013.
 
:* Boeing. Formal Analysis of Real-Time Distributed Systems. $240,000 for the period 2012-2013.
:* [http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1218605 NSF CCF-1218605].  SHF: Small: Usable Verification using Rewriting and Matching Logic.  $400k for 2012-2015.
+
:* [http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1218605 NSF CCF-1218605].  SHF: Small: Usable Verification using Rewriting and Matching Logic.  $400,000 for 2012-2015.
:* [http://www.google-melange.com/gsoc/org/google/gsoc2012/fsl Google Summer of Code] (FSL was an accepted organization).  K Framework.  ~$24k for Summer 2012.
+
:* [http://www.google-melange.com/gsoc/org/google/gsoc2012/fsl Google Summer of Code] (FSL was an accepted organization).  K Framework.  $24,000 for Summer 2012.
:* [http://www.nsa.gov NSA]. Formal Verification of C Programs using Rewriting Logic Semantics and Matching Logic.  $754k for 2010-2013.
+
:* [http://www.nsa.gov NSA]. Formal Verification of C Programs using Rewriting Logic Semantics and Matching Logic.  $754,000 for 2010-2013.
 
:* [http://fmse.info.uaic.ro/grants/DAK/ DAK]. An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems. EU funded, Romanian Contract 161/15.06.2010, SMISCSNR 602-12516.
 
:* [http://fmse.info.uaic.ro/grants/DAK/ DAK]. An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems. EU funded, Romanian Contract 161/15.06.2010, SMISCSNR 602-12516.
:* [http://research.microsoft.com/ Microsoft Research] gift.  $35k (Recommended by [http://research.microsoft.com/~larus/ James Larus]) in 2007.
+
:* [http://research.microsoft.com/ Microsoft Research] gift.  $35,000 (Recommended by [http://research.microsoft.com/~larus/ James Larus]) in 2007.
:* [http://research.microsoft.com/ Microsoft Research] gift.  $15k (Recommended by [http://research.microsoft.com/~tball/ Tom Ball]) in 2007.
+
:* [http://research.microsoft.com/ Microsoft Research] gift.  $15,000 (Recommended by [http://research.microsoft.com/~tball/ Tom Ball]) in 2007.
:* [http://research.microsoft.com/ Microsoft Research] gift.  $10k (Recommended by [http://research.microsoft.com/~schulte/ Wolfram Schulte]) in 2005.
+
:* [http://research.microsoft.com/ Microsoft Research] gift.  $10,000 (Recommended by [http://research.microsoft.com/~schulte/ Wolfram Schulte]) in 2005.
  
 
Additionally, [http://runtimeverification.com Runtime Verification, Inc.], with funding from NASA and Toyota, is a regular contributor to the design and the development of K.
 
Additionally, [http://runtimeverification.com Runtime Verification, Inc.], with funding from NASA and Toyota, is a regular contributor to the design and the development of K.

Latest revision as of 15:54, 25 March 2014

The work on the K project was or is partly supported by the following academic grants and contracts (reverse chronological order, by start date):

  • NSF CCF-1318191. SHF: Small: VeriF-OPT, a Verification Framework for Optimizations and Program Transformations. $466,000 for 2013-2016.
  • Rockwell Collins. Semantics-Based Analysis Framework for C. $125,000 for the period 2012-2013.
  • DARPA HACMS. Design and Assurance for the Modular Assembly of Sense Control – Actuate Systems (DAMASCAS). Joint project with SRI International (CSL). UIUC share $1,657,807 for 2012-2017.
  • Boeing. Formal Analysis of Real-Time Distributed Systems. $240,000 for the period 2012-2013.
  • NSF CCF-1218605. SHF: Small: Usable Verification using Rewriting and Matching Logic. $400,000 for 2012-2015.
  • Google Summer of Code (FSL was an accepted organization). K Framework. $24,000 for Summer 2012.
  • NSA. Formal Verification of C Programs using Rewriting Logic Semantics and Matching Logic. $754,000 for 2010-2013.
  • DAK. An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems. EU funded, Romanian Contract 161/15.06.2010, SMISCSNR 602-12516.
  • Microsoft Research gift. $35,000 (Recommended by James Larus) in 2007.
  • Microsoft Research gift. $15,000 (Recommended by Tom Ball) in 2007.
  • Microsoft Research gift. $10,000 (Recommended by Wolfram Schulte) in 2005.

Additionally, Runtime Verification, Inc., with funding from NASA and Toyota, is a regular contributor to the design and the development of K.

Personal tools
Namespaces

Variants
Actions
Navigation