Peng Li, Guodong Li, Ganesh Gopalakrishnan. Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs. In Jeffrey K. Hollingsworth, editor, SC Conference on High Performance Computing Networking, Storage and Analysis, SC '12, Salt Lake City, UT, USA - November 11 - 15, 2012. pages 29, IEEE/ACM, 2012. [doi]
Abstract is missing.