Home > Research > Étudiants/Post-docs > Julien Henry (Ph.D)

Julien Henry (Ph.D)

Static analysis by abstract interpretation

Monday 13 August 2012

PhD defended on Monday, October 13th 2014

Years: 2011, 2012, 2013, 2014 (Ph. D )
Co-supervisor: David Monniaux
Subject: Static analysis by abstract interpretation

Julien worked on static analysis by Abstract Interpretation, which is a commonly used technique to discover properties about a program (loop invariants, etc.). This technique computes an over-approximations of the set of possible states of the program. Julien’s topic was to refine this technique by using decision procedures (SMT-solving), in order to compute more precise invariants.


View online : Home page

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License