GPUVerify: a verifier for GPU kernels.

Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson

Browse the full OOPSLA paper archive.