Publications

BibTex format

@inbook{Donaldson:2017:10.1016/B978-0-12-803738-6.00001-X,
author = {Donaldson, AF and Gopalakrishnan, G and Chong, N and Ketema, J and Li, G and Li, P and Lokhmotov, A and Qadeer, S},
booktitle = {Advances in GPU Research and Practice},
doi = {10.1016/B978-0-12-803738-6.00001-X},
pages = {3--21},
title = {Formal analysis techniques for reliable GPU programming: Current solutions and call to action},
url = {http://dx.doi.org/10.1016/B978-0-12-803738-6.00001-X},
year = {2017}
}

Download

RIS format (EndNote, RefMan)

TY  - CHAP
AB  - Graphics processing units (GPU)-accelerated computing is being adopted increasingly in a number of areas, ranging from high-end scientific computing to mobile and embedded computing. While GPU programs routinely provide high computational throughput in a number of areas, they also prove to be notoriously difficult to write and optimize correctly, largely because of the subtleties of GPU concurrency. This chapter discusses several issues that make GPU programming difficult and examines recent progress on rigorous methods for formal analysis of GPU software. Our key observation is that given the fast-paced advances in GPU programming, the use of rigorous specification and verification methods must be an integral part of the culture of programming and training, and not an afterthought.
AU  - Donaldson,AF
AU  - Gopalakrishnan,G
AU  - Chong,N
AU  - Ketema,J
AU  - Li,G
AU  - Li,P
AU  - Lokhmotov,A
AU  - Qadeer,S
DO  - 10.1016/B978-0-12-803738-6.00001-X
EP  - 21
PY  - 2017///
SN  - 9780128037386
SP  - 3
TI  - Formal analysis techniques for reliable GPU programming: Current solutions and call to action
T1  - Advances in GPU Research and Practice
UR  - http://dx.doi.org/10.1016/B978-0-12-803738-6.00001-X
ER  -

Download

ProfessorAlastairDonaldson

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)