SuperCollider: Scalable and Effective Data Race Detection for CUDA

SuperCollider is a novel race detection tool for CUDA that effectively identifies data races without incurring significant overhead or false positives. It handles multiple memory spaces and achieves speed, making it suitable for large-scale GPU workloads. The paper demonstrates its effectiveness by discovering over 90 data races in various professional CUDA implementations, including instances that previous tools missed.