Published October 8, 2020
| Version v2
Software
Open
Artifact for Optimal Prediction of Synchronization-Preserving Races
- 1. University of Illinois Urbana Champaign
- 2. Aarhus University
Description
Implementation of an algorithm for dynamic data race prediction.
Accompanies the POPL '21 paper "Optimal Prediction of Synchronization-Preserving Races"
Files
popl21-paper243-artifact.zip
Files
(60.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a164b5b95f28608f2039f51984232155
|
60.0 MB | Preview Download |