The FLINT Project

Research

People

Publications

Software

Support

Links

Internal

Research Funding

Last modified: Sat Nov 4 02:48:17 2006 GMT.

The work on FLINT was supported by several gifts from Microsoft and Intel as well as the following grants from NSF and DARPA:
  • 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
  •  


    Copyright © 1996-2007 The FLINT Group <flint at cs dot yale dot edu>
    Yale University Department of Computer Science
    Validate this page
    colophon