Generators-of-generators library with optimization capabilities in fortress

Authors:
Kento Emoto;Zhenjiang Hu;Kazuhiko Kakehi;Kiminori Matsuzaki;Masato Takeichi
Affiliations:
University of Tokyo;National Institute of Informatics;University of Tokyo;Kochi University of Technology;University of Tokyo
Venue:
Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II
Year:
2010

Citing 12
Cited 3

Compiling collection-oriented languages onto massively parallel computers

Journal of Parallel and Distributed Computing - Massively parallel computation
Using MPI (2nd ed.): portable parallel programming with the message-passing interface

Using MPI (2nd ed.): portable parallel programming with the message-passing interface
Nepal - Nested Data Parallelism in Haskell

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Systematic Efficient Parallelization of Scan and Other List Homomorphisms

Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing-Volume II
Patterns and skeletons for parallel and distributed computing

Patterns and skeletons for parallel and distributed computing
A new parallel skeleton for general accumulative computations

International Journal of Parallel Programming
Data parallel Haskell: a status report

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Manticore: a heterogeneous parallel language

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation)

Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation)
A compositional framework for developing parallel programs on two-dimensional arrays

International Journal of Parallel Programming
Implementing fusion-equipped parallel skeletons by expression templates

IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Higher order flattening

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II

Calculational parallel programming: parallel programming with homomorphism and mapreduce

Proceedings of the fourth international workshop on High-level parallel programming and applications
Lessons from implementing the biCGStab method with SkeTo library

Proceedings of the fourth international workshop on High-level parallel programming and applications
Calculational developments of new parallel algorithms for size-constrained maximum-sum segment problems

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming

Quantified Score

Hi-index	0.01

Visualization

Abstract

A large number of studies have been conducted on parallel skeletons and optimization theorems over skeleton programs to resolve difficulties with parallel programming. However, two nontrivial tasks still remain unresolved when we need nested data structures: The first is composing skeletons to generate and consume them; and the second is applying optimization theorems to obtain efficient parallel programs. In this paper, we propose a novel library called Generators of Generators (GoG) library. It provides a set of primitives, GoGs, to produce nested data structures. A program developed with these GoGs is automatically optimized by the optimization mechanism in the library, so that its asymptotic complexity can be improved. We demonstrate its implementation on the Fortress language and report some experimental results.