Léon Gondelman

The spirit of ghost code

Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich · Formal Methods in System Design · 2016 · 38 citations · Full text

Ghost Code, Humanities, Existentialism +2

Finite sets in homotopy type theory

Dan Frumin, Herman Geuvers, Léon Gondelman et al. · 2018 · 16 citations

Type Theory, Higher Category Theory, Different Formalizations +6

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

Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto et al. · Proceedings of the ACM on Programming Languages · 2021 · 15 citations · Full text

Engineering, Verification, Coq Formalization +22

Modular verification of op-based CRDTs in separation logic

Abel Nieto, Léon Gondelman, Alban Reynaud et al. · Proceedings of the ACM on Programming Languages · 2022 · 14 citations · Full text

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

Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira et al. · Proceedings of the ACM on Programming Languages · 2023 · 10 citations · Full text