Saman Amarasinghe
where else to find them
linkedin:saman
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA4 editions2020–2025
- PLDI Workshop Honoring Andreas Podelski3 editions2024–2026
- Sparse2 editions2024–2025
on a stage with
all 29 in the filters
who talks about the same things
- Jonathan Ragan-Kelley12 talks
- Willow Ahrens6 talks
- Manya Bansal4 talks
- Fredrik Kjolstad14 talks
- Teodoro F. Collin2 talks
- Amir Shaikhha15 talks
| title | conference | date |
|---|---|---|
| Modular GPU Programming with Typed Perspectives | PLDI 2026 | 2026-06-15 |
Prism is a low-level GPU language that tracks thread32 perspective and other granularities in types, exposes constructs like split and group and partition… | ||
| Programming Language Design and Implementation for the Machine Learning Era: A Personal(…) | PLDI 2026 | 2026-06-15 |
Machine learning actually changes compiler work in three concrete ways: ML augments heuristics (the 2003 Meta Optimization effort evolves priority functions… | ||
| Programming Language Design and Implementation for the Machine Learning Era: A Personal(…) | PLDI 2026 | 2026-06-15 |
Machine learning already augments and sometimes outperforms handcrafted compiler components: meta optimization (2003) evolves priority functions and yields… | ||
| The Continuous Tensor Abstraction: Where Indices are Real | OOPSLA 2025 | 2025-10-16 |
Introduces a compiler and code generator that lets tensor indices be real numbers and represents data as piecewise-constant tensors so infinite domains execute… | ||
| Finch: Sparse and Structured Tensor Programming with Control Flow | OOPSLA 2025 | 2025-10-16 |
Finch is a new language and compiler that combines flexible control flow with a parameterized format DSL to generate code that iterates only over nonzeros and… | ||
| Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums | Sparse 2025 | 2025-06-16 |
Introduces Insum, a compiler that encodes sparse formats as indirect Einsums and lowers them into an extended PyTorch/Torch-Compiler pipeline to generate… | ||
| Lightweight and Locality-Aware Composition of Black-Box Subroutines | PLDI 2025 | 2025-06-16 |
A system called Fern enriches black-box subroutine interfaces with producer-consumer annotations that describe how small data blocks are produced and consumed… | ||
| 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… | ||
| Mechanised Hypersafety Proofs about Structured Data | PLDI 2024 | 2024-06-24 |
Claims a practical verification path: LGTM encodes formats as getter code and proves correctness via parametrised hypersafety triples mechanised as a Coq… | ||
| NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks | PLDI 2024 | 2024-06-24 |
NetBlocks is a DSL plus compiler that stages protocol features and packet layouts to generate specialized host network stacks using the BuildIt staging… | ||
| Compilation of Dynamic Sparse Tensor Algebra | OOPSLA 2022 | 2022-12-05 |
A compiler generates efficient tensor-algebra kernels from high-level node-schema language descriptions of recursive pointer-based layouts (block linked lists… | ||
| Compilation of Sparse Array Programming Models | OOPSLA 2021 | 2021-10-17 |
A compiler built on TACO generates C-like code from array index notation and a format language that supports arbitrary fill values, lifts operators into an… | ||
| 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 | ||