Shoaib Kamil
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Adam Chlipala23 talks
- Amir Kafshdar Goharshady10 talks
- Amanda Liu4 talks
- Zachary Tatlock11 talks
- Pavel Panchekha8 talks
- Jonathan Ragan-Kelley12 talks
| title | conference | date |
|---|---|---|
| A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs | PLDI 2026 | 2026-06-15 |
Mechanized framework extends ATL and uses the Rock proof assistant to produce a verified compression/decompression adjoint that rewrites dense tensor kernels… | ||
| Panel: What are we doing? | Sparse 2024 | 2024-06-25 |
Discussion highlights a persistent gap between research and deployable systems, claiming many sparse advances never reach real workloads and arguing that… | ||
| Extending the Scope of the Array Abstraction beyond Sparsity | Sparse 2024 | 2024-06-25 |
Argues that the array abstraction extends past simple sparsity by operating directly on compressed formats (run‑length and implicit-value encodings)… | ||
| Verifying and Improving Halide’s Term Rewriting System with Program Synthesis | OOPSLA 2020 | 2020-11-15 |
Halide’s term rewriting system is formally verified and extended using SMT and synthesis tools: Z3 proves 88% of rules automatically and Coq completes the… | ||
| A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra | OOPSLA 2020 | 2020-11-15 |
Framework implements sparse iteration-space transformations inside TACO and a CUDA backend and generates fused sparse kernels (SpMV, SpMM, SDDMM, MTTKRP) that… | ||
| nothing matches | ||