Simulee: Detecting cuda synchronization bugs via memory-access modeling

Mingyuan Wu
Mingyuan Wu
Yicheng Ouyang
Yicheng Ouyang
Husheng Zhou
Husheng Zhou
Yuqun Zhang
Yuqun Zhang

Proceedings of the 42nd International Conference on Software Engineering, ICSE, pp. 23-29, 2020.

Cited by: 2|Bibtex|Views10|Links

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments