WG211/M10Hammond
From WG 2.11
ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique Kevin Hammond
Enabling programmers to "think parallel is critical if we are to be able to effectively exploit future multicore/manycore architectures.
This talk introduces paraforming: a new approach to constructing parallel functional programs using formally-defined refactoring transformations.
We introduce a number of new refactorings for Parallel Haskell that capture common parallel abstractions, such as divide-and-conquer,
and show how these can be used by the HaRe Haskell refactoring engine. Using a paraforming approach, we are able to easily obtain
significant and scalable speedups on current multicore machines.
