Vikram S. Adve
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
all 4 in the filters
on a stage with
- Charith Mendis2×
- Abdul Rafae Nooronce
- Ahan Guptaonce
all 19 in the filters
who talks about the same things
- Yasmin Chandini Sarita3 talks
- Sasa Misailovic13 talks
| title | conference | date |
|---|---|---|
| VTC: DNN Compilation with Virtual Tensors for Data Movement Elimination | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
VTC introduces virtual tensor representations that map logical indices to multiple physical buffers to eliminate intermediate data-movement kernels, implements… | ||
| Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs | PLDI 2026 | 2026-06-15 |
Neptune is a tensor compiler that implements advanced operator fusion by deliberately breaking loop-carried dependencies and synthesizing algebraic repair… | ||
| MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable(…) | PLDI 2025 | 2025-06-16 |
MISAAL is a synthesis-based compiler that moves expensive synthesis offline, uses instruction semantics to generate automated swizzle operators and… | ||
| Why Digital Agriculture is Fertile Ground for Software Systems Research | SPLASH 2020 | 2020-11-15 |
Argues that digital agriculture yields concrete CS problems and solutions: a compiler/runtime stack HPVM (LLVM-based) and an autotuner ApproxTuner target edge… | ||
| Guided Linking: Dynamic Linking without the Costs | OOPSLA 2020 | 2020-11-15 |
Guided Linking merges a developer-chosen optimized set into a single merged library (LLVM-based, using LTO+PGO), then uses developer-supplied constraints like… | ||
| nothing matches | ||