high performance computing on graphics processing units: hgpu.org

We address the increasingly varied capabilities of specialized computing platforms by introducing a growing family of functionally-limited mini-languages, implemented as embedded domain specific languages (EDSLs) in Haskell, that may be composed to harness the computational features offered by a variety of hardware platforms. This development is based on a novel modular representation of the EDSL that enables zero-overhead evaluation when running on the GHC runtime, deep term introspection for optimization purposes as a prelude to serialization for consumption by a lower-level compiler, and rich interplay between these two views that recasts interpreters as optimizers.