, Field-Sensitive Value Analysis by Field-Insensitive Analysis. In World Congress on Formal Methods (FM), pp.370-386, 2009.
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis, Static Analysis Symposium (SAS), pp.100-116, 2010. ,
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems, Science of Computer Programming, vol.72, issue.1-2, pp.3-21, 2008. ,
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems, Theoretical Computer Science, vol.410, issue.46, pp.4672-4691, 2009. ,
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Principles of Programming Languages (POPL), pp.238-252, 1977. ,
The Astrée Analyzer, European Symposium on Programming (ESOP), pp.21-30, 2005. ,
Why does Astrée Scale up? Formal Methods in System Design, vol.35, pp.229-264, 2009. ,
Automatic Discovery of Linear Restraints Among Variables of a Program, Principles of Programming Languages (POPL), pp.84-96, 1978. ,
The Java TM Virtual Machine Specification, Financial Times, 2013. ,
Weakly Relational Numerical Abstract Domains, 2004. ,
Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics, Languages, Compilers, and Tools for Embedded Systems (LCTES), pp.54-63, 2006. ,
The Octagon Abstract Domain. Higher-Order and Symbolic Computation, vol.19, pp.31-100, 2006. ,
Reachability Analysis of Program Variables, Transactions on Programming Languages and Systems, vol.35, issue.4, 2013. ,
Index Checking Experiments, 2017. ,
Enforcing Correct Array Indexes with a Type System, Foundations of Software Engineering (FSE), pp.1142-1144, 2016. ,
Pair-Sharing Analysis of Object-Oriented Programs, Static Analysis Symposium (SAS), pp.320-335, 2005. ,
The Julia Static Analyzer for Java, Static Analysis Symposium (SAS), pp.39-57, 2016. ,
Class Analyses as Abstract Interpretations of Trace Semantics, Transactions on Programming Languages and Systems, vol.25, issue.5, pp.578-630, 2003. ,
A Termination Analyzer for, Java Bytecode Based on Path-Length. Transactions on Programming Languages and Systems, vol.32, issue.3, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01186167