Simon Friis Vindum - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Wed 2 Dec 2020

Name:Simon Friis Vindum

Country:Denmark

Affiliation:Aarhus University

Personal website: https://www.cs.au.dk/~vindum/

GitHub: https://github.com/paldepind

Contributions

2023

SPLASH

Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory

Show activities from other conferences

SPLASH 2023-profile
View general profile