Project Team Gallium

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Section: Overall Objectives

Highlights

Xavier Leroy (EPI Gallium), Sandrine Blazy (EPI Celtique), Zaynah Dargaye (CEA) and Jean-Baptiste Tristan (Oracle Labs) were awarded the 2011 La Recherche prize in Information Sciences for their work on the CompCert verified compiler.