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
332020
Hierarchical memory management for mutable state
A Guatto, S Westrick, R Raghunathan, U Acar, M Fluet
ACM SIGPLAN Notices 53 (1), 81-93, 2018
262018
Provably space-efficient parallel functional programming
J Arora, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021
212021
Parallel batch-dynamic trees via change propagation
UA Acar, D Anderson, GE Blelloch, L Dhulipala, S Westrick
arXiv preprint arXiv:2002.05129, 2020
132020
Fairness in responsive parallelism
SK Muller, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
132019
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
112017
Entanglement detection with near-zero cost
S Westrick, J Arora, UA Acar
Proceedings of the ACM on Programming Languages 6 (ICFP), 679-710, 2022
102022
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
62023
Efficient Parallel Functional Programming with Effects
J Arora, S Westrick, UA Acar
Proceedings of the ACM on Programming Languages 7 (PLDI), 1558-1583, 2023
42023
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
42022
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
DisLog: A Separation Logic for Disentanglement
A Moine, S Westrick, S Balzer
Proceedings of the ACM on Programming Languages 8 (POPL), 302-331, 2024
12024
Automatic Parallelism Management
S Westrick, M Fluet, M Rainey, UA Acar
Proceedings of the ACM on Programming Languages 8 (POPL), 1118-1149, 2024
2024
DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism
S Westrick, L Wang, UA Acar
arXiv preprint arXiv:2204.14168, 2022
2022
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–18