Engineering a Static Verification Tool for GPU Kernels
@inproceedings{DBLP:conf/cav/BardsleyBCCDDKLQ14,
author = {Ethel Bardsley and
Adam Betts and
Nathan Chong and
Peter Collingbourne and
Pantazis Deligiannis and
Alastair F. Donaldson and
Jeroen Ketema and
Daniel Liew and
Shaz Qadeer},
editor = {Armin Biere and
Roderick Bloem},
title = {Engineering a Static Verification Tool for {GPU} Kernels},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {226-242},
publisher = {Springer},
year = {2014},
doi = {10.1007/978-3-319-08867-9_15},
}