Cache abstraction for data race detection in heterogeneous systems with non-coherent accelerators. - May Young; Alan J. Hu; Guy G. F. Lemieux (LCTES, 2021)