https://hgpu.org/?p=11123
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels