Runtime support for multicore Haskell

S Marlow, S Peyton Jones, S Singh - Proceedings of the 14th ACM …, 2009 - dl.acm.org
Purely functional programs should run well on parallel hardware because of the absence of
side effects, but it has proved hard to realise this potential in practice. Plenty of papers …

Callisto: Co-scheduling parallel runtime systems

T Harris, M Maas, VJ Marathe - … of the Ninth European Conference on …, 2014 - dl.acm.org
It is increasingly important for parallel applications to run together on the same machine.
However, current performance is often poor: programs do not adapt well to dynamically …

Entanglement detection with near-zero cost

S Westrick, J Arora, UA Acar - Proceedings of the ACM on Programming …, 2022 - dl.acm.org
Recent research on parallel functional programming has culminated in a provably efficient
(in work and space) parallel memory manager, which has been incorporated into the MPL …

Composing parallel software efficiently with lithe

H Pan, B Hindman, K Asanović - Proceedings of the 31st ACM SIGPLAN …, 2010 - dl.acm.org
Applications composed of multiple parallel libraries perform poorly when those libraries
interfere with one another by obliviously using the same physical cores, leading to …

Disentanglement in nested-parallel programs

S Westrick, R Yadav, M Fluet, UA Acar - Proceedings of the ACM on …, 2019 - dl.acm.org
Nested parallelism has proved to be a popular approach for programming the rapidly
expanding range of multicore computers. It allows programmers to express parallelism at a …

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 …

Provably space-efficient parallel functional programming

J Arora, S Westrick, UA Acar - Proceedings of the ACM on Programming …, 2021 - dl.acm.org
Because of its many desirable properties, such as its ability to control effects and thus
potentially disastrous race conditions, functional programming offers a viable approach to …

Efficient Parallel Functional Programming with Effects

J Arora, S Westrick, UA Acar - Proceedings of the ACM on Programming …, 2023 - dl.acm.org
Although functional programming languages simplify writing safe parallel programs by
helping programmers to avoid data races, they have traditionally delivered poor …

Parallel concurrent ML

J Reppy, CV Russo, Y Xiao - ACM Sigplan Notices, 2009 - dl.acm.org
Concurrent ML (CML) is a high-level message-passing language that supports the
construction of first-class synchronous abstractions called events. This mechanism has …

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 …