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
Vers la Modélisation de l'Efficience Énergétique des Infrastructures de Calcul Virtualisés Soutenue le 15 décembre 2022
Vers une compréhension des applications web : inférence automatique d'une abstraction et ses applications Soutenue le 5 décembre 2022
Auto-optimisation des ressources des couches infrastructure et plate-forme du Cloud computing Soutenue le 12 décembre 2016
Automated Runtime Software Repair Soutenue le 26 novembre 2015
Détection et correction automatique de vulnérabilités par canaux auxiliaires dans les librairies cryptographiques
From Runtime Failures to Patches : Study of Patch Generation in Production Soutenue le 25 septembre 2018
Éco-développement : une approche empirique pour réduire la consommation énergétique des logiciels Soutenue le 14 décembre 2022
Contrôle des émissions de tâche de calcul haute performance
Analyse multidimentionnelle des consommation énergétiques logicielles sur les architectures multi-coeurs Soutenue le 24 novembre 2016
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