Johannes Hostert
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Derek Dreyer2×
- Armaël Guéneauonce
- Lars Birkedalonce
all 7 in the filters
who talks about the same things
- Armaël Guéneau7 talks
- Simon Spies8 talks
- Derek Dreyer35 talks
- Lennard Gäher7 talks
- Michael Sammler16 talks
- Théo Winterhalter14 talks
| title | conference | date |
|---|---|---|
| Tree Borrows | PLDI 2025 | 2025-06-16 |
Replaces Stacked Borrows’ stack with a per-allocation tree and formalizes aliasing rules so compilers can assume those violations are UB while accepting many… | ||
| Melocoton: A Program Logic for Verified Interoperability Between OCaml and C | OOPSLA 2023 | 2023-10-23 |
Melocoton claims the first formal semantics of the OCaml FFI and the first multi‑language program logic that reasons about OCaml and C interactions… | ||
| nothing matches | ||