Follow
Simon Friis Vindum
Simon Friis Vindum
Aarhus University
Verified email at cs.au.dk
Title
Cited by
Cited by
Year
Proof Pearl: Contextual Refinement of the Michael-Scott Queue
SF Vindum, L Birkedal
24*2020
Mechanized verification of a fine-grained concurrent queue from meta’s folly library
SF Vindum, D Frumin, L Birkedal
Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022
15*2022
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
SF Vindum, L Birkedal
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 632-657, 2023
22023
Separation Logic for Concurrency and Persistency
SF Vindum
Department of Computer Science, Aarhus University, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–4