Léon Gondelman

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Venues

Proc. ACM Program. Lang.

CoRR

VSTTE

CPP

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proc. ACM Program. Lang. 8 (POPL) (2024)
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
Modular Verification of State-Based CRDTs in Separation Logic (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
Modular Verification of State-Based CRDTs in Separation Logic. ECOOP (2023)
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal
Modular verification of op-based CRDTs in separation logic. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic. CoRR (2021)
Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal
Distributed causal memory: modular specification and verification in higher-order distributed separation logic. Proc. ACM Program. Lang. 5 (POPL) (2021)
Marko C. J. D. van Eekelen, Daniil Frumin, Herman Geuvers, Léon Gondelman, Robbert Krebbers, Marc Schoolderman, Sjaak Smetsers, Freek Verbeek, Benoît Viguier, Freek Wiedijk
A benchmark for C program verification. CoRR (2019)
Dan Frumin, Léon Gondelman, Robbert Krebbers
Semi-automated Reasoning About Non-determinism in C Expressions. ESOP (2019)
Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide
Finite sets in homotopy type theory. CPP (2018)
Martin Clochard, Léon Gondelman, Mário Pereira
The Matrix Reproved (Verification Pearl). J. Autom. Reason. 60 (3) (2018)
Martin Clochard, Léon Gondelman, Mário Pereira
The Matrix Reproved (Verification Pearl). VSTTE (2016)
Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich
The spirit of ghost code. Formal Methods Syst. Des. 48 (3) (2016)
Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich
The Spirit of Ghost Code. CAV (2014)

Léon Gondelman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Léon Gondelman