Jonas Kastberg Hinrichsen
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Léon Gondelman4 talks
- Jules Jacobs11 talks
- Amin Timany16 talks
- Simon Oddershede Gregersen9 talks
- Lars Birkedal35 talks
- Abel Nieto3 talks
| title | conference | date |
|---|---|---|
| Building Blocks for Step-Indexed Program Logics | CPP 2026 | 2026-01-12 |
Claims a single modular physical-step modality lets program-logic designers recover every prior multiple-later elimination technique without redoing… | ||
| 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… | ||
| Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-O... | POPL 2024 | 2024-01-14 |
LinearActris is a linear concurrent separation logic that claims to give deadlock and leak freedom for message-passing programs by design. The adequacy proof… | ||
| 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… | ||
| Dependent Session Protocols in Separation Logic from First Principles | ICFP 2023 | 2023-09-04 |
Three-layer design builds session protocols from mutable references: one-shot channels, then functional session channels, then imperative endpoints; specs use… | ||
| nothing matches | ||