Il y a 1 Résultats avec le mot clé : "code source"
Distinction
Prix La Recherche 2011
Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a obtenu le prix La Recherche 2011 en sciences de l'information le 18 octobre dernier aux côtés de Sandrine Blazy (université de Rennes, EPI Celtique), Zaynah Dargaye (maintenant au CEA), Jean-Baptiste Tristan (actuellement à Harvard). Récompensant ainsi leurs travaux sur la vérification formelle de compilateurs réalistes.
Mots-clés :
- Xavier Leroy
- Prix la Recherche 2011
- CompCert
- Langage C
- Compilateur
- Code source
- Logiciel critique
- Preuve de programme
- Centre de recherche Inria Paris - Rocquencourt
Accueil > Centre > Paris - Rocquencourt > Actualités > Prix La Recherche 2011
Inria
Inria.fr
Inria Channel
Centres de recherche Inria