GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency

Soham Chakraborty, S. Krishna, Andreas Pavlogiannis +1

GPU computing is embracing weak memory concurrency for performance improvement. However, compared to CPUs, modern GPUs provide more fine-grained concurrency features such as scopes…