APL on GPUs: a TAIL from the past, scribbled in Futhark

Henriksen, Troels; Dybdal, Martin; Urms, Henrik; Kiehn, Anna Sofie; Gavin, Daniel G.; Abelskov, Hjalte; Elsman, Martin; Oancea, Cosmin E.

doi:10.1145/2975991.2975997

Cited by 12 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Second, we expect that the work on establishing a standard basis library for Futhark will lead to the desire to extend the language for expressing module types using some of the suggestions given by Ramsey et al [2005]. Third, Futhark is also used as a target language for compilation of high-level array languages, such as APL [Iverson 1962], into efficient GPU code [Annenkov and Elsman 2018;Elsman and Dybdal 2014;Henriksen et al 2016a]. Using the new module language features, a more natural encapsulation of target language constructs is now possible, which will ease maintainability and simplify high-level code generation phases.…”

Section: Discussionmentioning

confidence: 99%

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large

Elsman

Henriksen

Annenkov

et al. 2018

Proc. ACM Program. Lang.

Self Cite

View full text Add to dashboard Cite

We present a higher-order module system for the purely functional data-parallel array language Futhark. The module language has the property that it is completely eliminated at compile time, yet it serves as a powerful tool for organizing libraries and complete programs. The presentation includes a static and a dynamic semantics for the language in terms of, respectively, a static type system and a provably terminating elaboration of terms into terms of an underlying target language. The development is formalised in Coq using a novel encoding of semantic objects based on products, sets, and finite maps. The module language features a unified treatment of module type abstraction and core language polymorphism and is rich enough for expressing practical forms of module composition.

show abstract