Follow
Sam Westrick
Title
Cited by
Cited by
Year
Disentanglement in nested-parallel programs
S Westrick, R Yadav, M Fluet, UA Acar
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2020
352020
Hierarchical memory management for mutable state
A Guatto, S Westrick, R Raghunathan, U Acar, M Fluet
ACM SIGPLAN Notices 53 (1), 81-93, 2018
292018
Provably space-efficient parallel functional programming
J Arora, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021
232021
Parallel batch-dynamic trees via change propagation
UA Acar, D Anderson, GE Blelloch, L Dhulipala, S Westrick
arXiv preprint arXiv:2002.05129, 2020
172020
Fairness in responsive parallelism
SK Muller, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
142019
Entanglement detection with near-zero cost
S Westrick, J Arora, UA Acar
Proceedings of the ACM on Programming Languages 6 (ICFP), 679-710, 2022
132022
Brief announcement: Parallel dynamic tree contraction via self-adjusting computation
UA Acar, V Aksenov, S Westrick
Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and …, 2017
122017
Warden: Specializing cache coherence for high-level parallel languages
M Wilkins, S Westrick, V Kandiah, A Bernat, B Suchy, EA Deiana, ...
Proceedings of the 21st ACM/IEEE International Symposium on Code Generation …, 2023
82023
Parallel block-delayed sequences
S Westrick, M Rainey, D Anderson, GE Blelloch
Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of …, 2022
82022
Efficient Parallel Functional Programming with Effects
J Arora, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 7 (PLDI), 1558-1583, 2023
62023
Automatic parallelism management
S Westrick, M Fluet, M Rainey, UA Acar
Proceedings of the ACM on Programming Languages 8 (POPL), 1118-1149, 2024
32024
DisLog: A Separation Logic for Disentanglement
A Moine, S Westrick, S Balzer
Proceedings of the ACM on Programming Languages 8 (POPL), 302-331, 2024
32024
Efficient and Scalable Parallel Functional Programming Through Disentanglement
S Westrick
Carnegie Mellon University, 2022
22022
Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees
UA Acar, D Anderson, GE Blelloch, L Dhulipala, S Westrick
arXiv preprint arXiv:2002.05129, 2020
22020
GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits
S Westrick, P Liu, B Kang, C McDonald, M Rainey, M Xu, J Arora, Y Ding, ...
Proceedings of the IEEE International Conference on Quantum Computing and …, 2024
12024
DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism
S Westrick, L Wang, UA Acar
arXiv preprint arXiv:2204.14168, 2022
2022
LIPIcs, Volume 173, ESA 2020, Complete Volume}}
F Grandoni, P Sanders, AK Abu-Affash, S Bhore, P Carmi, JSB Mitchell, ...
28th Annual European Symposium on Algorithms (ESA 2020) 173, 9, 2020
2020
2022 Theses by Author
S BALI, A BAKSHI, B BERG, E BLACK, S BOUCHER, A CHUNG, ...
ATRE, Nirav CMU-CS-22-117 BAKSHI, Ainesh CMU-CS-22-146 BALI, Shreya CMU-CS-22-126 BARRITT, Brian CMU-CS-22-125
B BERG, E BLACK, J BLAKLEY, S BOUCHER, E CHIANG, A CHUNG, ...
Parallel Dynamic Tree Contraction via Self-Adjusting Computation
UA Acar, V Aksenov, S Westrick
The system can't perform the operation now. Try again later.
Articles 1–20