Software Open Access

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

Simon Friis Vindum; Lars Birkedal

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 (4.2 MB)
Name Size
spirea-oopsla23-artifact.zip
md5:739ecfe96352b3b48c95e3cad2aa8e5e 		4.2 MB Download
34
0
views
downloads
All versions This version
Views 3428
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 2221
Unique downloads 00
More info on how stats are collected.
Indexed in
Publication date:
September 4, 2023
DOI:
10.5281/zenodo.8314888

Zenodo DOI Badge

DOI 

10.5281/zenodo.8314888

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.8314888.svg)](https://doi.org/10.5281/zenodo.8314888)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.8314888.svg
   :target: https://doi.org/10.5281/zenodo.8314888

HTML 

<a href="https://doi.org/10.5281/zenodo.8314888"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8314888.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.8314888.svg

Target URL 

https://doi.org/10.5281/zenodo.8314888

Keyword(s):
iris coq persistent memory perennial
License (for files):
MIT License

Versions

Version 2 10.5281/zenodo.8314888 Sep 4, 2023
Version 1 10.5281/zenodo.8314883 Sep 4, 2023
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.8314882. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export