Published March 5, 2022
| Version 1.0.2
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
(6.7 GB)
Name | Size | Download all |
---|---|---|
md5:f282c75b65063a053ccbb82b05e8d351
|
369.7 kB | Preview Download |
md5:3f2e1737ac267fd821c7f839716673ae
|
23.5 MB | Download |
md5:1080fba5da4a7e6d1a8077a4b82ea931
|
6.6 GB | Download |
md5:3faedc3fe84752e2f6e5794c61e4e67a
|
1.5 kB | Download |
md5:29854925e60bb1e32ae4ef150c56798e
|
21.1 kB | Preview Download |
md5:9b99b2133e6481c6b445684a616fc3a1
|
284.7 kB | Preview Download |