Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
@inproceedings{DBLP:conf/esop/CollingbourneDKQ13,
author = {Peter Collingbourne and
Alastair F. Donaldson and
Jeroen Ketema and
Shaz Qadeer},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Interleaving and Lock-Step Semantics for Analysis and Verification of {GPU} Kernels},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {270-289},
publisher = {Springer},
year = {2013},
doi = {10.1007/978-3-642-37036-6_16},
}