Support
Research Funding
Last modified: Sun Sep 23 21:43:38 2012 GMT.
The work by the FLINT group has been supported by the following grants from NSF, DARPA and ONR as well as several gifts from Microsoft Research and Intel:- DARPA HACMS: Compositionality and Automation for Robotics Security
- ONR: Reasoning Infrastructure for Security-Aware Software Development
- NSF TC-Medium: Making OS Kernels Crash-Proof by Design and Certification
- DARPA CRASH: Advanced Development of Certified OS Kernels
- NSF TC-Small: Formal Reasoning about Concurrent Programs for Multicore and Multiprocessor Machines
- NSF TC-Large: Combining Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software
- NSF CPA-SEL-T: Domain Specific Languages, Logics, and Proofs for Certified Software Design
- NSF CT-ISG: Certified Runtime Code Manipulation
- NSF CT-ISG: Modular Development of Certified Concurrent Code
- NSF: High-Assurance Common Language Runtime
- NSF ITR: FLINT---A Mobile-Code Infrastructure for Advanced Languages
- DARPA: Scaling Proof-Carrying Code to Production Compilers and Security Policies
- NSF: Typed Common Intermediate Format
- DARPA: Software Evolution using HOT Language Technology
- NSF: Foundations of Hot Languages and Software Evolution
- NSF CAREER: Type-Directed Compilation
