Archives des soutenances de thèses / HDR soutenues
(liste non exhaustive)
- Analyse statique relationnelle de coût sur architecture superscalaireLe 16 décembre 2024
- La vérification semi-active de programmesLe 4 novembre 2024
- Analyse statique de types algébriques et de tableauxLe 20 décembre 2023
-
-
- Formal Verification of Just-in-Time CompilationLe 19 décembre 2022
-
- Compilation vérifiée et sécurisée contre les canaux cachés temporelsLe 1 décembre 2021
- Deep Learning in Adversarial ContextLe 17 juin 2021
-
- From Understanding to Greening the Energy Consumption of Distributed SystemsLe 20 novembre 2020
- Epistemic reasoning in AILe 3 mai 2019
-
- Verification of a concurrent garbage collectorLe 19 décembre 2017
-
-
-
Analyse et traitement de flux de données à large échelleLe 5 décembre 2016 -
High-Performance Big Data Management Across Cloud Data CentersLe 10 décembre 2014 -
High-Performance Big Data Management Across Cloud Data CentersLe 10 décembre 2014 -
-
-
Distributed Cost-Optimal PlanningLe 13 novembre 2012 -
Semantic Foundations of Intermediate Program RepresentationsLe 19 octobre 2012 -
-
-
Dioïdes et idéaux de polynômes en analyse statiqueLe 16 janvier 2012 -
Analyses statiques : certifier et quantifierLe 30 août 2010 -
Mise à jour le 6 mai 2020