Xavier Denis

According to our database, Xavier Denis authored at least 8 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities.

Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers

CoRR, 2024

A hybrid approach to semi-automated Rust verification.

Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner

CoRR, 2024

2023

Vérification déductive de programmes Rust. (Deductive verification of Rust programs).

Xavier Denis

PhD thesis, 2023

Specifying and Verifying Higher-order Rust Iterators.

Xavier Denis, Jacques-Henri Jourdan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code.

Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Creusot: A Foundry for the Deductive Verification of Rust Programs.

Xavier Denis, Jacques-Henri Jourdan, Claude Marché

Proceedings of the Formal Methods and Software Engineering, 2022

2004

Architecture of a Medical Information Extraction System.

Dalila Bekhouche, Yann Pollet, Bruno Grilhères, Xavier Denis

Proceedings of the Natural Language Processing and Information Systems, 2004

Approche innovante pour la recherche et l'extraction coopérative et dynamique d'informations sur Internet.

Xavier Denis, Gaëlle Simon, Nicolas Chanchevrier

Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004