@misc{gpuverify,
  author = {Betts, Adam and Chong, Nathan and Donaldson, Alastair F. and Ketema, Jeroen and Qadeer, Shaz and Thomson, Paul and Wickerson, John},
  title = {The Design and Implementation of a Verification Technique for {GPU} Kernels},
  note = {Under submission},
  year = {2014}
}