Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published March 5, 2022 | Version 1.0.2
Software Open

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

  • 1. Radboud University Nijmegen

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