| 2023 | SAS | A Product of Shape and Sequence Abstractions. | Josselin Giet, Flix Ridoux, Xavier Rival |
| 2023 | VMCAI | Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. | Ignacio Tiraboschi, Tamara Rezk, Xavier Rival |
| 2022 | VMCAI | Lightweight Shape Analysis Based on Physical Types. | Olivier Nicole, Matthieu Lemerre, Xavier Rival |
| 2021 | RTAS | No Crash, No Exploit: Automated Verification of Embedded Kernels. | Olivier Nicole, Matthieu Lemerre, Sbastien Bardin, Xavier Rival |
| 2020 | SAS | Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. | Hugo Illous, Matthieu Lemerre, Xavier Rival |
| 2017 | APLAS | Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. | Yoonseok Ko, Xavier Rival, Sukyoung Ryu |
| 2017 | PLDI | Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. | Jihyeok Park, Xavier Rival, Sukyoung Ryu |
| 2017 | POPL | Semantic-directed clumping of disjunctive abstract states. | Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival |
| 2015 | APLAS | Abstraction of Optional Numerical Values. | Jiangchao Liu, Xavier Rival |
| 2015 | ESOP | Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection. | Tie Cheng, Xavier Rival |
| 2015 | ESOP | Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. | Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2015 | LPAR | Abstract Domains and Solvers for Sets Reasoning. | Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival |
| 2015 | SAS | Shape Analysis for Unstructured Sharing. | Huisong Li, Xavier Rival, Bor-Yuh Evan Chang |
| 2015 | VMCAI | Abstraction of Arrays Based on Non Contiguous Partitions. | Jiangchao Liu, Xavier Rival |
| 2014 | ISoLA | Construction of Abstract Domains for Heterogeneous Properties (Position Paper). | Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang |
| 2014 | SAS | Automatic Analysis of Open Objects in Dynamic Language Programs. | Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
| 2014 | SAS | An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. | Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
| 2013 | VMCAI | Reduced Product Combination of Abstract Domains for Shapes. | Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival |
| 2012 | APLAS | Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. | Pascal Sotin, Xavier Rival |
| 2012 | SAS | An Abstract Domain to Infer Types over Zones in Spreadsheets. | Tie Cheng, Xavier Rival |
| 2011 | POPL | Calling context abstraction with shapes. | Xavier Rival, Bor-Yuh Evan Chang |
| 2010 | ESOP | Separating Shape Graphs. | Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival |
| 2008 | POPL | Relational inductive shape analysis. | Bor-Yuh Evan Chang, Xavier Rival |
| 2007 | SAS | Shape Analysis with Structural Invariant Checkers. | Bor-Yuh Evan Chang, Xavier Rival, George C. Necula |
| 2007 | TASE | Varieties of Static Analyzers: A Comparison with ASTREE. | Patrick Cousot, Radhia Cousot, Jrme Feret, Antoine Min, Laurent Mauborgne, David Monniaux, Xavier Rival |
| 2005 | APLAS | Abstract Dependences for Alarm Diagnosis. | Xavier Rival |
| 2005 | ESOP | The ASTRE Analyzer. | Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2005 | ESOP | Trace Partitioning in Abstract Interpretation Based Static Analyzers. | Laurent Mauborgne, Xavier Rival |
| 2005 | SAS | Understanding the Origin of Alarms in Astre. | Xavier Rival |
| 2004 | POPL | Symbolic transfer function-based approaches to certified compilation. | Xavier Rival |
| 2003 | PLDI | A static analyzer for large safety-critical software. | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2003 | VMCAI | Abstract Interpretation-Based Certification of Assembly Code. | Xavier Rival |
| 2002 | CSL | Proofnets and Context Semantics for the Additives. | Harry G. Mairson, Xavier Rival |