@inproceedings{DBLP:conf/oopsla/BettsCDQT12,
author = {Adam Betts and
Nathan Chong and
Alastair F. Donaldson and
Shaz Qadeer and
Paul Thomson},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {{GPUVerify}: a verifier for {GPU} kernels},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2012, part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {113-132},
publisher = {{ACM}},
year = {2012},
doi = {10.1145/2384616.2384625},
}