Xavier Rival

Registered user since Wed 16 Nov 2016

Name: Xavier Rival

Bio: 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.

Country: France

Affiliation: INRIA/CNRS/ENS Paris

Personal website: http://www.di.ens.fr/~rival/

Research interests: Abstract interpretation, static analysis, shape analysis

Contributions

POPL 2020Committee Member in Program Committee within the Research Papers-track
SOAP 2017Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track
PLDI 2018Committee Member in External Review Committee
N40AI 2017Session Chair of Security, Big Code and Synthesis (part of Next 40 years of Abstract Interpretation)
Committee Member in Organizer within the Next 40 years of Abstract Interpretation-track
SOAP 2016Program Co-Chair in Organizing Committee within the SOAP-track
POPL 2017Author of Semantic-Directed Clumping of Disjunctive Abstract States within the POPL-track
ESOP 2015Author of Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection within the ESOP-track
Author of Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages within the ESOP-track