Sun 15 - Sat 21 November 2020 Online Conference
Xavier Rival

Registered user since Wed 16 Nov 2016

Name:Xavier Rival

Xavier Rival is a Senior Research Scientist (Directeur de Recherche) at INRIA Paris. His research interest focus on abstract interpretation and software verification by static analysis. He is mainly working on symbolic abstractions (trace partitionning abstraction, shape analysis, separation logic and memory abstract domains). He has been involved in the design, implementation and transfer of the Astrée analyser, a static analyser able to verify safety properties on industrial size safety critical softwares. He is currently the PI of the MemCAD ERC Starting Grant, aiming at the design of a library of abstract domains to describe memory states containing a wide range of complex data structures. He is also the Head of the ANTIQUE INRIA group, located at ENS Paris, and Professeur Chargé de Cours at Ecole Polytechnique.

Affiliation:INRIA/CNRS/ENS Paris
Research interests:Abstract interpretation, static analysis, shape analysis


SAS 2020 Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Session Chair of 5 (part of SAS)
Committee Member in Program Committee within the SAS-track
Show activities from other conferences

SPLASH 2020-profile
View general profile