| Publication | Date of Publication | Type |
|---|
| 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?) | 2021-06-21 | Paper |
scientific article; zbMATH DE number 7361354 (Why is no real title available?)
(available as arXiv preprint) | 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 |
| scientific article; zbMATH DE number 1953274 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 1953021 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1948160 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1863396 (Why is no real title available?) | 2003-02-04 | Paper |
A Categorical Framework for Program Semantics and Semantic Abstraction
(available as arXiv preprint) | N/A | Paper |
