Algorithmes  Allocation de registres  Analyse de code  Analyse statique  Appel par valeur  Architecture client-serveur  Arithmétique en virgule flottante  Arithmétique entière en précision arbitraire  Arithmétique interne des ordinateurs  Assistant de preuve  Assistants de preuve  Assistants de preuve interactifs  Bibliothèque OCaml  Bitslicing  Bogues  Certification  Code source  Coloration de graphe  Compilateurs  Compilation  Compilation  Compilation certifiée  Compilation vérifiée  Coq -- logiciel  Coq  Coq  Coq, C  Cryptographie  Droit  Duplication du code  Déduction  Effets  Embarqué  Evaluation partielle  Extraction  Focalize  Génération de code fonctionnel  Génération de preuves  Informatique  Langage dédié  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  Langages dédiés  Langages formels  Langages synchrones à flots de données  Logiciels -- Vérification  Logiciels  Logique informatique  Lustre  Machine abstraite  Masquage  Modulaire  Modularité  Modules mixins  Méthodes formelles  Méthodes formelles  Normalisation  OCaml  Objective Caml  Optimisation  Optimisations à la compilation  Ordinateurs -- Programmation  Parallélisme  Plate-forme Frama-C  Plate-forme Why  Preuve de programme  Preuve par réflexion  Programmation  Programmes numériques  Relations inductives  Représentations intermédiaires  Reset modulaire  Récursion  Réflexion  Scade  Spécifications exécutables  Systèmes informatiques -- Mesures de sûreté  Sémantique  Sémantique formelle  Sémantique mécanisée  Théorie de la démonstration  Théorie des types  Théorèmes -- Démonstration automatique  Typage  Vectorisation  Vliw  Vélus  Vérification de programme  Vérification déductive  Vérification déductive de programmes  Vérification formell  Vérification formelle  Why3  

Xavier Leroy a dirigé les 6 thèses suivantes :


Xavier Leroy a été président de jury des 5 thèses suivantes :


Xavier Leroy a été rapporteur des 3 thèses suivantes :


Xavier Leroy a été membre de jury des 3 thèses suivantes :

Informatique
Soutenue le 20-11-2020
Thèse soutenue