Forward progress on GPU concurrency
conference paper
The tutorial at CONCUR will provide a practical overview of work undertaken over the last six years in the Multicore Programming Group at Imperial College London, and with collaborators internationally, related to understanding and reasoning about concurrency in software designed for acceleration on GPUs. In this article we provide an overview of this work, which includes contributions to data race analysis, compiler testing, memory model understanding and formalisation, and most recently efforts to enable portable GPU implementations of algorithms that require forward progress guarantees.
TNO Identifier
781900
ISSN
18688969
ISBN
9783959770484
Publisher
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Article nr.
1
Source title
28th International Conference on Concurrency Theory, CONCUR 2017. 5 September 2017 through 8 September 2017
Editor(s)
Meyer, R.
Nestmann, U.
Nestmann, U.
Files
To receive the publication files, please send an e-mail request to TNO Repository.