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; ENS; CNRS; PSL University
Research interests:Abstract interpretation, static analysis, shape analysis

Contributions

POPL 2023 Author of Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference within the POPL-track
Speaker of Resource Analysis: Session Preview within the Session Previews-track
VMCAI 2023 Author of Sound Symbolic Execution via Abstract Interpretation and its Application to Security within the VMCAI 2023-track
Session Chair of Static Analysis (part of VMCAI 2023)
SPLASH 2022 Author of Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries within the COVID Time Papers In Person-track
VMCAI 2022 Author of Lightweight Shape Analysis based on Physical Types within the VMCAI 2022-track
PC Member in Program Committee within the VMCAI 2022-track
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)
PLDI 2018 Committee Member in External Review Committee
SOAP 2017 Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track
POPL 2017 Author of Semantic-Directed Clumping of Disjunctive Abstract States within the POPL-track
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
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