Software Open Access

Artifact and Appendix of 'Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris'

Ike Mulder; Robbert Krebbers; Herman Geuvers

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.

Diaframe's current development can be found here.

Files (7.5 GB)
Name Size
appendix.pdf
md5:f282c75b65063a053ccbb82b05e8d351
369.7 kB Download
diaframe-artifact-source.tgz
md5:4b7b027e933f353fda65a4cd97abdd97
23.5 MB Download
diaframe-artifact-vm.ova
md5:a794817c86d2a9692a06c5a9c10565bb
7.4 GB Download
LICENSE
md5:3faedc3fe84752e2f6e5794c61e4e67a
1.5 kB Download
README.md
md5:d6182722fb933ae75f4fc96157d7deba
25.6 kB Download
table1_updated.png
md5:9b99b2133e6481c6b445684a616fc3a1
284.7 kB Download
139
50
views
downloads
All versions This version
Views 13959
Downloads 5012
Data volume 40.0 GB49.6 MB
Unique views 10452
Unique downloads 2610

Share

Cite as