Sam Westrick

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Topics

Memory Management

Parallel Processing

Functional Programming

Abductive Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar
Automatic Parallelism Management. Proc. ACM Program. Lang. 8 (POPL) (2024)
Alexandre Moine, Sam Westrick, Stephanie Balzer
DisLog: A Separation Logic for Disentanglement. Proc. ACM Program. Lang. 8 (POPL) (2024)
Michael Wilkins, Sam Westrick, Vijay Kandiah, Alex Bernat, Brian Suchy, Enrico Armenio Deiana, Simone Campanoni, Umut A. Acar, Peter A. Dinda, Nikos Hardavellas
WARDen: Specializing Cache Coherence for High-Level Parallel Languages. CGO (2023)
Jatin Arora, Sam Westrick, Umut A. Acar
Efficient Parallel Functional Programming with Effects. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Sam Westrick, Larry Wang, Umut A. Acar
DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism. CoRR (2022)
Sam Westrick, Mike Rainey, Daniel Anderson, Guy E. Blelloch
Parallel block-delayed sequences. PPoPP (2022)
Sam Westrick, Jatin Arora, Umut A. Acar
Entanglement detection with near-zero cost. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jatin Arora, Sam Westrick, Umut A. Acar
Provably space-efficient parallel functional programming. Proc. ACM Program. Lang. 5 (POPL) (2021)
Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick
Parallel Batch-Dynamic Trees via Change Propagation. ESA (2020)
Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar
Disentanglement in nested-parallel programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick
Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees. CoRR (2020)
Stefan K. Muller, Sam Westrick, Umut A. Acar
Fairness in responsive parallelism. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
Hierarchical memory management for mutable state. PPOPP (2018)
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
Hierarchical Memory Management for Mutable State. CoRR (2018)
Umut A. Acar, Vitaly Aksenov, Sam Westrick
Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. SPAA (2017)