Published February 12, 2018
| Version v1
Software
Open
VerifiedFT: A Verified, High-Performance Precise Dynamic Race Detector
Creators
- 1. University of Washingon
- 2. University of California, Santa Cruz
- 3. WIlliams College
Description
This artifact accompanies our paper "VerifiedFT: A Verified, High-Performance Precise Dynamic Race Detector" presented at PPoPP '18. Instructions can be found in RoadRunner/artifact/index.html.
Files
VerifiedFT-PPoPP18.zip
Files
(114.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:cdc876ebdcb5be0aeef807c78bf95fd7
|
114.7 MB | Preview Download |