Abel Nieto
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2024
on a stage with
all 6 in the filters
who talks about the same things
- Léon Gondelman4 talks
- Simon Oddershede Gregersen9 talks
- Jonas Kastberg Hinrichsen6 talks
- Amin Timany16 talks
- Lars Birkedal35 talks
- Kwing Hei Li6 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| Modular Verification of Op-Based CRDTs in Separation Logic | OOPSLA 2022 | 2022-12-05 |
Framework verifies operation-based CRDT implementations in Coq using Aneris separation logic and a verified Reliable Causal Broadcast protocol plus an OpLib… | ||
| 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 | ||