Higher order flattening

Authors:
Roman Leshchinskiy;Manuel M. T. Chakravarty;Gabriele Keller
Affiliations:
School of Computer Science and Engineering, Programming Languages and Systems, University of New South Wales, Australia;School of Computer Science and Engineering, Programming Languages and Systems, University of New South Wales, Australia;School of Computer Science and Engineering, Programming Languages and Systems, University of New South Wales, Australia
Venue:
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Year:
2006

Citing 6
Cited 11

Vector models for data-parallel computing

Vector models for data-parallel computing
Theorems for free!

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Programming parallel algorithms

Communications of the ACM
Typed closure conversion

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
More types for nested data parallel programming

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Nepal - Nested Data Parallelism in Haskell

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing

Manticore: a heterogeneous parallel language

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Status report: the manticore project

ML '07 Proceedings of the 2007 workshop on Workshop on ML
Implicitly-threaded parallelism in Manticore

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A tutorial on parallel and concurrent programming in Haskell

AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Generators-of-generators library with optimization capabilities in fortress

Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II
Programming in Manticore, a heterogenous parallel functional language

CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Implicitly threaded parallelism in manticore

Journal of Functional Programming
Vectorisation avoidance

Proceedings of the 2012 Haskell Symposium
Nested data-parallelism on the gpu

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Work efficient higher-order vectorisation

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Data-only flattening for nested data parallelism

Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend the flattening transformation, which turns nested into flat data parallelism, to the full higher-order case, including lambda abstractions and data parallel arrays of functions. Our central observation is that flattening needs to transform the closures used to represent functional values. Thus, we use closure conversion before flattening and introduce array closures to represent arrays of functional values.