Abhinav Jangda
where else to find them
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Arjun Guha10 talks
- Saman Amarasinghe13 talks
- Jonathan Ragan-Kelley12 talks
- Manya Bansal4 talks
- John Gouwar2 talks
- Tobias Grosser14 talks
| title | conference | date |
|---|---|---|
| Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels | PLDI 2026 | 2026-06-15 |
SubCuber compiles Strassen-like algorithms into CUDA by building the algorithm dependency graph, choosing tile-wise schedules, and applying recursion-aware… | ||
| Kuiper: verified and efficient GPU programming | ARRAY 2025 | 2025-06-17 |
Kuiper is a verified GPU language that uses dependent types and concurrent separation logic (built on F★/Pulse) to guarantee memory safety and race freedom for… | ||
| Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs | OOPSLA 2024 | 2024-10-20 |
Presents MultiPL-T, a pipeline that generates semi‑synthetic training data by using a Code LLM to synthesize unit tests for 130K vetted Python functions… | ||
| Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code | USENIX ATC '19 | 2019-07-10 |
Built Browsix-Wasm to run unmodified Unix programs in the browser and benchmarked them using SPEC CPU; WebAssembly binaries run about 45% slower on Firefox and… | ||
| nothing matches | ||