Amir Shaikhha
where else to find them
what they talk about
all 6 in the filters
where they keep going back
all 8 in the filters
on a stage with
all 23 in the filters
who talks about the same things
- Mahdi Ghorbani2 talks
- Tobias Grosser14 talks
- Saman Amarasinghe13 talks
- Mathieu Huot11 talks
- Jonathan Ragan-Kelley12 talks
- Amal Ahmed25 talks
| title | conference | date |
|---|---|---|
| Compressed and Parallelized Structured Tensor Algebra | OOPSLA 2025 | 2025-10-16 |
DASTAC generates compressed linear indexes from polyhedral structure using the Barvinok algorithm, emits affine code and parallel loops via MLIR, and adds… | ||
| ScaIR: Type-safe Compiler Framework Compatible with MLIR | The Scala Workshop 2025 | 2025-10-12 |
ScaIR is a Scala-based reimplementation of MLIR that embeds compile-time typed operations into case classes, derives companion typeclasses via Scala 3 quotes… | ||
| Efficient array (and data) processing by leveraging structure | ARRAY 2025 | 2025-06-17 |
Claims a compilation-based DSL called SDQL that represents relations, vectors and sparse tensors as semiring dictionaries, implements ~44 algebraic rewrite… | ||
| Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs | PLDI 2025 | 2025-06-16 |
E-graphs gain native support for bound variables by making e-classes functions over parameterized e-classes (slots) so alpha-equivalent terms share a single… | ||
| Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of(…) | GPCE 2024 | 2024-10-21 |
Proposes a concrete design pattern that replaces repetitive traversal code with a type class with children and rebuild interface so each AST node exposes its… | ||
| Yin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper) | GPCE 2024 | 2024-10-21 |
Framework automatically translates user-friendly shallow EDSL programs to fast deep EDSLs using Scala macros and a type-translation scheme that guarantees… | ||
| Functional Sparse Tensor Compilation | FProPer 2024 | 2024-09-06 |
A modular compiler named STAR lowers tensor algebra to a functional pipeline (HC → SDQL → LQL → C++) and separates scheduling from data-format decisions so… | ||
| Panel: Databases and Hardware | Sparse 2024 | 2024-06-25 |
Panel reports a measured ~1% utilization on sparse arrays when running real sparse kernels, describes an Onyx tape-out and a working Sam prototype, and shows… | ||
| Structured Tensor Algebra for Efficient Discrete Probabilistic Inference | LAFI 2024 | 2024-01-14 |
An implementation of Buck in Julia called JuliaBux extends the Buck language with external functions and a Julia macro, exposes log‑density and gradients, and… | ||
| Compiling Structured Tensor Algebra | OOPSLA 2023 | 2023-10-23 |
Framework compiles tensor algebra while symbolically computing sparsity and redundancy at compile time, using an intermediate language STUR and a compiler… | ||
| Functional collection programming with semi-ring dictionaries | OOPSLA 2023 | 2023-10-23 |
A new intermediate language implements semi-ring dictionaries and a statically typed DSL SDQL that represents sets, multisets, vectors, matrices and sparse… | ||
| Deep Fusion for Efficient Nested Recursive Computations | GPCE 2022 | 2022-12-06 |
The compiler turns high-level functional programs over lists, sets, bags and maps into imperative code that removes intermediate collections in three steps… | ||
| Multi-stage Programming in the Large with Staged Classes | GPCE 2020 | 2020-11-16 |
Introduces staged classes implemented in the Squid Scala framework to generate class and module definitions with static typing and scope guarantees, producing… | ||
| nothing matches | ||