Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Albert Cohen; Alistair F. Donaldson; Marieke Huisman; Joost P. Katoen

doi:10.4230/DagRep.3.4.17

Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Albert Cohen, Alistair F. Donaldson, Marieke Huisman, Joost P. Katoen

Research output: Contribution to conference › Paper

56 Downloads (Pure)

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 language	English
Pages	17-33
DOIs	https://doi.org/10.4230/DagRep.3.4.17
Publication status	Published - 2013
Event	Correct and Efficient Accelerator Programming: Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) - Dagstuhl Duration: 1 Jan 1900 → …

Conference

Conference	Correct and Efficient Accelerator Programming
City	Dagstuhl
Period	1/01/00 → …

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

Access to Document

10.4230/DagRep.3.4.17

Cohen13correctFinal published version, 799 KB

Cite this

@conference{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 ; Correct and Efficient Accelerator Programming : Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) ; Conference date: 01-01-1900",

year = "2013",

doi = "10.4230/DagRep.3.4.17",

language = "English",

pages = "17--33",

}

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

T2 - Correct and Efficient Accelerator Programming

Y2 - 1 January 1900

ER -

Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this