Volgen
Simon Friis Vindum
Simon Friis Vindum
Aarhus University
Geverifieerd e-mailadres voor cs.au.dk
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4