The design and implementation of a verification technique for GPU Kernels - Betts, A; Chong, N; Donaldson, AF; Ketema, J; Qadeer, S; Thomson, P; Wickerson, J (ACM Transactions on Programming Languages and Systems, 2015)