Experiments with Finite Tree Automata in Coq. - Xavier Rival; Jean Goubault-Larrecq (TPHOLs, 2001)

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (The Essence of Computation, 2002)

Proofnets and Context Semantics for the Additives. - Harry G. Mairson; Xavier Rival (CSL, 2002)

A static analyzer for large safety-critical software. - Bruno Blanchet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (PLDI, 2003)

Abstract Interpretation-Based Certification of Assembly Code. - Xavier Rival (VMCAI, 2003)

Symbolic transfer function-based approaches to certified compilation. - Xavier Rival (POPL, 2004)

Certification of compiled assembly code by invariant translation. - Xavier Rival (Int. J. Softw. Tools Technol. Transf., 2004)

Abstract Dependences for Alarm Diagnosis. - Xavier Rival (APLAS, 2005)

The ASTREÉ Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ESOP, 2005)

Trace Partitioning in Abstract Interpretation Based Static Analyzers. - Laurent Mauborgne; Xavier Rival (ESOP, 2005)

Understanding the Origin of Alarms in Astrée. - Xavier Rival (SAS, 2005)

Abstraction de traces en analyse statique et transformation de programmes. (Traces abstraction in static analysis and program transformation). - Xavier Rival (2005)

Combination of Abstractions in the ASTRÉE Static Analyzer. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux; Xavier Rival (ASIAN, 2006)

Shape Analysis with Structural Invariant Checkers. - Bor-Yuh Evan Chang; Xavier Rival; George C. Necula (SAS, 2007)

Varieties of Static Analyzers: A Comparison with ASTREE. - Patrick Cousot; Radhia Cousot; Jérôme Feret; Antoine Miné; Laurent Mauborgne; David Monniaux; Xavier Rival (TASE, 2007)

The trace partitioning abstract domain. - Xavier Rival; Laurent Mauborgne (ACM Trans. Program. Lang. Syst., 2007)

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. - 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 001; Wei-Chung Hsu; et al. (Emerging Uses and Paradigms for Dynamic Binary Translation, 2008)

Relational inductive shape analysis. - Bor-Yuh Evan Chang; Xavier Rival (POPL, 2008)

Why does Astrée scale up? - Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Formal Methods Syst. Des., 2009)

Astree: Nachweis der Abwesenheit von Laufzeit. - 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 (Softwaretechnik-Trends, 2009)

Separating Shape Graphs. - Vincent Laviron; Bor-Yuh Evan Chang; Xavier Rival (ESOP, 2010)

Preface. - David Delmas; Xavier Rival (TAPAS@SAS, 2010)

Concrete Memory Models for Shape Analysis. - Pascal Sotin; Bertrand Jeannet; Xavier Rival (NSAD@SAS, 2010)

Calling context abstraction with shapes. - Xavier Rival; Bor-Yuh Evan Chang (POPL, 2011)

Static analysis by abstract interpretation of embedded critical software. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (ACM SIGSOFT Softw. Eng. Notes, 2011)

Analyse statique par interprétation abstraite. - Xavier Rival (Tech. Sci. Informatiques, 2011)

Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. - Pascal Sotin; Xavier Rival (APLAS, 2012)

An Abstract Domain to Infer Types over Zones in Spreadsheets. - Tie Cheng; Xavier Rival (SAS, 2012)

Reduced Product Combination of Abstract Domains for Shapes. - Antoine Toubhans; Bor-Yuh Evan Chang; Xavier Rival (VMCAI, 2013)

Modular Construction of Shape-Numeric Analyzers. - Bor-Yuh Evan Chang; Xavier Rival (Festschrift for Dave Schmidt, 2013)

Construction of Abstract Domains for Heterogeneous Properties (Position Paper). - Xavier Rival; Antoine Toubhans; Bor-Yuh Evan Chang (ISoLA (2), 2014)

Automatic Analysis of Open Objects in Dynamic Language Programs. - Arlen Cox; Bor-Yuh Evan Chang; Xavier Rival (SAS, 2014)

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. - Antoine Toubhans; Bor-Yuh Evan Chang; Xavier Rival (SAS, 2014)

Abstraction of Optional Numerical Values. - Jiangchao Liu; Xavier Rival (APLAS, 2015)

Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection. - Tie Cheng; Xavier Rival (ESOP, 2015)

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. - Arlen Cox; Bor-Yuh Evan Chang; Xavier Rival (ESOP, 2015)

Abstract Domains and Solvers for Sets Reasoning. - Arlen Cox; Bor-Yuh Evan Chang; Huisong Li; Xavier Rival (LPAR, 2015)

Shape Analysis for Unstructured Sharing. - Huisong Li; Xavier Rival; Bor-Yuh Evan Chang (SAS, 2015)

Abstraction of Arrays Based on Non Contiguous Partitions. - Jiangchao Liu; Xavier Rival (VMCAI, 2015)

Synthesizing Short-Circuiting Validation of Data Structure Invariants. - Yi-Fan Tsai; Devin Coughlin; Bor-Yuh Evan Chang; Xavier Rival (CoRR, 2015)

Static Analysis and Verification of Aerospace Software by Abstract Interpretation. - Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival (Found. Trends Program. Lang., 2015)

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. - Yoonseok Ko; Xavier Rival; Sukyoung Ryu (APLAS, 2017)

Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. - Jihyeok Park; Xavier Rival; Sukyoung Ryu (SOAP@PLDI, 2017)

Semantic-directed clumping of disjunctive abstract states. - Huisong Li; Francois Berenger; Bor-Yuh Evan Chang; Xavier Rival (POPL, 2017)

An array content static analysis based on non-contiguous partitions. - Jiangchao Liu; Xavier Rival (Comput. Lang. Syst. Struct., 2017)

Memory Abstraction, Emerging Techniques and Applications (NII Shonan Meeting 2017-12). - Bor-Yuh Evan Chang; Xavier Rival; Sukyoung Ryu (NII Shonan Meet. Rep., 2017)

Foreword. - Xavier Rival (Formal Methods Syst. Des., 2018)

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. - Jiangchao Liu; Liqian Chen; Xavier Rival (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. - Se-Won Kim; Xavier Rival; Sukyoung Ryu (ACM Trans. Program. Lang. Syst., 2018)

Weakly sensitive analysis for JavaScript object-manipulating programs. - Yoonseok Ko; Xavier Rival; Sukyoung Ryu (Softw. Pract. Exp., 2019)

On Correctness of Automatic Differentiation for Non-Differentiable Functions. - Wonyeol Lee 001; Hangyeol Yu; Xavier Rival; Hongseok Yang (NeurIPS, 2020)

Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. - Hugo Illous; Matthieu Lemerre; Xavier Rival (SAS, 2020)

Automatically Proving Microkernels Free from Privilege Escalation from their Executable. - Olivier Nicole; Matthieu Lemerre; Sébastien Bardin; Xavier Rival (CoRR, 2020)

Shape Analysis. - Bor-Yuh Evan Chang; Cezara Dragoi; Roman Manevich; Noam Rinetzky; Xavier Rival (Found. Trends Program. Lang., 2020)

Towards verified stochastic variational inference for probabilistic programs. - Wonyeol Lee 001; Hangyeol Yu; Xavier Rival; Hongseok Yang (Proc. ACM Program. Lang., 2020)

No Crash, No Exploit: Automated Verification of Embedded Kernels. - Olivier Nicole; Matthieu Lemerre; Sébastien Bardin; Xavier Rival (RTAS, 2021)

A relational shape abstract domain. - Hugo Illous; Matthieu Lemerre; Xavier Rival (Formal Methods Syst. Des., 2021)

Lightweight Shape Analysis Based on Physical Types. - Olivier Nicole; Matthieu Lemerre; Xavier Rival (VMCAI, 2022)

A Product of Shape and Sequence Abstractions. - Josselin Giet; Félix Ridoux; Xavier Rival (SAS, 2023)

Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. - Ignacio Tiraboschi; Tamara Rezk; Xavier Rival (VMCAI, 2023)

A Categorical Framework for Program Semantics and Semantic Abstraction. - Shin-ya Katsumata; Xavier Rival; Jérémy Dubut (MFPS, 2023)

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. - Wonyeol Lee 001; Xavier Rival; Hongseok Yang (Proc. ACM Program. Lang., 2023)