https://hgpu.org/?p=19794
Let's sort this out: GPGPU Verification of Radix Sort