Published September 4, 2023 | Version v2
Software Open

Artifact for the paper "Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory" in OOPSLA23

Creators

  • 1. Aarhus University

Description

Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'. The artifact contains a full mechanization of the paper. The project is also available at: https://github.com/logsem/spirea

Files

spirea-oopsla23-artifact.zip

Files (4.2 MB)

Name Size Download all
md5:739ecfe96352b3b48c95e3cad2aa8e5e
4.2 MB Preview Download