Forward progress on GPU concurrency

File Description SizeFormat 
Forward progress on GPU concurrency.pdfPublished version900.79 kBAdobe PDFView/Open
Title: Forward progress on GPU concurrency
Authors: Donaldson, AF
Ketema, J
Sorensen, T
Wickerson, J
Item Type: Conference Paper
Abstract: 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.
Issue Date: 5-Sep-2017
Date of Acceptance: 20-Jun-2017
ISBN: 9783959770484
ISSN: 1868-8969
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Journal / Book Title: Leibniz International Proceedings in Informatics, LIPIcs
Volume: 85
Copyright Statement: © Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, and John Wickerson; licensed under Creative Commons License CC-BY (
Sponsor/Funder: Imperial College London
Funder's Grant Number: Imperial College London
Conference Name: 28th International Conference on Concurrency Theory
Publication Status: Published
Start Date: 2017-09-05
Finish Date: 2017-09-08
Conference Place: Berlin, Germany
Open Access location:
Online Publication Date: 2017-09-05
Appears in Collections:Computing
Electrical and Electronic Engineering

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons