Software Open Access

Artifact of 'Proof Automation for Linearizability in Separation Logic'

Ike Mulder; Robbert Krebbers

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.7712620", 
  "title": "Artifact of 'Proof Automation for Linearizability in Separation Logic'", 
  "issued": {
    "date-parts": [
      [
        2023, 
        1, 
        7
      ]
    ]
  }, 
  "abstract": "<p>This is the artifact for the OOPSLA &#39;23 paper &#39;Proof Automation for Linearizability in Separation Logic&#39;. It contains the Diaframe 2.0 source code, a VM containing a compiled version of this source code, and instructions for evaluation.</p>\n\n<p>Diaframe 2.0&#39;s current development can be found <a href=\"https://gitlab.mpi-sws.org/iris/diaframe\">here</a>.</p>", 
  "author": [
    {
      "family": "Ike Mulder"
    }, 
    {
      "family": "Robbert Krebbers"
    }
  ], 
  "version": "1.0.0", 
  "type": "article", 
  "id": "7712620"
}
72
22
views
downloads
All versions This version
Views 7245
Downloads 228
Data volume 73.4 GB14.7 GB
Unique views 5738
Unique downloads 154
More info on how stats are collected.
Indexed in
Publication date:
January 7, 2023
DOI:
10.5281/zenodo.7712620

Zenodo DOI Badge

DOI 

10.5281/zenodo.7712620

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
BSD 3-Clause "New" or "Revised" License

Versions

Version 1.0.0 10.5281/zenodo.7712620 Jan 7, 2023
Version 1.0.0 10.5281/zenodo.7512277 Jan 7, 2023
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7512276. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export