Title
Guiding parallel array fusion with indexed types
Abstract
We present a refined approach to parallel array fusion that uses indexed types to specify the internal representation of each array. Our approach aids the client programmer in reasoning about the performance of their program in terms of the source code. It also makes the intermediate code easier to transform at compile-time, resulting in faster compilation and more reliable runtimes. We demonstrate how our new approach improves both the clarity and performance of several end-user written programs, including a fluid flow solver and an interpolator for volumetric data.
Year
DOI
Venue
2012
10.1145/2364506.2364511
Haskell
Keywords
Field
DocType
internal representation,client programmer,reliable runtimes,intermediate code,fluid flow solver,array fusion,source code,parallel array fusion,faster compilation,new approach,refined approach,fluid flow,indexation,data parallelism
Programmer,CLARITY,Programming language,Computer science,Source code,Parallel computing,Fusion,Theoretical computer science,Data parallelism,Haskell,Solver,Parallel array
Conference
Volume
Issue
ISSN
47
12
0362-1340
Citations 
PageRank 
References 
17
0.71
12
Authors
4
Name
Order
Citations
PageRank
Ben Lippmeier11357.99
Manuel Chakravarty2171.04
Gabriele Keller365736.02
Simon L. Peyton Jones45036381.19