| 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 | 27 | 2020 |
| Hierarchical memory management for mutable state A Guatto, S Westrick, R Raghunathan, U Acar, M Fluet ACM SIGPLAN Notices 53 (1), 81-93, 2018 | 22 | 2018 |
| Provably space-efficient parallel functional programming J Arora, S Westrick, UA Acar Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021 | 18 | 2021 |
| Parallel batch-dynamic trees via change propagation UA Acar, D Anderson, GE Blelloch, L Dhulipala, S Westrick arXiv preprint arXiv:2002.05129, 2020 | 12 | 2020 |
| 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 | 11 | 2017 |
| Fairness in responsive parallelism SK Muller, S Westrick, UA Acar Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019 | 10 | 2019 |
| Entanglement detection with near-zero cost S Westrick, J Arora, UA Acar Proceedings of the ACM on Programming Languages 6 (ICFP), 679-710, 2022 | 6 | 2022 |
| 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 | 3 | 2022 |
| 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 | 2 | 2020 |
| Efficient Parallel Functional Programming with Effects J Arora, S Westrick, UA Acar Proceedings of the ACM on Programming Languages 7 (PLDI), 1558-1583, 2023 | 1 | 2023 |
| 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 | 1 | 2023 |
| DisLog: A Separation Logic for Disentanglement A MOINE, SAM WESTRICK, S BALZER Proc. ACM Program. Lang 1 (1), 2023 | | 2023 |
| Efficient and Scalable Parallel Functional Programming Through Disentanglement S Westrick Carnegie Mellon University, 2022 | | 2022 |
| 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 | | |
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceVerified email at cs.cmu.edu
