Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Location to be announced
Tue 6 Oct 2020 15:00 - 15:20 at TBD5 - Bug Analysis

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 establish the first lightweight CUDA synchronization bug detection framework, namely Simulee, to model CUDA program execution by interpreting the corresponding LLVM bytecode and collecting the memory-access information for automatically detecting general CUDA synchronization bugs. To evaluate the effectiveness and efficiency of Simulee, we construct a benchmark with 7 popular CUDA-related projects from GitHub, upon which we conduct an extensive set of experiments. The experimental results suggest that Simulee can detect 21 out of the 24 manually identified bugs in our preliminary study and also 24 previously unknown bugs among all projects, 10 of which have already been confirmed by the developers. Furthermore, Simulee significantly outperforms state-of-the-art approaches for CUDA synchronization bug detection.

Tue 6 Oct (GMT+09:00) Seoul change

14:00 - 15:40: Paper Presentations - Bug Analysis at TBD5
icse-2020-Journal-First14:00 - 14:15
Carlos Gavidia-CalderonUniversity College London, Federica SarroUniversity College London, UK, Mark HarmanFacebook and University College London, Earl T. BarrUniversity College London, UK
icse-2020-Journal-First14:15 - 14:30
Luciano BaresiPolitecnico di Milano, Alberto LevaPolitecnico di Milano, Giovanni QuattrocchiPolitecnico di Milano
icse-2020-Journal-First14:30 - 14:45
Jie M. ZhangUniversity College London, UK, Feng Li, Dan HaoPeking University, Meng WangUniversity of Bristol, UK, Hao TangPeking University, Lu ZhangPeking University, China, Mark HarmanFacebook and University College London
icse-2020-Journal-First14:45 - 15:00
Ivan BeschastnikhComputer Science, University of British Columbia, Perry LiuUniversity of British Columbia, Albert XingUniversity of British Columbia, Patty WangUniversity of British Columbia, Yuriy BrunUniversity of Massachusetts Amherst, Michael D. ErnstUniversity of Washington, USA
DOI Pre-print
icse-2020-papers15:00 - 15:20
Mingyuan WuSouthern University of Science and Technology, Yicheng OuyangSouthern University of Science and Technology, Husheng ZhouThe University of Texas at Dallas, Lingming ZhangThe University of Texas at Dallas, Cong LiuUT Dallas, Yuqun ZhangSouthern University of Science and Technology
icse-2020-Software-Engineering-in-Practice15:20 - 15:40
Shuyue LiXi'an Jiaotong University, Jiaqi GuoXi'an Jiaotong University, Ming FanXi'an Jiaotong University, Jian-Guang LouMicrosoft Research, Qinghua ZhengXi'an Jiaotong University, Ting LiuXi'an Jiaotong University