Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Fri 8 Sep 2017 16:00 - 16:30 at L1 - Day 2, Session 5

Previous work has demonstrated that it is possible to generate efficient and highly parallel code for multicore CPUs and GPUs from combinator-based array languages for a range of applications. That work, however, has been limited to operating on flat, rectangular structures without any facilities for irregularity or nesting.

In this paper, we show that even a limited form of nesting provides substantial benefits both in terms of the expressiveness of the language (increasing modularity and providing support for simple irregular structures) and the portability of the code (increasing portability across resource-constrained devices, such as GPUs). Specifically, we generalise Blelloch’s flattening transformation along two lines: (1) we explicitly distinguish between definitely regular and potentially irregular computations; and (2) we handle multidimensional arrays. We demonstrate the utility of this generalisation by an extension of the embedded array language Accelerate to include irregular streams of multidimensional arrays. We discuss code generation, optimisation, and irregular stream scheduling as well as a range of benchmarks on both multicore CPUs and GPUs.

Fri 8 Sep

Displayed time zone: Belfast change

15:30 - 16:30
Day 2, Session 5Haskell at L1
Hardware Software Co-Design in Haskell
Streaming Irregular Arrays
Robert Clifton-Everest , Trevor L. McDonell University of New South Wales, Australia, Manuel Chakravarty , Gabriele Keller Data61,CSIRO (formerly NICTA) and UNSW