Léon Gondelman
where else to find them
what they talk about
all 5 in the filters
where they keep going back
on a stage with
all 9 in the filters
who talks about the same things
- Abel Nieto3 talks
- Amin Timany16 talks
- Jonas Kastberg Hinrichsen6 talks
- Simon Oddershede Gregersen9 talks
- Lars Birkedal35 talks
- Simon Spies8 talks
| title | conference | date |
|---|---|---|
| Reasoning about Weak Isolation Levels in Separation Logic | ICFP 2025 | 2025-10-12 |
Paper formalizes three weak isolation levels for key-value transactions and mechanizes them in Rocq on Iris, giving atomic-style separation-logic specs for… | ||
| Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intension... | POPL 2024 | 2024-01-14 |
Introduces Trillium as a language-agnostic separation-logic framework that proves intensional refinements between program traces and labeled transition models… | ||
| Verifying Reliable Network Components in a Distributed Separation Logic with Dep... | ICFP 2023 | 2023-09-04 |
Claims a verified reliable client–server communication stack implemented in an OCaml-like language (about 300–400 lines of code) that runs over UDP and… | ||
| Distributed Causal Memory for Higher-Order Distributed Separation Logic | POPL 2021 | 2021-01-17 |
Presents the first full specification and machine-checked verification of a causally-consistent distributed database implementation and client libraries… | ||
| nothing matches | ||