2026-07-25T13:34:15Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4075 2024-03-06T10:26:00Z ddc:004 open_access

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Cohen, Albert Donaldson, Alastair F. Huisman, Marieke Katoen, Joost-Pieter Accelerator programming GPUs Concurrency Formal verification Compilers Memory models Architecture Parallel programming models This report documents the program and the outcomes of Dagstuhl Seminar 13142 "Correct and Efficient Accelerator Programming". The aim of this Dagstuhl seminar was to bring together researchers from various sub-disciplines of computer science to brainstorm and discuss the theoretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen 2013 Is Part Of Dagstuhl Reports, Volume 3, Issue 4 (2013) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.3.4.17 urn:nbn:de:0030-drops-40758 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.17 eng https://creativecommons.org/licenses/by/3.0/legalcode