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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Xavier Rival