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.7512277",
"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 '23 paper 'Proof Automation for Linearizability in Separation Logic'. 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'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": "7512277"
}
193
49
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 193 | 35 |
| Downloads | 49 | 17 |
| Data volume | 103.0 GB | 58.8 GB |
| Unique views | 168 | 31 |
| Unique downloads | 35 | 14 |
Indexed in
- Publication date:
- January 7, 2023
- DOI:
-
- License (for files):
- BSD 3-Clause "New" or "Revised" License