Previous | 
Home
Section: Overall Objectives
Highlights of the Year
Xavier Leroy was awarded the 2012 Microsoft Research Verified Software Milestone Award in recognition of his work on the CompCert C verified compiler.
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography