Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels
@inproceedings{DBLP:conf/nfm/BardsleyD14,
author = {Ethel Bardsley and
Alastair F. Donaldson},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Warps and Atomics: Beyond Barrier Synchronization in the Verification of {GPU} Kernels},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {230-245},
publisher = {Springer},
year = {2014},
doi = {10.1007/978-3-319-06200-6_18},
}