Lon Gondelman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LREC | SEFL: A Framework for Generating Synthetic Educational Assignment Feedback with LLM Agents. | Mike Zhang, Amalie Pernille Dilling, Lon Gondelman, Niels Erik Ruan Lyngdorf, Euan D. Lindsay, Johannes Bjerva |
| 2023 | ECOOP | Modular Verification of State-Based CRDTs in Separation Logic. | Abel Nieto, Arnaud Daby-Seesaram, Lon Gondelman, Amin Timany, Lars Birkedal |
| 2019 | ESOP | Semi-automated Reasoning About Non-determinism in C Expressions. | Dan Frumin, Lon Gondelman, Robbert Krebbers |
| 2018 | CPP | Finite sets in homotopy type theory. | Dan Frumin, Herman Geuvers, Lon Gondelman, Niels van der Weide |
| 2014 | CAV | The Spirit of Ghost Code. | Jean-Christophe Fillitre, Lon Gondelman, Andrei Paskevich |