Professeur

Chef d'équipe (Spirals)

Bureau B318, Inria Bât. B, Haute Borne 03 59 35 87 76

Bureau 323B, Bâtiment M3, Cité Scientifique 03 28 77 85 13

Equipe(s)

Spirals

Mes liens

Mon site web

Thèses dirigées ou co-encadrées au sein de CRIStAL

Guillaume Fieni

Vers la Modélisation de l'Efficience Énergétique des Infrastructures de Calcul Virtualisés Soutenue le 15 décembre 2022

Sacha Brisset

Vers une compréhension des applications web : inférence automatique d'une abstraction et ses applications Soutenue le 5 décembre 2022

Bo Zhang

Auto-optimisation des ressources des couches infrastructure et plate-forme du Cloud computing Soutenue le 12 décembre 2016

Benoît Cornu

Automated Runtime Software Repair Soutenue le 26 novembre 2015

Maxime Huyghe

Détection et correction automatique de vulnérabilités par canaux auxiliaires dans les librairies cryptographiques

Thomas Durieux

From Runtime Failures to Patches : Study of Patch Generation in Production Soutenue le 25 septembre 2018

Mohamed chakib Belgaid

Éco-développement : une approche empirique pour réduire la consommation énergétique des logiciels Soutenue le 14 décembre 2022

Thomas Collignon

Contrôle des émissions de tâche de calcul haute performance

Maxime Colmant

Analyse multidimentionnelle des consommation énergétiques logicielles sur les architectures multi-coeurs Soutenue le 24 novembre 2016

Maria Gomez-Lacruz

Vers l'amélioration de la qualité des applications mobiles en utilisant des données collectées sur les utilisateurs Soutenue le 2 décembre 2016

Publications