Contributors
- Julien Henry
- David Monniaux
- Matthieu Moy
Contact: <First Name> DOT <Last Name> AT imag.fr
Related Papers
- Julien Henry, David Monniaux, Matthieu Moy, “PAGAI: A Path Sensitive Static Analyser”, Tools for Automatic Program AnalysiS 2012 (TAPAS’12), paper
- Julien Henry, David Monniaux, Matthieu Moy, “Succinct Representations for Abstract Interpretation”, Static Analysis Symposium 2012 (SAS’12), pages 283-299, paper
- Julien Henry, “Static Analysis by Abstract Interpretation and Decision Procedures”, 2014, PhD thesis