2026-07-22T01:18:09Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7805 2024-03-06T10:41:05Z ddc:004 open_access

Forward Progress on GPU Concurrency (Invited Talk) Donaldson, Alastair F. Ketema, Jeroen Sorensen, Tyler Wickerson, John GPUs concurrency formal verification memory models data races 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alastair F. Donaldson and Jeroen Ketema and Tyler Sorensen and John Wickerson 2017 Is Part Of LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2017.1 urn:nbn:de:0030-drops-78055 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.1 eng https://creativecommons.org/licenses/by/3.0/legalcode