Xavier Rival

According to our database, Xavier Rival authored at least 62 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference.

Wonyeol Lee, Xavier Rival, Hongseok Yang

Proc. ACM Program. Lang., January, 2023

A Categorical Framework for Program Semantics and Semantic Abstraction.

Shin-ya Katsumata, Xavier Rival, Jérémy Dubut

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Sound Symbolic Execution via Abstract Interpretation and Its Application to Security.

Ignacio Tiraboschi, Tamara Rezk, Xavier Rival

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

A Product of Shape and Sequence Abstractions.

Josselin Giet, Félix Ridoux, Xavier Rival

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Lightweight Shape Analysis Based on Physical Types.

Olivier Nicole, Matthieu Lemerre, Xavier Rival

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

A relational shape abstract domain.

Hugo Illous, Matthieu Lemerre, Xavier Rival

Formal Methods Syst. Des., 2021

No Crash, No Exploit: Automated Verification of Embedded Kernels.

Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020

Towards verified stochastic variational inference for probabilistic programs.

Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang

Proc. ACM Program. Lang., 2020

Shape Analysis.

Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival

Found. Trends Program. Lang., 2020

Automatically Proving Microkernels Free from Privilege Escalation from their Executable.

Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival

CoRR, 2020

Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.

Hugo Illous, Matthieu Lemerre, Xavier Rival

Proceedings of the Static Analysis - 27th International Symposium, 2020

On Correctness of Automatic Differentiation for Non-Differentiable Functions.

Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Weakly sensitive analysis for JavaScript object-manipulating programs.

Yoonseok Ko, Xavier Rival, Sukyoung Ryu

Softw. Pract. Exp., 2019

2018

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework.

Se-Won Kim, Xavier Rival, Sukyoung Ryu

ACM Trans. Program. Lang. Syst., 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

Foreword.

Xavier Rival

Formal Methods Syst. Des., 2018

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

An array content static analysis based on non-contiguous partitions.

Jiangchao Liu, Xavier Rival

Comput. Lang. Syst. Struct., 2017

Semantic-directed clumping of disjunctive abstract states.

Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction.

Jihyeok Park, Xavier Rival, Sukyoung Ryu

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects.

Yoonseok Ko, Xavier Rival, Sukyoung Ryu

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

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

Synthesizing Short-Circuiting Validation of Data Structure Invariants.

Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, Xavier Rival

CoRR, 2015

Abstraction of Arrays Based on Non Contiguous Partitions.

Jiangchao Liu, Xavier Rival

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Shape Analysis for Unstructured Sharing.

Huisong Li, Xavier Rival, Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Abstract Domains and Solvers for Sets Reasoning.

Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages.

Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Programming Languages and Systems, 2015

Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection.

Tie Cheng, Xavier Rival

Proceedings of the Programming Languages and Systems, 2015

Abstraction of Optional Numerical Values.

Jiangchao Liu, Xavier Rival

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions.

Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Static Analysis - 21st International Symposium, 2014

Automatic Analysis of Open Objects in Dynamic Language Programs.

Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Static Analysis - 21st International Symposium, 2014

Construction of Abstract Domains for Heterogeneous Properties (Position Paper).

Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

Modular Construction of Shape-Numeric Analyzers.

Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Semantics, 2013

Reduced Product Combination of Abstract Domains for Shapes.

Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Verification, 2013

2012

An Abstract Domain to Infer Types over Zones in Spreadsheets.

Tie Cheng, Xavier Rival

Proceedings of the Static Analysis - 19th International Symposium, 2012

Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks.

Pascal Sotin, Xavier Rival

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Analyse statique par interprétation abstraite.

Xavier Rival

Tech. Sci. Informatiques, 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

Calling context abstraction with shapes.

Xavier Rival, Bor-Yuh Evan Chang

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Concrete Memory Models for Shape Analysis.

Pascal Sotin, Bertrand Jeannet, Xavier Rival

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Preface.

David Delmas, Xavier Rival

Proceedings of the Tools for Automatic Program AnalysiS, 2010

Separating Shape Graphs.

Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the Programming Languages and Systems, 2010

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

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

2008

Relational inductive shape analysis.

Bor-Yuh Evan Chang, Xavier Rival

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

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, 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

Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

2007

The trace partitioning abstract domain.

Xavier Rival, Laurent Mauborgne

ACM Trans. Program. Lang. Syst., 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

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Shape Analysis with Structural Invariant Checkers.

Bor-Yuh Evan Chang, Xavier Rival, George C. Necula

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

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

Proceedings of the Advances in Computer Science, 2006

2005

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

Xavier Rival

PhD thesis, 2005

Understanding the Origin of Alarms in Astrée.

Xavier Rival

Proceedings of the Static Analysis, 12th International Symposium, 2005

Trace Partitioning in Abstract Interpretation Based Static Analyzers.

Laurent Mauborgne, Xavier Rival

Proceedings of the Programming Languages and Systems, 2005

The ASTREÉ Analyzer.

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival

Proceedings of the Programming Languages and Systems, 2005

Abstract Dependences for Alarm Diagnosis.

Xavier Rival

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Certification of compiled assembly code by invariant translation.

Xavier Rival

Int. J. Softw. Tools Technol. Transf., 2004

Symbolic transfer function-based approaches to certified compilation.

Xavier Rival

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2003

Abstract Interpretation-Based Certification of Assembly Code.

Xavier Rival

Proceedings of the Verification, 2003

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

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002

Proofnets and Context Semantics for the Additives.

Harry G. Mairson, Xavier Rival

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

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

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Experiments with Finite Tree Automata in Coq.

Xavier Rival, Jean Goubault-Larrecq

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001