There is a newer version of the record available.

Published September 4, 2023 | Version v1
Software Open

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

Authors/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.9 MB)

Name Size Download all
md5:d7822fad665a9397e8256c1de2911b70
4.9 MB Preview Download