Head of the Antique
(formerly Abstraction Project Team)
DI - Ecole Normale Supérieure
45, rue d'Ulm
75230 Paris Cedex 05 - France
E-mail: rival AT di.ens.fr
Bureau: 2nd étage, "escalier de la direction", see the
Phone: +33 1 44 32 21 50
Fax: +33 1 44 32 20 80
My research is currently funded by the MemCAD ERC project.
The goal of this project is to design abstract domains for data-structures
and ways to combine such domains into precise, efficient and
scalable static analysis tools.
- A Post-Doc position is available starting from February 2014,
in order to develop static analysis techniques and tools to
reason about programs manipulating complex data-structures,
and combinations of structures.
If you are interested, please contact me by email.
Upcoming and recent events
- SAS 2014,
Münich, Germany, September 2014 (Program Committe)
- VMCAI 2014,
San Diego, USA, January 2014 (Program Committe Co-Chair)
- POPL 2014,
San Diego, USA, January 2014 (Program Committee)
- Reduced Product Combination of
Abstract Domains for Shapes,
Antoine Toubhans, Bor-Yuh Evan Chang and Xavier Rival.
- Hierarchical Shape Abstraction of
Pascal Sotin and Xavier Rival.
- ESOP 2013, Rome, Italy
- An abstract Domain to Infer Types over zones in
Tie Cheng and Xavier Rival,
In SAS 2012.
I am interested in static analysis of softwares, in order to prove
correctness properties (e.g., absence of runtime errors, functional
correctness, etc) in an automatic way:
- Static Analysis of embedded, safety critical softwares
the Astrée project:
for proving the absence of runtime errors in safety critical embedded
Commercial support by AbsInt
(see here for more info).
- Shape analysis
- Certified Compilation
the Lcertify translation validator
- Abstract Interpretation
- Slicing, dependence semantics
More info about me...