BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs This is the source code for the BARRACUDA paper from PLDI 2017.