Software Open Access

VerifiedFT: A Verified, High-Performance Precise Dynamic Race Detector

James Wilcox; Cormac Flanagan; Stephen Freund

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 (114.7 MB)
Name Size
VerifiedFT-PPoPP18.zip
md5:cdc876ebdcb5be0aeef807c78bf95fd7
114.7 MB Download
72
7
views
downloads
All versions This version
Views 7272
Downloads 77
Data volume 803.0 MB803.0 MB
Unique views 6767
Unique downloads 77

Share

Cite as