Analysis of GPGPU Programs for Data-race and Barrier Divergence. - Santonu Sarkar; Prateek Kandelwal; Soumyadip Bandyopadhyay; Holger Giese (ICSOFT, 2018)