Imperial College London
Portrait Picture

ProfessorAlastairDonaldson

Faculty of Engineering, Department of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

+44 (0)20 7594 8266alastair.donaldson Website

 
 
//

Location

 

422Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Donaldson:2017:10.4230/LIPIcs.CONCUR.2017.1,
author = {Donaldson, AF and Ketema, J and Sorensen, T and Wickerson, J},
doi = {10.4230/LIPIcs.CONCUR.2017.1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {Forward progress on GPU concurrency},
url = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2017.1},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Donaldson,AF
AU  - Ketema,J
AU  - Sorensen,T
AU  - Wickerson,J
DO  - 10.4230/LIPIcs.CONCUR.2017.1
PB  - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
PY  - 2017///
SN  - 1868-8969
TI  - Forward progress on GPU concurrency
UR  - http://dx.doi.org/10.4230/LIPIcs.CONCUR.2017.1
UR  - http://hdl.handle.net/10044/1/72509
ER  -
Download