Simon Friis Vindum

According to our database, Simon Friis Vindum authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory.

Simon Friis Vindum, Lars Birkedal

Proc. ACM Program. Lang., October, 2023

2022

Mechanized verification of a fine-grained concurrent queue from meta's folly library.

Simon Friis Vindum, Dan Frumin, Lars Birkedal

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Contextual refinement of the Michael-Scott queue (proof pearl).

Simon Friis Vindum, Lars Birkedal

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021