Matthieu Martel
Research
 
Home Teaching Research Publications


Co-chair of SAS 2010 - The 17th Static Analysis Symposium

Research Interests
Static analysis by abstract interpretation
 Program validation and floating-point computations
Program transformation for numerical accuracy Validation of hybrid systems


Current Collaborations & Projects
Compil'HD : High Definition Compilation : Static Analysis and Semantics-based Program Transformation for Numerical Precision (Appel "Chercheur d'Avenir" de la Région Languedoc-Roussillon).

SARDANES : Semantics, analysis and transformation of numerical synchronous embedded software (Fondation de Recherche pour l'Aéronautique et l'Espace).

MASSANE :  Static analysis for the safety of numerical embedded programs written in assembler (CEA-LIST, Airbus)

Eva-Flo : Evaluation and automatic validation for floating-point computations (ANR)

Current Students Former PhD Students
 Arnault Ioualalen (PhD)  Olivier Bouissou
 Laurent Thévenoux (PhD)  Alexandre Chapoutot

Participation to PhD committees:

 Sebastian Pop (CRI-ENSMP, 2006)
Eric Petit (IRISA, December 2009)

Guillaume Révy (LIP, December 2009)
Clément Ballabriga (IRIT, September 2010)

Duong Nguyen (CRI-ENSMP, 2010)



Press Articles

 L'indépendant du 4 février 2010 (pdf)

Le Point du 10 septembre 2009 (pdf)