Léon Gondelman

According to our database, Léon Gondelman authored at least 19 papers between 2014 and 2025.

Collaborative distances:

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

2025

Reasoning about Weak Isolation Levels in Separation Logic - Artifact.

Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal

Dataset, June, 2025

SEFL: Harnessing Large Language Model Agents to Improve Educational Feedback Systems.

Mike Zhang, Amalie Pernille Dilling, Léon Gondelman, Niels Erik Ruan Lyngdorf, Euan D. Lindsay, Johannes Bjerva

CoRR, February, 2025

Reasoning about Weak Isolation Levels in Separation Logic.

Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal

CoRR, January, 2025

2024

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

Proc. ACM Program. Lang., January, 2024

2023

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement - Coq Artifact.

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

Dataset, November, 2023

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.

Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., August, 2023

Modular Verification of State-Based CRDTs in Separation Logic (Artifact).

Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal

Dagstuhl Artifacts Ser., 2023

Modular Verification of State-Based CRDTs in Separation Logic.

Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact).

Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal

Dataset, July, 2022

Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact).

Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal

Dataset, July, 2022

Modular verification of op-based CRDTs in separation logic.

Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., 2022

2021

Distributed causal memory: modular specification and verification in higher-order distributed separation logic.

Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., 2021

Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal

CoRR, 2021

2019

A benchmark for C program verification.

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

CoRR, 2019

Semi-automated Reasoning About Non-determinism in C Expressions.

Dan Frumin, Léon Gondelman, Robbert Krebbers

Proceedings of the Programming Languages and Systems, 2019

2018

Finite sets in homotopy type theory.

Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

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

PhD thesis, 2016

The Matrix Reproved (Verification Pearl).

Martin Clochard, Léon Gondelman, Mário Pereira

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2014

The Spirit of Ghost Code.

Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich

Proceedings of the Computer Aided Verification - 26th International Conference, 2014