Simulee: detecting CUDA synchronization bugs via memory-access modeling.

Mingyuan Wu, Yicheng Ouyang, Husheng Zhou, Lingming Zhang, Cong Liu, Yuqun Zhang

Browse the full ICSE paper archive.