Kunal Agrawal
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2023
on a stage with
- Andrew Nethonce
- Devyn Terra Keeneyonce
- I-Ting Angelina Leeonce
all 10 in the filters
who talks about the same things
- Stefan K. Muller8 talks
- Umut A. Acar8 talks
- Aseem Rastogi7 talks
- Tahina Ramananandro8 talks
- Charith Mendis10 talks
- Anshuman Mohan6 talks
| title | conference | date |
|---|---|---|
| Managing High-Bandwidth Memory is a Parallel Scheduling Problem | Managing Memory 2025 | 2025-09-29 |
Argues that minimizing page transfers is the wrong objective: an algorithm that minimizes transfers can be Ω(p) worse for running time. Models HBM with k pages… | ||
| 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… | ||
| Bind the Gap: Compiling Real Software to Hardware FFT Accelerators | PLDI 2022 | 2022-06-13 |
Paper claims a compiler pipeline that automatically maps real C FFT implementations to API‑driven FFT accelerators by resolving four concrete mismatches: code… | ||
| nothing matches | ||