Simon Friis Vindum

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Dynamically Created

Markov Modulated

Top Venues

Proc. ACM Program. Lang.

Publications

Simon Friis Vindum, Lars Birkedal
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Simon Friis Vindum, Dan Frumin, Lars Birkedal
Mechanized verification of a fine-grained concurrent queue from meta's folly library. CPP (2022)
Simon Friis Vindum, Lars Birkedal
Contextual refinement of the Michael-Scott queue (proof pearl). CPP (2021)