Published October 15, 2024
| Version v1
Software
Open
Artifact for Data Race Freedom à la Mode
-
1.
Max Planck Institute for Software Systems
Description
This is the artifact accompanying the paper "Data Race Freedom à la Mode".
The artifact contains the Coq proofs supporting the claims of this paper. These proofs are built using the Iris framework.
The artifact is available as source code archive (ocaml-modes.zip) which can be checked and compiled following the instructions described in the README.md within. Alternatively, the artifact is available as a virtual machine image for VirtualBox: Ubuntu x86 Modal Ocaml.ova for x86 machines and Ubuntu MacOS Modal Ocaml.zip for Apple Silicon Macs. Follow the instructions in VM-README.md