The Design and Implementation of a Verification Technique for GPU Kernels
@article{DBLP:journals/toplas/BettsCDKQTW15,
author = {Adam Betts and
Nathan Chong and
Alastair F. Donaldson and
Jeroen Ketema and
Shaz Qadeer and
Paul Thomson and
John Wickerson},
title = {The Design and Implementation of a Verification Technique for {GPU} Kernels},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {3},
pages = {10:1-10:49},
year = {2015},
doi = {10.1145/2743017},
}