Papers

Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer. Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. In Proceedings of the 22nd European Symposium on Programming (ESOP'13), Lecture Notes in Computer Science 7792, pages 270-289. Springer, 2013.

Bibtex:

@inproceedings{CollingbourneDKQ_ESOP2013,
   title      = {Interleaving and Lock-Step Semantics for Analysis
                 and Verification of GPU Kernels},
   author     = {Peter Collingbourne and Alastair F. Donaldson
                 and Jeroen Ketema and Shaz Qadeer},
   booktitle  = {Proceedings of the 22nd European Symposium on
                 Programming (ESOP'13)},
   series     = {Lecture Notes in Computer Science},
   volume     = {7792},
   pages      = {270-289},
   publisher  = {Springer},
   year       = {2013}
}