Archives des soutenances de thèses / HDR soutenues
(liste non exhaustive)
- 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