Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

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

    Research output: Contribution to conferencePaper

    46 Downloads (Pure)


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


    ConferenceCorrect and Efficient Accelerator Programming
    Period1/01/00 → …


    • 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


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

    Cite this