Lena Verscht
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2025
on a stage with
all 5 in the filters
who talks about the same things
- Benjamin Lucien Kaminski14 talks
- Joost-Pieter Katoen14 talks
- Kevin Batz8 talks
- Christoph Matheja8 talks
- Ohad Kammar19 talks
- Lars Birkedal35 talks
| title | conference | date |
|---|---|---|
| A Taxonomy of Hoare-Like Logics | POPL 2025 | 2025-01-19 |
Classifies Hoare-like logics by giving a lattice of exact implications between transformers built from predicate transformers and a Kleene-algebra variant… | ||
| Partial Incorrectness Logic | TPSA 2025 | 2025-01-19 |
Defines "partial incorrectness" as an underapproximation of the strongest liberal postcondition that admits final states that are provably unreachable… | ||
| Hoare-Like Triples and Kleene Algebras with Top and Tests | Incorrectness 2024 | 2024-01-17 |
A taxonomy of program logics uses predicate transformers plus Kleene algebra with top and tests to show which Hoare-like triples are equationally definable… | ||
| A Calculus for Amortized Expected Runtimes | POPL 2023 | 2023-01-15 |
Develops a weakest-precondition-style aert calculus that composes the potential method with an extended ert for dynamic memory using runtime separation logic… | ||
| nothing matches | ||