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.
|Publication status||Published - 2013|
- Accelerator programming
- EC Grant Agreement nr.: FP7/2007-2013
- EC Grant Agreement nr.: FP7/287767
- Parallel programming models
- Memory models
- Formal verification