Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Albert Cohen, Alistair 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 theoretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming.
Original languageEnglish
Pages17-33
DOIs
StatePublished - 2013

Fingerprint

Technical presentations
Particle accelerators
Computer science

Keywords

  • METIS-297556
  • IR-87395
  • Architecture
  • Concurrency
  • Compilers
  • GPUs
  • Accelerator programming
  • EC Grant Agreement nr.: FP7/2007-2013
  • EC Grant Agreement nr.: FP7/287767
  • Parallel programming models
  • Memory models
  • Formal verification

Cite this

Cohen, Albert; Donaldson, Alistair F.; Huisman, Marieke; Katoen, Joost P. / Correct and efficient accelerator programming (Dagstuhl Seminar 13142).

2013. 17-33.

Research output: ScientificPaper

@misc{c2f9dfe61bb74900bf5abf7c1d757d2d,
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 theoretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming.",
keywords = "METIS-297556, IR-87395, Architecture, Concurrency, Compilers, GPUs, Accelerator programming, EC Grant Agreement nr.: FP7/2007-2013, EC Grant Agreement nr.: FP7/287767, Parallel programming models, Memory models, Formal verification",
author = "Albert Cohen and Donaldson, {Alistair F.} and Marieke Huisman and Katoen, {Joost P.}",
note = "Report from Dagstuhl Seminar 13142, 1.–4. April, 2013",
year = "2013",
doi = "10.4230/DagRep.3.4.17",
pages = "17--33",

}

Correct and efficient accelerator programming (Dagstuhl Seminar 13142). / Cohen, Albert; Donaldson, Alistair F.; Huisman, Marieke; Katoen, Joost P.

2013. 17-33.

Research output: ScientificPaper

TY - CONF

T1 - Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

AU - Cohen,Albert

AU - Donaldson,Alistair F.

AU - Huisman,Marieke

AU - Katoen,Joost P.

N1 - Report from Dagstuhl Seminar 13142, 1.–4. April, 2013

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

KW - METIS-297556

KW - IR-87395

KW - Architecture

KW - Concurrency

KW - Compilers

KW - GPUs

KW - Accelerator programming

KW - EC Grant Agreement nr.: FP7/2007-2013

KW - EC Grant Agreement nr.: FP7/287767

KW - Parallel programming models

KW - Memory models

KW - Formal verification

U2 - 10.4230/DagRep.3.4.17

DO - 10.4230/DagRep.3.4.17

M3 - Paper

SP - 17

EP - 33

ER -