Programming with BSP homomorphisms

Authors:
Joeffrey Legaux;Zhenjiang Hu;Frédéric Loulergue;Kiminori Matsuzaki;Julien Tesson
Affiliations:
LIFO, Université d'Orléans, France;National Institute of Informatics, Tokyo, Japan;LIFO, Université d'Orléans, France;Kochi University of Technology, Kochi, Japan;LACL, UPEC, Université Paris Est, France
Venue:
Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
Year:
2013

Citing 13
Cited 0

An introduction to the theory of lists

Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
A bridging model for parallel computation

Communications of the ACM
Algorithmic skeletons: structured management of parallel computation

Algorithmic skeletons: structured management of parallel computation
Algebraic Laws for BSP Programming

Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing-Volume II
The Skel-BSP Global Optimizer: Enhancing Performance Portability in Parallel Programming

Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Barrier synchronisation: Axiomatisation and relaxation

Formal Aspects of Computing
Global-view abstractions for user-defined reductions and scans

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Automatic inversion generates divide-and-conquer parallel programs

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Real World Haskell

Real World Haskell
A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers

Software—Practice & Experience - Focus on Selected PhD Literature Reviews in the Practical Aspects of Software Technology
Implementing fusion-equipped parallel skeletons by expression templates

IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Systematic Development of Correct Bulk Synchronous Parallel Programs

PDCAT '10 Proceedings of the 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies
Generating c code from LOGS specifications

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Algorithmic skeletons in conjunction with list homomorphisms play an important role in formal development of parallel algorithms. We have designed a notion of homomorphism dedicated to bulk synchronous parallelism. In this paper we derive two application using this theory: sparse matrix vector multiplication and the all nearest smaller values problem. We implement a support for BSP homomorphism in the Orléans Skeleton Library and experiment it with these two applications.