Simulee: Detecting cuda synchronization bugs via memory-access modeling
Proceedings of the 42nd International Conference on Software Engineering, ICSE, pp. 23-29, 2020.
While CUDA has become a mainstream parallel computing platform and programming model for general-purpose GPU computing, how to effectively and efficiently detect CUDA synchronization bugs remains a challenging open problem. In this paper, we propose the first lightweight CUDA synchronization bug detection framework, namely Simulee, to mod...More
Full Text (Upload PDF)
PPT (Upload PPT)