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.
1 view reported since publication in 2018.

These counts follow the COUNTER Code of Practice, meaning that Internet robots and repeats within a certain time frame are excluded.
What does this mean?