Simon Friis Vindum

Simon Friis Vindum

Aarhus University - Aarhus / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 5147458
Aarhus Universitet
person_outline Simon Friis Vindum's MOST POPULAR ARTICLES
1-) Proof Pearl: Contextual Refinement of the Michael-Scott QueueSF Vindum, L Birkedal23*2020
2-) Mechanized verification of a fine-grained concurrent queue from meta’s folly librarySF Vindum, D Frumin, L BirkedalProceedings of the 11th ACM SIGPLAN International Conference on Certified …, 202215*2022
3-) Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent MemorySF Vindum, L BirkedalProceedings of the ACM on Programming Languages 7 (OOPSLA2), 632-657, 202322023
4-) The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation LogicSF Vindum, AL Georges, L Birkedal2025
5-) Separation Logic for Concurrency and PersistencySF VindumAarhus University, 20242024