Yale FLINT Group: Home

Yale FLINT Group: Advanced Development of Certified Software

The FLINT group at Yale intends to build a practical infrastructure for constructing large-scale certified systems software, focusing on the development of new program verification techniques and integrated programming and proof tools. By combining recent new advances in programming languages, compilers, formal methods, and proof assistants, we hope to achieve:

common compiler infrastructure and runtime system for certified binaries;
language- and platform-independent secure low-level code;
fine-grain interoperability among modern programming languages;
systems programming support in higher-level languages;
code efficiency through advanced compilation and static analysis.

Research	An overview of our research agenda.
People	Who we are.
Publications	Published papers, technical reports, and talks online.
Software	Source code available for download.
Support	Research grants that support our work.
Links	Pointers to related projects and resources.
Internal	Restricted access. Information for members, ideas for student projects, etc.

colophon

Contents