Sam Westrick

23 papers A 2B 3Misc 1Journal 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs.
Proc. ACM Program. Lang.
Alexandre Moine, Sam Westrick, Joseph Tassarotti
2026 J jnl
TypeDis: A Type System for Disentanglement.
Proc. ACM Program. Lang.
Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
2025 J jnl
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs.
CoRR
Alexandre Moine, Sam Westrick, Joseph Tassarotti
2025 J jnl
Local Optimization of Quantum Circuits (Extended Version).
CoRR
Jatin Arora, Mingkuan Xu, Sam Westrick, Pengyu Liu, Dantong Li, Yongshan Ding, Umut A. Acar
2025 J jnl
TypeDis: A Type System for Disentanglement.
CoRR
Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
2024 J jnl
Automatic Parallelism Management.
Proc. ACM Program. Lang.
Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar
2024 J jnl
DisLog: A Separation Logic for Disentanglement.
Proc. ACM Program. Lang.
Alexandre Moine, Sam Westrick, Stephanie Balzer
2024 Misc conf
GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits.
QCE
Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A. Acar
2023 J jnl
Efficient Parallel Functional Programming with Effects.
Proc. ACM Program. Lang.
Jatin Arora, Sam Westrick, Umut A. Acar
2023 — ed.
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC 2023, Seattle, WA, USA, 4 September 2023
FHPNC
Gabriele Keller, Sam Westrick
2023 A conf
WARDen: Specializing Cache Coherence for High-Level Parallel Languages.
CGO
Michael Wilkins, Sam Westrick, Vijay Kandiah, Alex Bernat, Brian Suchy, Enrico Armenio Deiana, Simone Campanoni, Umut A. Acar, Peter A. Dinda, Nikos Hardavellas
2022 J jnl
DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism.
CoRR
Sam Westrick, Larry Wang, Umut A. Acar
2022 — —
Efficient and Scalable Parallel Functional Programming Through Disentanglement
Sam Westrick
2022 J jnl
Entanglement detection with near-zero cost.
Proc. ACM Program. Lang.
Sam Westrick, Jatin Arora, Umut A. Acar
2022 B conf
Parallel block-delayed sequences.
PPoPP
Sam Westrick, Mike Rainey, Daniel Anderson, Guy E. Blelloch
2021 J jnl
Provably space-efficient parallel functional programming.
Proc. ACM Program. Lang.
Jatin Arora, Sam Westrick, Umut A. Acar
2020 J jnl
Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees.
CoRR
Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick
2020 J jnl
Disentanglement in nested-parallel programs.
Proc. ACM Program. Lang.
Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar
2020 A conf
Parallel Batch-Dynamic Trees via Change Propagation.
ESA
Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick
2019 J jnl
Fairness in responsive parallelism.
Proc. ACM Program. Lang.
Stefan K. Muller, Sam Westrick, Umut A. Acar
2018 J jnl
Hierarchical Memory Management for Mutable State.
CoRR
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
2018 B conf
Hierarchical memory management for mutable state.
PPoPP
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
2017 B conf
Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation.
SPAA
Umut A. Acar, Vitaly Aksenov, Sam Westrick