Papers

Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson. GPUVerify: a Verifier for GPU Kernels. In Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'12), pages 113-132. ACM, 2012.

Bibtex:

@inproceedings{BettsCDQT_OOPSLA2012,
   title      = {{GPUVerify}: a Verifier for {GPU} Kernels},
   author     = {Adam Betts and Nathan Chong and Alastair F. Donaldson
                 and Shaz Qadeer and Paul Thomson},
   booktitle  = {Proceedings of the 27th Annual ACM SIGPLAN Conference
                 on Object-Oriented Programming, Systems, Languages,
                 and Applications (OOPSLA'12)},
   pages      = {113-132},
   publisher  = {ACM},
   year       = {2012}
}