Xavier Rival
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A Categorical Framework for Program Semantics and Semantic Abstraction (available as arXiv preprint) | N/A | Paper |
| A categorical framework for program semantics and semantic abstraction | 2026-04-02 | Paper |
| Sound symbolic execution via abstract interpretation and its application to security Lecture Notes in Computer Science | 2023-08-17 | Paper |
| Lightweight shape analysis based on physical types | 2022-07-08 | Paper |
| A relational shape abstract domain Formal Methods in System Design | 2021-12-08 | Paper |
| Interprocedural shape analysis using separation logic-based transformer summaries | 2021-10-18 | Paper |
| scientific article; zbMATH DE number 7361354 (Why is no real title available?) (available as arXiv preprint) | 2021-06-21 | Paper |
| scientific article; zbMATH DE number 7361354 (Why is no real title available?) | 2021-06-21 | Paper |
| An array content static analysis based on non-contiguous partitions Computer Languages, Systems & Structures | 2018-01-30 | Paper |
| Semantic-directed clumping of disjunctive abstract states Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Concrete memory models for shape analysis Electronic Notes in Theoretical Computer Science | 2016-06-17 | Paper |
| Abstract domains and solvers for sets reasoning Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
| Abstraction of Optional Numerical Values Programming Languages and Systems | 2016-01-08 | Paper |
| Symbolic transfer function-based approaches to certified compilation Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
| Abstraction of arrays based on non contiguous partitions Lecture Notes in Computer Science | 2015-02-04 | Paper |
| Reduced product combination of abstract domains for shapes Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Relational inductive shape analysis Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Calling context abstraction with shapes Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Separating shape graphs Programming Languages and Systems | 2010-05-04 | Paper |
| Why does Astrée scale up? Formal Methods in System Design | 2010-02-05 | Paper |
| Static Analysis Lecture Notes in Computer Science | 2006-10-31 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2005-09-13 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2005-09-13 | Paper |
| Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software Lecture Notes in Computer Science | 2003-07-27 | Paper |
| Abstract interpretation-based certification of assembly code Lecture Notes in Computer Science | 2003-07-25 | Paper |
| Proofnets and context semantics for the additives Lecture Notes in Computer Science | 2003-07-10 | Paper |
| Experiments with finite tree automata in Coq Lecture Notes in Computer Science | 2003-02-04 | Paper |
Research outcomes over time
This page was built for person: Xavier Rival
