https://hgpu.org/?p=12681
Practical Symbolic Race Checking of GPU Programs