Umut A. Acar
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- POPL2 editions2021–2024
all 5 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Jatin Arora6 talks
- Sam Westrick12 talks
- Stefan K. Muller8 talks
- Deepak Garg18 talks
- Michel Steuwer17 talks
- Steve Zdancewic19 talks
| title | conference | date |
|---|---|---|
| Invited Talk: Bridging Safety and Performance | PADL 2025 | 2025-01-20 |
Claims that safe, declarative parallel programs match optimized imperative code by combining a proof-backed memory model and automatic runtime management. A… | ||
| Disentanglement with Futures, State, and Interaction | POPL 2024 | 2024-01-14 |
Formalizes disentanglement for a language with futures, I/O, and mutable references and proves that purely functional programs are disentangled; extends to… | ||
| 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… | ||
| 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… | ||
| Responsive Parallelism with Synchronization | PLDI 2023 | 2023-06-17 |
Claims a static type system plus runtime priority-ceiling prevents priority inversions across mutexes and condition variables, with a formal soundness proof… | ||
| 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… | ||
| Program Equivalence for Assisted Grading of Functional Programs | OOPSLA 2020 | 2020-11-15 |
Zeus clusters Standard ML student submissions by proving structural equivalence with inference rules and emits an SMT formula checked by z3 so clustering is… | ||
| nothing matches | ||