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
4
0
views
downloads
All versions This version
Views 44
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 44
Unique downloads 00

Share

Cite as