, The Haiku Operating System
Secure information flow by self-composition, Mathematical. Structures in Comp. Sci, vol.21, issue.6, pp.1207-1252, 2011. ,
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. ,
Analysis of Program Differences with Numerical Abstract Interpretation, PERR 2019, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02109517
Assigning meanings to programs, Proceedings of Symposium on Applied Mathematics, vol.19, pp.19-32, 1967. ,
Regression verification, Proceedings of DAC '09, pp.466-471, 2009. ,
Static analysis of finite precision computations, pp.232-247, 2011. ,
Robustness analysis of finite precision implementations. In: 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 ICSM '94, pp.243-252, 1994. ,
Apron: A library of numerical abstract domains for static analysis, Proc. of CAV'09, vol.5643, pp.661-667, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00786354
Bddapron: A logico-numerical abstract domain library, 2009. ,
Symdiff: A languageagnostic semantic diff tool for imperative programs, CAV, pp.712-717, 2012. ,
Differential assertion checking, Proceedings of ESEC/FSE 2013, pp.345-355, 2013. ,
Katch: High-coverage testing of software patches, Proceedings of ESEC/FSE 2013, pp.235-245, 2013. ,
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, issue.1, pp.31-100, 2006. ,
Client-specific equivalence checking, Proceedings of ASE 2018, pp.441-451, 2018. ,
An analysis of universal information flow based on self-composition, CSF 2015, pp.380-393, 2015. ,
Abstract semantic differencing for numerical programs, SAS. pp, pp.238-258, 2013. ,
Abstract semantic differencing via speculative correlation, Proceedings of OOPSLA'14, pp.811-828, 2014. ,
Differential symbolic execution, Proceedings of the 16th ACM SIGSOFT'08/FSE-16, pp.226-237, 2008. ,
Modular demand-driven analysis of semantic difference for program versions, Proceedings of SAS 2017, pp.405-427, 2017. ,