Keywords

Verification, Static Analysis, Abstract Interpretation, Safety Analysis, Code Optimisation, Numerical and Memory Property, Dataflow, Parallelism

Research Statement

Synchronous

Polyhedra

  • The ASPIC (Accelerated Symbolic Polyhedral Invariant Computation) page.
  • The Apron project.
  • Bertrand Jeannet's page on Polka.

Compilation

  • Administor of the Compilation French Community Project : Website
  • Co-organisor of the workshop "analysis and compilation" : ACCA 2011 (Chamonix, April 2011)