Site archive, non mis à jour

J'ai intégré le Corps des Mines en septembre 2011. Depuis, j'ai donc arrêté mes activités de recherche et d'enseignement (Profil LinkedIn).

Ces quelques pages resteront disponibles pour référence et archive encore quelques temps.

E-mail :

Interprétation Abstraite Probabiliste

Ce papier, écrit avec P. Cousot, propose un nouveau formalisme pour analyser statiquement des programmes à interactions probabilistes, qui étend le cadre habituel de l'interprétation abstraite. Il a été publié à ESOP 2012.

Ci-dessous le papier, ainsi que certaines des présentations qui en ont été faites pour expliciter les intuitions.

Probabilistic Abstract Interpretation, ESOP 2012 paper, BibTeX file.
Présentations :
- Version courte : ESOP 2012.
- Version plus détaillée : faite au MIT et à Microsoft Research en 2011.

Domaines de Recherche, Derniers Travaux & Présentations

Domaines d'intérêt scientifiques : Mathématiques & Informatique, plus précisément la cybersécurité, l'interprétation abstraite, l'analyse statique, la logique, la programmation.

Derniers travaux :

Interprétation abstraite probabiliste - avec Patrick Cousot, cf. ci-dessus.
Analyse du contenu du cache par interprétation abstraite - avec Chris Hankin. Présentation au séminaire NEVER à NYU.
Interprétation abstraite orientée objet, contrats et invariants d'objets - Stage Microsoft Research Redmond 2009, Rapport, in english.
Plus...