...Website available for archives only...
...Not updated...


I joined the Corps des Mines in September 2011 and I thus stopped my teaching and research activities (LinkedIn profile).

Still, these few pages remain available for later reference and archive.

E-mail :

Probabilistic Abstract Interpretation

This paper, written with P. Cousot, proposes a new formalism for static analysis of programs that involve probabilities. It extends classical abstract interpretation and allows for easy lifting of existing non-probabilistic analyses. It has been published at ESOP 2012.

The paper can be found below, also with the slides of the talks to give the intuitions behind the framework:

Research Fields, Recent Works & Talks

Scientific interests : Mathematics & Computer Science, more specifically cyber-security, abstract interpretation, static analysis, logic and programming.
Recent works :
  • Probabilistic Abstract Interpretation - joint work with Patrick Cousot, see above.
  • Cache behavior analysis by Abstract Interpretation - joint work with Chris Hankin. Talk at the NEVER seminar at NYU.
  • Object oriented Abstract Interpretation, contracts and objects invariants - Internship at Microsoft Research Redmond 2009, Report, in French.
  • More...