Published March 5, 2022
| Version 1.1.0
Software
Open
Artifact and Appendix of 'Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris'
Description
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
appendix.pdf
Files
(7.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f282c75b65063a053ccbb82b05e8d351
|
369.7 kB | Preview Download |
|
md5:4b7b027e933f353fda65a4cd97abdd97
|
23.5 MB | Download |
|
md5:a794817c86d2a9692a06c5a9c10565bb
|
7.4 GB | Download |
|
md5:3faedc3fe84752e2f6e5794c61e4e67a
|
1.5 kB | Download |
|
md5:d6182722fb933ae75f4fc96157d7deba
|
25.6 kB | Preview Download |
|
md5:9b99b2133e6481c6b445684a616fc3a1
|
284.7 kB | Preview Download |
