Simulee: detecting CUDA synchronization bugs via memory-access modeling.

Mingyuan Wu Yicheng Ouyang Husheng Zhou Lingming Zhang Cong Liu Yuqun Zhang

Published in: ICSE (2020)

Keyphrases

memory access
shared memory
general purpose
management system
multi dimensional
source code
databases
data access
external memory