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


SAS 2021 Committee Member in Program Committee within the SAS-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
Session Chair of Abstract Interpretation (part of VMCAI)
SAS 2020 Author of Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries within the SAS-track
Session Chair of 5 (part of SAS)
Committee Member in Program Committee within the SAS-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
Author of Towards Verified Stochastic Variational Inference for Probabilistic Programs within the Research Papers-track
Session Chair of Abstract Interpretation (part of Research Papers)
SOAP 2017 Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track
PLDI 2018 Committee Member in External Review Committee
N40AI 2017 Session 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 2016 Program Co-Chair in Organizing Committee within the SOAP-track
POPL 2017 Author of Semantic-Directed Clumping of Disjunctive Abstract States within the POPL-track
ESOP 2015 Author 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