Sam Westrick
where else to find them
bluesky:shwestrick.bsky.social
what they talk about
all 4 in the filters
where they keep going back
- POPL3 editions2021–2026
all 6 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Jatin Arora6 talks
- Alexandre Moine8 talks
- Umut A. Acar8 talks
- Stephanie Balzer10 talks
- Michael Sammler16 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| TypeDis: A Type System for Disentanglement | POPL 2026 | 2026-01-11 |
TypeDis is a type system that guarantees any well-typed program is disentangled and so permits task-local, synchronization-free garbage collection; it… | ||
| All for One and One for All: Program Logics for Exploiting Internal Determinism in(…) | POPL 2026 | 2026-01-11 |
Defines schedule-independent safety: showing one terminating execution is safe suffices to guarantee safety for all schedules. Introduces separation logic… | ||
| Automatic Parallelism Management | Managing Parallelism 2025 | 2025-10-20 |
A research compiler called MaPLe compiler implements an automatic parallelism manager that delays task creation and amortizes spawn cost using a… | ||
| DisLog: A Separation Logic for Disentanglement | POPL 2024 | 2024-01-14 |
Claims a first static program logic that proves disentanglement for fork‑join programs and gives a high‑level variant that yields disentanglement for race‑free… | ||
| Automatic Parallelism Management | POPL 2024 | 2024-01-14 |
Fine-grained Fork–Join Parallel ML gets a nearly zero-cost call convention that adds two return addresses and copies the stack frame so a continuation can be… | ||
| How to Thrive as a PhD student in PL | PLMW @ ICFP 2023 | 2023-09-04 |
Treat classes as an investment and stop taking them for the sake of neat rewards; measure progress by time and energy spent, not only by finished proofs or bug… | ||
| Efficient Parallel Functional Programming with Effects | PLDI 2023 | 2023-06-17 |
Extends the MPL/Maple compiler for Parallel ML to track and pin entangled objects and install read barriers on mutable objects, proving entanglement management… | ||
| Efficient and Scalable Parallel Functional Programming Through Disentanglement | ML 2022 | 2022-09-15 |
Claims a practical system that exploits a memory property called disentanglement by partitioning memory into a tree of heaps so task-local allocations and… | ||
| Entanglement Detection with Near-Zero Cost | ICFP 2022 | 2022-09-11 |
Presents a runtime entanglement detector implemented in the Maple (MPL) compiler that builds a computation graph and uses SP-order maintenance to check only… | ||
| Provably Space Efficient Parallel Functional Programming | POPL 2021 | 2021-01-17 |
Proves that determinacy‑race‑free parallel ML runs need at most O(R · P) space and at most O(W + R · P) work by integrating a heap scheduler with… | ||
| nothing matches | ||