Folgen
Simon Friis Vindum
Simon Friis Vindum
Aarhus University
Bestätigte E-Mail-Adresse bei cs.au.dk
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4