Xavier Denis

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 5

Top Topics

Functional Verification

Top Venues

Publications

Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers
Reasoning about Interior Mutability in Rust using Library-Defined Capabilities. CoRR (2024)
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
A hybrid approach to semi-automated Rust verification. CoRR (2024)
Xavier Denis, Jacques-Henri Jourdan
Specifying and Verifying Higher-order Rust Iterators. TACAS (2) (2023)
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. PLDI (2022)
Xavier Denis, Jacques-Henri Jourdan, Claude Marché
Creusot: A Foundry for the Deductive Verification of Rust Programs. ICFEM (2022)
Xavier Denis, Gaëlle Simon, Nicolas Chanchevrier
Approche innovante pour la recherche et l'extraction coopérative et dynamique d'informations sur Internet. EGC (2004)
Dalila Bekhouche, Yann Pollet, Bruno Grilhères, Xavier Denis
Architecture of a Medical Information Extraction System. NLDB (2004)