Xavier Rival
Contact
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
map
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 2013,
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.
- A PhD position is available starting from Spring or Summer 2013,
in order to develop abstract domains for complex data-structures.
If you are interested, please contact me by email.
Upcoming and recent events
- 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.
To appear in VMCAI
2013.
- Hierarchical Shape Abstraction of
Dynamic Structures,
Pascal Sotin and Xavier Rival.
To appear in APLAS
2012.
- ESOP 2013, Rome, Italy
(Program Committee)
- An abstract Domain to Infer Types over zones in
Spreadsheets,
Tie Cheng and Xavier Rival,
To appear in SAS 2012.
Research interest
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:
static analysis,
for proving the absence of runtime errors in safety critical embedded
softwares.
Commercial support by AbsInt
(see here for more info).
- Shape analysis
- Certified Compilation
the Lcertify translation validator
- Abstract Interpretation
- Slicing, dependence semantics
PhD students
More info about me...
