default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Léon Gondelman
@article{DBLP:journals/pacmpl/MathiasenGDTB25,
author = {Anders Alnor Mathiasen and
L{\'{e}}on Gondelman and
L{\'{e}}on Ducruet and
Amin Timany and
Lars Birkedal},
title = {Reasoning about Weak Isolation Levels in Separation Logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {9},
number = {{ICFP}},
pages = {306--340},
year = {2025},
url = {https://doi.org/10.1145/3747515},
doi = {10.1145/3747515},
timestamp = {Wed, 25 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MathiasenGDTB25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/11/MathiasenGDTB25,
author = {Anders Alnor Mathiasen and
L{\'{e}}on Gondelman and
L{\'{e}}on Ducruet and
Amin Timany and
Lars Birkedal},
title = {Reasoning about Weak Isolation Levels in Separation Logic - Artifact
(Version 1)},
publisher = {Zenodo},
year = {2025},
month = jun,
howpublished = {\url{https://doi.org/10.5281/zenodo.15626657}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.15626657},
doi = {10.5281/ZENODO.15626657},
timestamp = {Wed, 05 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/11/MathiasenGDTB25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2501-14421,
author = {Anders Alnor Mathiasen and
L{\'{e}}on Gondelman and
L{\'{e}}on Ducruet and
Amin Timany and
Lars Birkedal},
title = {Reasoning about Weak Isolation Levels in Separation Logic},
journal = {CoRR},
volume = {abs/2501.14421},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2501.14421},
doi = {10.48550/ARXIV.2501.14421},
eprinttype = {arXiv},
eprint = {2501.14421},
timestamp = {Wed, 26 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2501-14421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2502-12927,
author = {Mike Zhang and
Amalie Pernille Dilling and
L{\'{e}}on Gondelman and
Niels Erik Ruan Lyngdorf and
Euan D. Lindsay and
Johannes Bjerva},
title = {{SEFL:} Harnessing Large Language Model Agents to Improve Educational
Feedback Systems},
journal = {CoRR},
volume = {abs/2502.12927},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2502.12927},
doi = {10.48550/ARXIV.2502.12927},
eprinttype = {arXiv},
eprint = {2502.12927},
timestamp = {Wed, 19 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2502-12927.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/TimanyGSHGNB24,
author = {Amin Timany and
Simon Oddershede Gregersen and
L{\'{e}}o Stefanesco and
Jonas Kastberg Hinrichsen and
L{\'{e}}on Gondelman and
Abel Nieto and
Lars Birkedal},
title = {Trillium: Higher-Order Concurrent and Distributed Separation Logic
for Intensional Refinement},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {241--272},
year = {2024},
url = {https://doi.org/10.1145/3632851},
doi = {10.1145/3632851},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/TimanyGSHGNB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/NietoDGTB23,
author = {Abel Nieto and
Arnaud Daby{-}Seesaram and
L{\'{e}}on Gondelman and
Amin Timany and
Lars Birkedal},
title = {Modular Verification of State-Based CRDTs in Separation Logic (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {15:1--15:5},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.15},
doi = {10.4230/DARTS.9.2.15},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/NietoDGTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GondelmanHPTB23,
author = {L{\'{e}}on Gondelman and
Jonas Kastberg Hinrichsen and
M{\'{a}}rio Pereira and
Amin Timany and
Lars Birkedal},
title = {Verifying Reliable Network Components in a Distributed Separation
Logic with Dependent Separation Protocols},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {847--877},
year = {2023},
url = {https://doi.org/10.1145/3607859},
doi = {10.1145/3607859},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GondelmanHPTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/NietoDGTB23,
author = {Abel Nieto and
Arnaud Daby{-}Seesaram and
L{\'{e}}on Gondelman and
Amin Timany and
Lars Birkedal},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Modular Verification of State-Based CRDTs in Separation Logic},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
Seattle, Washington, United States, July 17-21, 2023},
series = {LIPIcs},
volume = {263},
pages = {22:1--22:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.22},
doi = {10.4230/LIPICS.ECOOP.2023.22},
timestamp = {Fri, 21 Nov 2025 14:06:54 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/NietoDGTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/TimanyGSHGNB23,
author = {Amin Timany and
Simon Oddershede Gregersen and
L{\'{e}}o Stefanesco and
Jonas Kastberg Hinrichsen and
L{\'{e}}on Gondelman and
Abel Nieto and
Lars Birkedal},
title = {Trillium: Higher-Order Concurrent and Distributed Separation Logic
for Intensional Refinement - Coq Artifact (Version 1)},
publisher = {Zenodo},
year = {2023},
month = nov,
howpublished = {\url{https://doi.org/10.5281/zenodo.10100892}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.10100892},
doi = {10.5281/ZENODO.10100892},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/TimanyGSHGNB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/NietoGRTB22,
author = {Abel Nieto and
L{\'{e}}on Gondelman and
Alban Reynaud and
Amin Timany and
Lars Birkedal},
title = {Modular verification of op-based CRDTs in separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1788--1816},
year = {2022},
url = {https://doi.org/10.1145/3563351},
doi = {10.1145/3563351},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/NietoGRTB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/NietoGRTB22,
author = {Abel Nieto and
L{\'{e}}on Gondelman and
Alban Reynaud and
Amin Timany and
Lars Birkedal},
title = {Modular Verification of Op-Based CRDTs in Separation Logic (Proof
Artifact) (Version 1)},
publisher = {Zenodo},
year = {2022},
month = jul,
howpublished = {\url{https://doi.org/10.5281/zenodo.6812016}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.6812016},
doi = {10.5281/ZENODO.6812016},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/NietoGRTB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/NietoGRTB22a,
author = {Abel Nieto and
L{\'{e}}on Gondelman and
Alban Reynaud and
Amin Timany and
Lars Birkedal},
title = {Modular Verification of Op-Based CRDTs in Separation Logic (Proof
Artifact) (Version 2)},
publisher = {Zenodo},
year = {2022},
month = jul,
howpublished = {\url{https://doi.org/10.5281/zenodo.7055010}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.7055010},
doi = {10.5281/ZENODO.7055010},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/NietoGRTB22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GondelmanGNTB21,
author = {L{\'{e}}on Gondelman and
Simon Oddershede Gregersen and
Abel Nieto and
Amin Timany and
Lars Birkedal},
title = {Distributed causal memory: modular specification and verification
in higher-order distributed separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3434323},
doi = {10.1145/3434323},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GondelmanGNTB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-07863,
author = {Amin Timany and
Simon Oddershede Gregersen and
L{\'{e}}o Stefanesco and
L{\'{e}}on Gondelman and
Abel Nieto and
Lars Birkedal},
title = {Trillium: Unifying Refinement and Higher-Order Distributed Separation
Logic},
journal = {CoRR},
volume = {abs/2109.07863},
year = {2021},
url = {https://arxiv.org/abs/2109.07863},
eprinttype = {arXiv},
eprint = {2109.07863},
timestamp = {Tue, 05 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-07863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FruminGK19,
author = {Dan Frumin and
L{\'{e}}on Gondelman and
Robbert Krebbers},
editor = {Lu{\'{\i}}s Caires},
title = {Semi-automated Reasoning About Non-determinism in {C} Expressions},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {60--87},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_3},
doi = {10.1007/978-3-030-17184-1\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FruminGK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01009,
author = {Marko C. J. D. van Eekelen and
Daniil Frumin and
Herman Geuvers and
L{\'{e}}on Gondelman and
Robbert Krebbers and
Marc Schoolderman and
Sjaak Smetsers and
Freek Verbeek and
Beno{\^{\i}}t Viguier and
Freek Wiedijk},
title = {A benchmark for {C} program verification},
journal = {CoRR},
volume = {abs/1904.01009},
year = {2019},
url = {http://arxiv.org/abs/1904.01009},
eprinttype = {arXiv},
eprint = {1904.01009},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ClochardGP18,
author = {Martin Clochard and
L{\'{e}}on Gondelman and
M{\'{a}}rio Pereira},
title = {The Matrix Reproved (Verification Pearl)},
journal = {J. Autom. Reason.},
volume = {60},
number = {3},
pages = {365--383},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9436-2},
doi = {10.1007/S10817-017-9436-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ClochardGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/FruminGGW18,
author = {Dan Frumin and
Herman Geuvers and
L{\'{e}}on Gondelman and
Niels van der Weide},
editor = {June Andronick and
Amy P. Felty},
title = {Finite sets in homotopy type theory},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
8-9, 2018},
pages = {201--214},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167085},
doi = {10.1145/3167085},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/FruminGGW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Gondelman16,
author = {L{\'{e}}on Gondelman},
title = {Un syst{\`{e}}me de types pragmatique pour la v{\'{e}}rification
d{\'{e}}ductive des programmes. {(} {A} Pragmatic Type System
for Deductive Verification)},
school = {University of Paris-Saclay, France},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01533090},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Gondelman16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FilliatreGP16,
author = {Jean{-}Christophe Filli{\^{a}}tre and
L{\'{e}}on Gondelman and
Andrei Paskevich},
title = {The spirit of ghost code},
journal = {Formal Methods Syst. Des.},
volume = {48},
number = {3},
pages = {152--174},
year = {2016},
url = {https://doi.org/10.1007/s10703-016-0243-x},
doi = {10.1007/S10703-016-0243-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FilliatreGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ClochardGP16,
author = {Martin Clochard and
L{\'{e}}on Gondelman and
M{\'{a}}rio Pereira},
editor = {Sandrine Blazy and
Marsha Chechik},
title = {The Matrix Reproved (Verification Pearl)},
booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International
Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9971},
pages = {107--118},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48869-1\_8},
doi = {10.1007/978-3-319-48869-1\_8},
timestamp = {Wed, 25 Sep 2019 18:03:08 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ClochardGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FilliatreGP14,
author = {Jean{-}Christophe Filli{\^{a}}tre and
L{\'{e}}on Gondelman and
Andrei Paskevich},
editor = {Armin Biere and
Roderick Bloem},
title = {The Spirit of Ghost Code},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_1},
doi = {10.1007/978-3-319-08867-9\_1},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/FilliatreGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-26 23:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
