License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.4.17
URN: urn:nbn:de:0030-drops-40758
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4075/
Go back to Dagstuhl Reports


Cohen, Albert ; Donaldson, Alastair F. ; Huisman, Marieke ; Katoen, Joost-Pieter
Weitere Beteiligte (Hrsg. etc.): Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

pdf-format:
dagrep_v003_i004_p017_s13142.pdf (0.8 MB)


Abstract

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.

BibTeX - Entry

@Article{cohen_et_al:DR:2013:4075,
  author =	{Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen},
  title =	{{Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)}},
  pages =	{17--33},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4075},
  URN =		{urn:nbn:de:0030-drops-40758},
  doi =		{10.4230/DagRep.3.4.17},
  annote =	{Keywords: Accelerator programming, GPUs, Concurrency, Formal verification, Compilers, Memory models, Architecture, Parallel programming models}
}

Keywords: Accelerator programming, GPUs, Concurrency, Formal verification, Compilers, Memory models, Architecture, Parallel programming models
Seminar: Dagstuhl Reports, Volume 3, Issue 4
Issue Date: 2013
Date of publication: 06.08.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI