Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

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

    Research output: Contribution to conferencePaperAcademic

    20 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


    • 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