Xavier Rival

Available identifiers

zbMath Open rival.xavierMaRDI QIDQ681351

List of research outcomes

Publication	Date of Publication	Type
Sound symbolic execution via abstract interpretation and its application to security	2023-08-17	Paper
Lightweight shape analysis based on physical types	2022-07-08	Paper
A relational shape abstract domain	2021-12-08	Paper
Interprocedural shape analysis using separation logic-based transformer summaries	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4994692	2021-06-21	Paper
An array content static analysis based on non-contiguous partitions	2018-01-30	Paper
Semantic-directed clumping of disjunctive abstract states	2017-10-20	Paper
Concrete memory models for shape analysis	2016-06-17	Paper
Abstract domains and solvers for sets reasoning	2016-01-12	Paper
Abstraction of Optional Numerical Values	2016-01-08	Paper
Symbolic transfer function-based approaches to certified compilation	2015-11-11	Paper
Abstraction of arrays based on non contiguous partitions	2015-02-04	Paper
Reduced product combination of abstract domains for shapes	2014-11-03	Paper
Relational inductive shape analysis	2014-09-12	Paper
Calling context abstraction with shapes	2014-04-10	Paper
Separating shape graphs	2010-05-04	Paper
Why does Astrée scale up?	2010-02-05	Paper
Static Analysis	2006-10-31	Paper
Programming Languages and Systems	2006-10-20	Paper
Programming Languages and Systems	2005-09-13	Paper
Programming Languages and Systems	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4414726	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4414379	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4411821	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4790671	2003-02-04	Paper
A Categorical Framework for Program Semantics and Semantic Abstraction	N/A	Paper

Research outcomes over time

This page was built for person: Xavier Rival