Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs.

Peng Li, Guodong Li, Ganesh Gopalakrishnan

Browse the full SC paper archive.