zenodoopen
Artifact of 'Proof Automation for Linearizability in Separation Logic'
<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> <p>Diaframe 2.0's current development can be found <a href="https://gitlab.mpi-sws.org/iris/diaframe">here</a>.</p>
ShareScore
28/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 0
- Engagement
- 4