https://hgpu.org/?p=25899
Predictive Data Race Detection for GPUs