Léon Gondelman

According to our database, Léon Gondelman authored at least 16 papers between 2016 and 2024.

Collaborative distances:

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

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

The Matrix Reproved (Verification Pearl).

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

J. Autom. Reason., 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 spirit of ghost code.

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

Formal Methods Syst. Des., 2016