Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

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

    Research output: Contribution to conferencePaper

    21 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 languageEnglish
    Pages17-33
    DOIs
    Publication statusPublished - 2013
    EventCorrect and Efficient Accelerator Programming: Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) - Dagstuhl
    Duration: 1 Jan 1900 → …

    Conference

    ConferenceCorrect and Efficient Accelerator Programming
    CityDagstuhl
    Period1/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

    Fingerprint

    Dive into the research topics of 'Correct and efficient accelerator programming (Dagstuhl Seminar 13142)'. Together they form a unique fingerprint.

    Cite this