Data Parallel Haskell: a status report

MMT Chakravarty, R Leshchinskiy… - Proceedings of the …, 2007 - dl.acm.org
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 …

Nested data-parallelism on the GPU

L Bergstrom, J Reppy - Proceedings of the 17th ACM SIGPLAN …, 2012 - dl.acm.org
Graphics processing units (GPUs) provide both memory bandwidth and arithmetic
performance far greater than that available on CPUs but, because of their Single-Instruction …

A tutorial on parallel and concurrent programming in haskell

S Peyton Jones, S Singh - International School on Advanced Functional …, 2008 - Springer
This practical tutorial introduces the features available in Haskell for writing parallel and
concurrent programs. We first describe how to write semi-explicit parallel programs by using …

Implicitly threaded parallelism in Manticore

M Fluet, M Rainey, J Reppy, A Shaw - Journal of functional …, 2010 - cambridge.org
The increasing availability of commodity multicore processors is making parallel computing
ever more widespread. In order to exploit its potential, programmers need languages that …

Manticore: A heterogeneous parallel language

M Fluet, M Rainey, J Reppy, A Shaw… - Proceedings of the 2007 …, 2007 - dl.acm.org
The Manticore project is an effort to design and implement a new functional language for
parallel programming. Unlike many earlier parallel languages, Manticore is a …

Implicitly-threaded parallelism in Manticore

M Fluet, M Rainey, J Reppy, A Shaw - Proceedings of the 13th ACM …, 2008 - dl.acm.org
The increasing availability of commodity multicore processors is making parallel computing
available to the masses. Traditional parallel languages are largely intended for large-scale …

Data-only flattening for nested data parallelism

L Bergstrom, M Fluet, M Rainey, J Reppy… - Proceedings of the 18th …, 2013 - dl.acm.org
Data parallelism has proven to be an effective technique for high-level programming of a
certain class of parallel applications, but it is not well suited to irregular parallel …

Scheduling deterministric parallel programs

DJ Spoonhower - 2009 - search.proquest.com
Deterministic parallel programs yield the same results regardless of how parallel tasks are
interleaved or assigned to processors. This drastically simplifies reasoning about the …

Vectorisation avoidance

G Keller, MMT Chakravarty, R Leshchinskiy… - Proceedings of the …, 2012 - dl.acm.org
Flattening nested parallelism is a vectorising code transform that converts irregular nested
parallelism into flat data parallelism. Although the result has good asymptotic performance …

Defunctionalization with Dependent Types

Y Huang, J Yallop - Proceedings of the ACM on Programming …, 2023 - dl.acm.org
The defunctionalization translation that eliminates higher-order functions from programs
forms a key part of many compilers. However, defunctionalization for dependently-typed …