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 …

Harnessing the multicores: Nested data parallelism in Haskell

S Peyton Jones, R Leshchinskiy, G Keller… - … on Foundations of …, 2008 - drops.dagstuhl.de
If you want to program a parallel computer, a purely functional language like Haskell is a
promising starting point. Since the language is pure, it is by-default safe for parallel …

Pac-trees: Supporting parallel and compressed purely-functional collections

L Dhulipala, GE Blelloch, Y Gu, Y Sun - Proceedings of the 43rd ACM …, 2022 - dl.acm.org
Many modern programming languages are shifting toward a functional style for collection
interfaces such as sets, maps, and sequences. Functional interfaces offer many advantages …

LVars: lattice-based data structures for deterministic parallelism

L Kuper, RR Newton - Proceedings of the 2nd ACM SIGPLAN workshop …, 2013 - dl.acm.org
Programs written using a deterministic-by-construction model of parallel computation are
guaranteed to always produce the same observable results, offering programmers freedom …

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 …

Multicore garbage collection with local heaps

S Marlow, S Peyton Jones - ACM SIGPLAN Notices, 2011 - dl.acm.org
In a parallel, shared-memory, language with a garbage collected heap, it is desirable for
each processor to perform minor garbage collections independently. Although obvious, it is …

Grafeyn: Efficient parallel sparse simulation of quantum circuits

S Westrick, P Liu, B Kang, C McDonald… - 2024 IEEE …, 2024 - ieeexplore.ieee.org
Many circuit simulators use either a Schrodinger-based or Feynman-based approach, which
have complementary strengths. Schrödinger-based simulators maintain a state vector by …

Versatile event correlation with algebraic effects

O Bračevac, N Amin, G Salvaneschi, S Erdweg… - Proceedings of the …, 2018 - dl.acm.org
We present the first language design to uniformly express variants of n-way joins over
asynchronous event streams from different domains, eg, stream-relational algebra, event …

Heartbeat scheduling: Provable efficiency for nested parallelism

UA Acar, A Charguéraud, A Guatto, M Rainey… - Proceedings of the 39th …, 2018 - dl.acm.org
A classic problem in parallel computing is to take a high-level parallel program written, for
example, in nested-parallel style with fork-join constructs and run it efficiently on a real …

Responsive parallelism with futures and state

SK Muller, K Singer, N Goldstein, UA Acar… - Proceedings of the 41st …, 2020 - dl.acm.org
Motivated by the increasing shift to multicore computers, recent work has developed
language support for responsive parallel applications that mix compute-intensive tasks with …