Xavier Rival
Research Director
Computer Science Department
Ecole Normale Superieure (ENS)
France
Biography
Xavier Rival Research Director at INRIA Paris-Rocquencourt (Research Director, DR 2) Head of the ANTIQUE (ANalyste staTIQUE) Project-Team (formerly Abstraction Project-Team)
Research Interest
I am working on static analysis for the verification of semantic properties of programs. My main focus is on abstract interpretation and more specifically on symbolic abstractions: Static Analysis of embedded, safety critical software the Astrée project: static analysis, for proving the absence of runtime errors in safety critical embedded software. Commercial support by AbsInt (see here for more info). Shape analysis MemCAD ERC Project the Xisa analyzer Certified Compilation the Lcertify translation validator Abstract Interpretation Slicing, dependence semantics Verification of Spreadsheet Applications Static Analysis of JavaScript Software
Publications
-
Abstraction of Optional Numerical Values. Jiangchao Liu and Xavier Rival. In Asian Conference on Programming Languages And Software (APLAS'15), Pohang (South Korea), December 2015, Lecture Notes in Computer Science 9458, pages 146--166, Springer.
-
Semantic-Directed Clumping of Disjunctive Abstract States, ACM Symposium on Principles of Programming Languages (POPL 2017), 2017 Huisong Li, Francois Berenger, Bor-Yuh Evan Chang and Xavier Rival. In Principles Of Programming Languages 2017 (POPL'17), Paris, Jan. 2017.
-
A Relational Shape Abstract Domain. Hugo Illous, Matthieu Lemerre and Xavier Rival. In Nasa Formal Methods Symposium (NFM'17).
