Simon Friis Vindum
where else to find them
what they talk about
where they keep going back
- CPP2 editions2022–2025
on a stage with
- Lars Birkedal2×
- Aina Linn Georgesonce
- Dan Fruminonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic | CPP 2025 | 2025-01-20 |
Proposes a new modality that permits non-frame-preserving updates to ghost state inside Iris, formalizes a parameterized stack-cutting transformation that… | ||
| Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's Folly Libr | CPP 2022 | 2022-01-17 |
First formal specification and machine-checked proof of Meta Folly’s fine‑grained MPMC queue: an ML‑style implementation is shown to be a contextual refinement… | ||
| nothing matches | ||