Léon Gondelman

18 papers A* 1A 2B 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Reasoning about Weak Isolation Levels in Separation Logic.
CoRR
Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal
2025 J jnl
Reasoning about Weak Isolation Levels in Separation Logic.
Proc. ACM Program. Lang.
Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal
2025 J jnl
SEFL: Harnessing Large Language Model Agents to Improve Educational Feedback Systems.
CoRR
Mike Zhang, Amalie Pernille Dilling, Léon Gondelman, Niels Erik Ruan Lyngdorf, Euan D. Lindsay, Johannes Bjerva
2024 J jnl
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Proc. ACM Program. Lang.
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
2023 J jnl
Modular Verification of State-Based CRDTs in Separation Logic (Artifact).
Dagstuhl Artifacts Ser.
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
2023 A conf
Modular Verification of State-Based CRDTs in Separation Logic.
ECOOP
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
2023 J jnl
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.
Proc. ACM Program. Lang.
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal
2022 J jnl
Modular verification of op-based CRDTs in separation logic.
Proc. ACM Program. Lang.
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal
2021 J jnl
Distributed causal memory: modular specification and verification in higher-order distributed separation logic.
Proc. ACM Program. Lang.
Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal
2021 J jnl
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.
CoRR
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
2019 J jnl
A benchmark for C program verification.
CoRR
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
2019 A conf
Semi-automated Reasoning About Non-determinism in C Expressions.
ESOP
Dan Frumin, Léon Gondelman, Robbert Krebbers
2018 B conf
Finite sets in homotopy type theory.
CPP
Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide
2018 J jnl
The Matrix Reproved (Verification Pearl).
J. Autom. Reason.
Martin Clochard, Léon Gondelman, Mário Pereira
2016 — conf
The Matrix Reproved (Verification Pearl).
VSTTE
Martin Clochard, Léon Gondelman, Mário Pereira
2016 J jnl
The spirit of ghost code.
Formal Methods Syst. Des.
Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich
2016 — —
Un système de types pragmatique pour la vérification déductive des programmes. ( A Pragmatic Type System for Deductive Verification).
Léon Gondelman
2014 A* conf
The Spirit of Ghost Code.
CAV
Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich