Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, POPL'77, pp.238-252, 1977. ,
Automatic discovery of linear restraints among variables of a program, POPL'78, pp.84-97, 1978. ,
Regression verification, Proceedings of the 46th Annual Design Automation Conference, DAC '09, pp.466-471, 2009. ,
Static analysis of finite precision computations, Verification, Model Checking, and Abstract Interpretation, pp.232-247, 2011. ,
Robustness analysis of finite precision implementations, Programming Languages and Systems, pp.50-57, 2013. ,
URL : https://hal.archives-ouvertes.fr/cea-01834989
Semantic diff: A tool for summarizing the effects of modifications, Proceedings of the International Conference on Software Maintenance, ICSM '94, pp.243-252, 1994. ,
Apron: A library of numerical abstract domains for static analysis, Proc. of the 21th Int. Conf. on Computer Aided Verification (CAV'09), vol.5643, pp.661-667, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00786354
Symdiff: A language-agnostic semantic diff tool for imperative programs, Computer Aided Verification, pp.712-717, 2012. ,
Propagation of roundoff errors in finite precision computations: A semantics approach, Programming Languages and Systems, pp.194-208, 2002. ,
The octagon abstract domain. Higher-Order and Symbolic Computation, vol.19, pp.31-100, 2006. ,
Abstract semantic differencing for numerical programs, Static Analysis, pp.238-258, 2013. ,
Abstract semantic differencing via speculative correlation, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '14, pp.811-828, 2014. ,
Differential symbolic execution, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT '08/FSE-16, pp.226-237, 2008. ,
Modular demand-driven analysis of semantic difference for program versions, Static Analysis -24th International Symposium, vol.10422, pp.405-427, 2017. ,