Jatin Arora
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- POPL2 editions2021–2024
all 4 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Umut A. Acar8 talks
- Sam Westrick12 talks
- Stefan K. Muller8 talks
- Deepak Garg18 talks
- Patrick Bahr11 talks
- Michael Carbin14 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| 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… | ||
| Design and Evaluation of DIO Construction Toolkit for Co-making Shared Constructions | UbiComp / ISWC 2020 | 2020-09-12 |
A dome-shaped tangible toolkit called DIO lets 8–12 year olds wire physical modules together and program them with an AR smartphone; modules use… | ||
| nothing matches | ||