Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published March 5, 2022 | Version 1.1.0
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 (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