Simon Friis Vindum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2021–2025
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. | Simon Friis Vindum, Ana Linn Georges, Lars Birkedal |
| 2022 | CPP | Mechanized verification of a fine-grained concurrent queue from meta's folly library. | Simon Friis Vindum, Dan Frumin, Lars Birkedal |
| 2021 | CPP | Contextual refinement of the Michael-Scott queue (proof pearl). | Simon Friis Vindum, Lars Birkedal |