文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Yicheng Ouyang
发表
Simulee: Detecting CUDA Synchronization Bugs via Memory-Access Modeling
Yuqun Zhang, Lingming Zhang, Cong Liu, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).