Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

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

    Research output: Contribution to conferencePaper

    17 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

      Fingerprint

    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