Verified Compilation and Worst case Execution Time Estimation
Compilation Certifiée et Estimation du Pire Temps d'Exécution
André Oliveira Maroneze
(Equipe-projet Celtique)
Soutenance de thèse - 17 juin 2014
La discussion avec le jury [53:45 mn]
Composition du Jury:
- Björn Lisper, Rapporteur, Professor à l'Université de Mälardalen
- Andrew Tolmach, Rapporteur, Professor à Portland State University
- Xavier Leroy, Examinateur, Directeur de recherche à Inria Rocquencourt
- Marc Pantel, Examinateur, Maître de conférences à l'ENSEEIHT
- Christine Rochange, Examinatrice, Professeur des universités à l'Université de Toulouse III
- Sandrine Blazy, Directrice de thèse, Professeur des universités à l'Université de Rennes 1
- David Pichardie, Encadrant de thèse, Professeur des universités à l'ENS Rennes
- Isabelle Puaut, Co-Directrice de thèse, Professeur des universités à l'Université de Rennes 1
