Raphaël Monat

CODE beyond FAIR: a roadmap for reusable research software

2025

FAIR principles are a set of guidelines aiming at simplifying the distribution of scientific data to enhance reuse and reproducibility. This article focuses on research software, which significantly differs from data in its living nature, …

DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis

2026 · HAL (Le Centre pour la Communication Scientifique Directe)

Data containers, such as lists, arrays, trees, etc, raise challenges for program verification. In static analysis by abstract interpretation, one popular approach is summarization: multiple elements of a data structure are abstracted into a single …