Milind Kulkarni
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA3 editions2021–2024
all 4 in the filters
on a stage with
all 18 in the filters
who talks about the same things
- Kirshanthan Sundararajah6 talks
- Jonathan Ragan-Kelley12 talks
- Adam Chlipala23 talks
- Tobias Grosser14 talks
- Saman Amarasinghe13 talks
- Alex Aiken8 talks
| title | conference | date |
|---|---|---|
| Regularizing the Irregular | PLMW @ PLDI 2025 | 2025-06-16 |
Argues that scheduling transformations work on irregular pointer‑based codes by hiding traversal logic behind a small abstraction and then reordering loops… | ||
| Circuit Optimization using Arithmetic Table Lookups | PLDI 2025 | 2025-06-16 |
COATL is a compiler that replaces low-level Boolean gates with arithmetic lookup tables that index small-modulus ciphertexts and use ILP-synthesized… | ||
| SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest(…) | OOPSLA 2024 | 2024-10-20 |
SparseAuto is an auto-scheduler that applies recursive loop-nest fission/fusion to produce imperfectly nested code, uses a poset-based cost model combining… | ||
| Garbage Collection for Mostly Serialized Heaps | ISMM 2024 | 2024-06-25 |
A hybrid generational collector for mostly-serialized heaps implements a nursery of mini-regions with bump allocation and a copying young collector that… | ||
| UniRec: A Unimodular-Like Framework for Nested Recursions and Loops | OOPSLA 2022 | 2022-12-05 |
Claim: UniRec generalizes unimodular loop transforms to mixed recursion+loop code and actually implements arbitrary unimodular linear schedules for recursive… | ||
| QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems | OOPSLA 2021 | 2021-10-17 |
QuickSilver introduces the Mercury modeling language with two concrete agreement primitives, Partition and Consensus, that abstract verified Paxos/Raft-style… | ||
| nothing matches | ||