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 …

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 …

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
hel** programmers to avoid data races, they have traditionally delivered poor …

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 …

Automatic parallelism management

S Westrick, M Fluet, M Rainey, UA Acar - Proceedings of the ACM on …, 2024 - dl.acm.org
On any modern computer architecture today, parallelism comes with a modest cost, born
from the creation and management of threads or tasks. Today, programmers battle this cost …

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 …

Competitive parallelism: Getting your priorities right

SK Muller, UA Acar, R Harper - … of the ACM on Programming Languages, 2018 - dl.acm.org
Multi-threaded programs have traditionally fallen into one of two domains: cooperative and
competitive. These two domains have traditionally remained mostly disjoint, with cooperative …

Responsive Parallelism with Synchronization

SK Muller, K Singer, DT Keeney, A Neth… - Proceedings of the …, 2023 - dl.acm.org
Many concurrent programs assign priorities to threads to improve responsiveness. When
used in conjunction with synchronization mechanisms such as mutexes and condition …

Disentanglement with Futures, State, and Interaction

J Arora, SK Muller, UA Acar - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
Recent work has proposed a memory property for parallel programs, called
disentanglement, and showed that it is pervasive in a variety of programs, written in different …

Fairness in responsive parallelism

SK Muller, S Westrick, UA Acar - Proceedings of the ACM on …, 2019 - dl.acm.org
Research on parallel computing has historically revolved around compute-intensive
applications drawn from traditional areas such as high-performance computing. With the …