Simulee: Detecting CUDA Synchronization Bugs Via Memory-Access Modeling.
ICSE '20 Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering（2020）
Key words
Simulee,CUDA program execution,memory-access information,general CUDA synchronization bugs,7 popular CUDA-related projects,24 manually identified bugs,24 previously unknown bugs,memory-access modeling,mainstream parallel computing platform,programming model,general-purpose GPU computing,challenging open problem,lightweight CUDA synchronization bug detection framework
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined