1. 2

GPGPU DSL’s are high-level languages to make it easier to express programs designed to run in parallel on graphics cards. Examples are high-level primitives such as map and reduce. This is both a DSL for data-parallel programs and a verified compiler for it. It’s also a work in progress with some features yet to be implemented.