Ike Mulder
Robbert Krebbers
Herman Geuvers
2022-03-05
<p>This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris'. It contains the Diaframe source code, a VM containing a compiled version of this source code, the appendix for the paper, and instructions for evaluation.</p>
<p>Diaframe's current development can be found <a href="https://gitlab.mpi-sws.org/iris/diaframe">here</a>.</p>
https://doi.org/10.5281/zenodo.6414787
oai:zenodo.org:6414787
Zenodo
https://doi.org/10.5281/zenodo.6330596
info:eu-repo/semantics/openAccess
BSD 3-Clause "New" or "Revised" License
https://opensource.org/licenses/BSD-3-Clause
PLDI '22, 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, USA, 15-17 June 2022
Artifact and Appendix of 'Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris'
info:eu-repo/semantics/other