Følg
Simon Friis Vindum
Simon Friis Vindum
Aarhus University
Verifisert e-postadresse på cs.au.dk
Tittel
Sitert av
Sitert av
År
Proof Pearl: Contextual Refinement of the Michael-Scott Queue
SF Vindum, L Birkedal
31*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
19*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
102023
The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic
SF Vindum, AL Georges, L Birkedal
Proceedings of the 14th ACM SIGPLAN International Conference on Certified …, 2025
2025
Separation Logic for Concurrency and Persistency
SF Vindum
Aarhus University, 2024
2024
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–5