Westrick, Sam
31  Ergebnisse:
Personensuche X
?
1

DisLog: A Separation Logic for Disentanglement:

Moine, Alexandre ; Westrick, Sam ; Balzer, Stephanie
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 302-331 , 2024
 
?
2

Automatic Parallelism Management:

Westrick, Sam ; Fluet, Matthew ; Rainey, Mike.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1118-1149 , 2024
 
?
3

WARDen: Specializing Cache Coherence for High-Level Paralle..:

, In: Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization,
Wilkins, Michael ; Westrick, Sam ; Kandiah, Vijay... - p. 122-135 , 2023
 
?
5

Entanglement detection with near-zero cost:

Westrick, Sam ; Arora, Jatin ; Acar, Umut A.
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 679-710 , 2022
 
?
6

Parallel block-delayed sequences:

, In: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
 
?
7

Provably space-efficient parallel functional programming:

Arora, Jatin ; Westrick, Sam ; Acar, Umut A.
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-33 , 2021
 
?
8

Provably space-efficient parallel functional programming:

Arora, Jatin ; Westrick, Sam ; Acar, Umut A.
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-33 , 2021
 
?
9

Fairness in responsive parallelism:

Muller, Stefan K. ; Westrick, Sam ; Acar, Umut A.
Proceedings of the ACM on Programming Languages.  3 (2019)  ICFP - p. 1-30 , 2019
 
?
10

Disentanglement in nested-parallel programs:

Westrick, Sam ; Yadav, Rohan ; Fluet, Matthew.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
 
?
11

Disentanglement in nested-parallel programs:

Westrick, Sam ; Yadav, Rohan ; Fluet, Matthew.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
 
?
12

Fairness in responsive parallelism:

Muller, Stefan K. ; Westrick, Sam ; Acar, Umut A.
Proceedings of the ACM on Programming Languages.  3 (2019)  ICFP - p. 1-30 , 2019
 
?
14

Hierarchical memory management for mutable state:

, In: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
 
?
15

Brief Announcement : Parallel Dynamic Tree Contraction v..:

, In: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures,
Acar, Umut A. ; Aksenov, Vitaly ; Westrick, Sam - p. 275-277 , 2017
 
1-15