Data parallel Haskell: a status report

Authors:
Manuel M. T. Chakravarty;Roman Leshchinskiy;Simon Peyton Jones;Gabriele Keller;Simon Marlow
Affiliations:
University of New South Wales;University of New South Wales;Microsoft Research Ltd, Cambridge, England;University of New South Wales;Microsoft Research Ltd, Cambridge, England
Venue:
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Year:
2007

Citing 26
Cited 54

Deforestation: transforming programs to eliminate trees

Proceedings of the Second European Symposium on Programming
A short cut to deforestation

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Implementation of a portable nested data-parallel language

Journal of Parallel and Distributed Computing - Special issue on data parallel algorithms and programming
State in Haskell

Lisp and Symbolic Computation - Special issue on state in programming languages (part I)
Programming parallel algorithms

Communications of the ACM
Concurrent Haskell

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The implementation and evaluation of fusion and contraction in array languages

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Loop fusion in high performance Fortran

ICS '98 Proceedings of the 12th international conference on Supercomputing
More types for nested data parallel programming

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Functional array fusion

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Shortcut fusion for accumulating parameters & zip-like functions

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Compiling Haskell by Program Transformation: A Report from the Trenches

ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Unboxed Values as First Class Citizens in a Non-Strict Functional Language

Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
Combining Loop Fusion with Prefetching on Shared-memory Multiprocessors

ICPP '97 Proceedings of the international Conference on Parallel Processing
On the Distribution Implementation of Aggregate Data Structures by Program Transformation

Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing
Maximizing Loop Parallelism and Improving Data Locality via Loop Fusion and Distribution

Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing
Work-efficient nested data-parallelism

FRONTIERS '95 Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Computation (Frontiers'95)
Single Assignment C: efficient support for high-level array operations in a functional setting

Journal of Functional Programming
Secrets of the Glasgow Haskell Compiler inliner

Journal of Functional Programming
Algorithm + strategy = parallelism

Journal of Functional Programming
Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Composable memory transactions

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Associated type synonyms

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
System F with type equality coercions

TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Manticore: a heterogeneous parallel language

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Rewriting haskell strings

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

Type-safe higher-order channels in ML-like languages

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Call-pattern specialisation for Haskell programs

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Lightweight concurrency primitives for GHC

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
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 scheduling framework for general-purpose parallel languages

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures

Proceedings of the 4th workshop on Declarative aspects of multicore programming
Recycle Your Arrays!

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Type-safe higher-order channels with channel locality1

Journal of Functional Programming
Data parallel dialect of scheme: outline of the formal model, implementation, performance

Proceedings of the 2009 ACM symposium on Applied Computing
A Data Parallel Algorithm for XML DOM Parsing

XSym '09 Proceedings of the 6th International XML Database Symposium on Database and XML Technologies
Parallel Skeletons for Variable-Length Lists in SkeTo Skeleton Library

Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
To be or not to be ...lazy (In a Parallel Context)

Electronic Notes in Theoretical Computer Science (ENTCS)
Compress-and-conquer for optimal multicore computing

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
CoreDet: a compiler and runtime system for deterministic multithreaded execution

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
A tutorial on parallel and concurrent programming in Haskell

AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Seq no more: better strategies for parallel Haskell

Proceedings of the third ACM Haskell symposium on Haskell
Lazy tree splitting

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Specifying and verifying sparse matrix codes

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Regular, shape-polymorphic, parallel arrays in Haskell

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Back to the futures: incremental parallelization of existing sequential runtime systems

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
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
Avalanche-safe LINQ compilation

Proceedings of the VLDB Endowment
Accelerating Haskell array codes with multicore GPUs

Proceedings of the sixth workshop on Declarative aspects of multicore programming
Programming in Manticore, a heterogenous parallel functional language

CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Copperhead: compiling an embedded data parallel language

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
RCDC: a relaxed consistency deterministic computer

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Implicitly threaded parallelism in manticore

Journal of Functional Programming
Bringing back monad comprehensions

Proceedings of the 4th ACM symposium on Haskell
A monad for deterministic parallelism

Proceedings of the 4th ACM symposium on Haskell
Type system for a safe execution of parallel programs in BSML

Proceedings of the fifth international workshop on High-level parallel programming and applications
Obsidian: a domain specific embedded language for parallel programming of graphics processors

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Haskell boards the ferry: database-supported program execution for Haskell

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Towards frabjous: a two-level system for functional reactive agent-based epidemic simulation

Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Yada: Straightforward parallel programming

Parallel Computing
More dependent types for distributed arrays

Higher-Order and Symbolic Computation
Functional high performance financial IT: the hiperfit research center in copenhagen

TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Thread-Safe priority queues in haskell based on skiplists

TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Financial software on GPUs: between Haskell and Fortran

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Vectorisation avoidance

Proceedings of the 2012 Haskell Symposium
Sneaking around concatMap: efficient combinators for dynamic programming

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
Adaptive data parallelism for internet clients on heterogeneous platforms

Proceedings of the 8th symposium on Dynamic languages
Implementing a high-level distributed-memory parallel haskell in haskell

IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Data-only flattening for nested data parallelism

Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
GPUDet: a deterministic GPU architecture

Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
Designing a database system for modern processing architectures

Proceedings of the 2013 Sigmod/PODS Ph.D. symposium on PhD symposium
Exploiting vector instructions with generalized stream fusio

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Towards a functional run-time for dense NLA domain

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
A T2 graph-reduction approach to fusion

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
River trail: a path to parallelism in JavaScript

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Hardware-oblivious parallelism for in-memory column-stores

Proceedings of the VLDB Endowment
Triolet: a programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing

Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Programming a Multicore Architecture without Coherency and Atomic Operations

Proceedings of Programming Models and Applications on Multicores and Manycores

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original programming model and its implementation, both of which were first popularised by the NESL language, in terms of expressiveness as well as efficiency. Our current aim is to provide a convenient programming environment for SMP parallelism, and especially multicore architectures. Preliminary benchmarks show that we are, at least for some programs, able to achieve good absolute performance and excellent speedups.