BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. - Ariel Eizenberg; Yuanfeng Peng; Toma Pigli; William Mansky; Joseph Devietti (PLDI, 2017)