Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

A. Cohen, A.F. Donaldson, Marieke Huisman, Joost P. Katoen

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 the- oretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming.
Original languageUndefined
Place of PublicationDagstuhl, Germany
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Number of pages17
DOIs
StatePublished - 2013

Fingerprint

Technical presentations
Particle accelerators
Computer science

Keywords

  • EWI-25719

Cite this

Cohen, A., Donaldson, A. F., Huisman, M., & Katoen, J. P. (2013). Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. DOI: 10.4230/DagRep.3.4.17

Cohen, A.; Donaldson, A.F.; Huisman, Marieke; Katoen, Joost P. / Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142).

Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. 17 p.

Research output: ScientificReport

@book{fd3e674cd9a54045af23c961998dd683,
title = "Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)",
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 the- oretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming.",
keywords = "EWI-25719",
author = "A. Cohen and A.F. Donaldson and Marieke Huisman and Katoen, {Joost P.}",
year = "2013",
doi = "10.4230/DagRep.3.4.17",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",

}

Cohen, A, Donaldson, AF, Huisman, M & Katoen, JP 2013, Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany. DOI: 10.4230/DagRep.3.4.17

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). / Cohen, A.; Donaldson, A.F.; Huisman, Marieke; Katoen, Joost P.

Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. 17 p.

Research output: ScientificReport

TY - BOOK

T1 - Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

AU - Cohen,A.

AU - Donaldson,A.F.

AU - Huisman,Marieke

AU - Katoen,Joost P.

PY - 2013

Y1 - 2013

N2 - 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 the- oretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming.

AB - 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 the- oretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming.

KW - EWI-25719

U2 - 10.4230/DagRep.3.4.17

DO - 10.4230/DagRep.3.4.17

M3 - Report

BT - Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

PB - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

ER -

Cohen A, Donaldson AF, Huisman M, Katoen JP. Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. 17 p. Available from, DOI: 10.4230/DagRep.3.4.17