Segui
Simon Friis Vindum
Simon Friis Vindum
Aarhus University
Email verificata su cs.au.dk
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–4