Xavier Rival

ORCID

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 35

Top Venues

CoRR

SAS

VMCAI

Proc. ACM Program. Lang.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Wonyeol Lee, Xavier Rival, Hongseok Yang
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. Proc. ACM Program. Lang. 7 (POPL) (2023)
Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. VMCAI (2023)
Josselin Giet, Félix Ridoux, Xavier Rival
A Product of Shape and Sequence Abstractions. SAS (2023)
Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
Sound Symbolic Execution via Abstract Interpretation and its Application to Security. CoRR (2023)
Shin-ya Katsumata, Xavier Rival, Jérémy Dubut
A Categorical Framework for Program Semantics and Semantic Abstraction. CoRR (2023)
Olivier Nicole, Matthieu Lemerre, Xavier Rival
Lightweight Shape Analysis Based on Physical Types. VMCAI (2022)
Wonyeol Lee, Xavier Rival, Hongseok Yang
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. CoRR (2022)
Hugo Illous, Matthieu Lemerre, Xavier Rival
A relational shape abstract domain. Formal Methods Syst. Des. 57 (3) (2021)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
No Crash, No Exploit: Automated Verification of Embedded Kernels. RTAS (2021)
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
On Correctness of Automatic Differentiation for Non-Differentiable Functions. CoRR (2020)
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
Towards verified stochastic variational inference for probabilistic programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
Shape Analysis. Found. Trends Program. Lang. 6 (1-2) (2020)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
No Crash, No Exploit: Automated Verification of Embedded Kernels. CoRR (2020)
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
On Correctness of Automatic Differentiation for Non-Differentiable Functions. NeurIPS (2020)
Hugo Illous, Matthieu Lemerre, Xavier Rival
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. SAS (2020)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
Automatically Proving Microkernels Free from Privilege Escalation from their Executable. CoRR (2020)
Yoonseok Ko, Xavier Rival, Sukyoung Ryu
Weakly sensitive analysis for JavaScript object-manipulating programs. Softw. Pract. Exp. 49 (5) (2019)
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
Towards Verified Stochastic Variational Inference for Probabilistic Programs. CoRR (2019)
Jiangchao Liu, Liqian Chen, Xavier Rival
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Xavier Rival
Foreword. Formal Methods Syst. Des. 53 (2) (2018)
Se-Won Kim, Xavier Rival, Sukyoung Ryu
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Hugo Illous, Matthieu Lemerre, Xavier Rival
A Relational Shape Abstract Domain. NFM (2017)
Bor-Yuh Evan Chang, Xavier Rival, Sukyoung Ryu
Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12). NII Shonan Meet. Rep. 2017 (2017)
Jiangchao Liu, Xavier Rival
An array content static analysis based on non-contiguous partitions. Comput. Lang. Syst. Struct. 47 (2017)
Yoonseok Ko, Xavier Rival, Sukyoung Ryu
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. APLAS (2017)
Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival
Semantic-directed clumping of disjunctive abstract states. POPL (2017)
Jihyeok Park, Xavier Rival, Sukyoung Ryu
Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. SOAP@PLDI (2017)
Tie Cheng, Xavier Rival
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection. ESOP (2015)
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. ESOP (2015)
Jiangchao Liu, Xavier Rival
Abstraction of Optional Numerical Values. APLAS (2015)
Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival
Abstract Domains and Solvers for Sets Reasoning. LPAR (2015)
Jiangchao Liu, Xavier Rival
Abstraction of Arrays Based on Non Contiguous Partitions. VMCAI (2015)
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2 (2-3) (2015)
Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
Shape Analysis for Unstructured Sharing. SAS (2015)
Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, Xavier Rival
Synthesizing Short-Circuiting Validation of Data Structure Invariants. CoRR (2015)
Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. SAS (2014)
Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang
Construction of Abstract Domains for Heterogeneous Properties (Position Paper). ISoLA (2) (2014)
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
Automatic Analysis of Open Objects in Dynamic Language Programs. SAS (2014)
Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
Reduced Product Combination of Abstract Domains for Shapes. VMCAI (2013)
Bor-Yuh Evan Chang, Xavier Rival
Modular Construction of Shape-Numeric Analyzers. Festschrift for Dave Schmidt (2013)
Pascal Sotin, Xavier Rival
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. APLAS (2012)
Tie Cheng, Xavier Rival
An Abstract Domain to Infer Types over Zones in Spreadsheets. SAS (2012)
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Xavier Rival
Analyse statique par interprétation abstraite. Tech. Sci. Informatiques 30 (4) (2011)
Xavier Rival, Bor-Yuh Evan Chang
Calling context abstraction with shapes. POPL (2011)
David Delmas, Xavier Rival
Preface. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival
Separating Shape Graphs. ESOP (2010)
Pascal Sotin, Bertrand Jeannet, Xavier Rival
Concrete Memory Models for Shape Analysis. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29 (3) (2009)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
Why does Astrée scale up? Formal Methods Syst. Des. 35 (3) (2009)
Erik R. Altman, Bruce R. Childers, Robert S. Cohn, Jack W. Davidson, Koen De Bosschere, Bjorn De Sutter, M. Anton Ertl, Michael Franz, Yuan Xiang Gu, Matthias Hauswirth, Thomas Heinz, Wei-Chung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation (2008)
Bor-Yuh Evan Chang, Xavier Rival
Relational inductive shape analysis. POPL (2008)
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
Shape Analysis with Structural Invariant Checkers. SAS (2007)
Xavier Rival, Laurent Mauborgne
The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
A Static Analyzer for Large Safety-Critical Software CoRR (2007)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
Varieties of Static Analyzers: A Comparison with ASTREE. TASE (2007)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN (2006)
Xavier Rival
Understanding the Origin of Alarms in Astrée. SAS (2005)
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
The ASTREÉ Analyzer. ESOP (2005)
Xavier Rival
Abstract Dependences for Alarm Diagnosis. APLAS (2005)
Laurent Mauborgne, Xavier Rival
Trace Partitioning in Abstract Interpretation Based Static Analyzers. ESOP (2005)
Xavier Rival
Certification of compiled assembly code by invariant translation. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Xavier Rival
Symbolic transfer function-based approaches to certified compilation. POPL (2004)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
A static analyzer for large safety-critical software. PLDI (2003)
Xavier Rival
Abstract Interpretation-Based Certification of Assembly Code. VMCAI (2003)
Harry G. Mairson, Xavier Rival
Proofnets and Context Semantics for the Additives. CSL (2002)
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation (2002)
Xavier Rival, Jean Goubault-Larrecq
Experiments with Finite Tree Automata in Coq. TPHOLs (2001)

Xavier Rival.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xavier Rival