Maryam Mehri Dehnavi
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
on a stage with
all 5 in the filters
who talks about the same things
- Nikolaj Bjørner9 talks
- Saman Amarasinghe13 talks
- Meng Wang16 talks
- Mathieu Huot11 talks
- Amir Shaikhha15 talks
- Amanda Liu4 talks
| title | conference | date |
|---|---|---|
| Register Tiling for Unstructured Sparsity in Neural Network Inference | Managing Parallelism 2025 | 2025-10-20 |
PATCH produces tile-based unstructured sparsity masks using Gumbel-Softmax mask learning over tile choices and 2:4 patterns, POST-trains models for an overall… | ||
| SpEQ: Translation of Sparse Codes using Equivalences | EGRAPHS 2024 | 2024-06-24 |
SpEQ is a tool (PLDI 2024) that detects when code matches small reference C implementations by translating LLVM IR into e-graphs, adding memory-version returns… | ||
| SpEQ: Translation of Sparse Codes using Equivalences | EGRAPHS 2024 | 2024-06-24 |
SpEQ detects sparse-data semantics via equivalence checks that prove a CSR-style loop is equivalent to a dense reference, then uses e-graphs (equality… | ||
| SpEQ: Translation of Sparse Codes using Equivalences | PLDI 2024 | 2024-06-24 |
SpEQ detects implicit sparse storage, symbolically reconstructs a dense semantics, and uses an equivalence check plus lightweight runtime guards to guarantee… | ||
| Register Tiling for Unstructured Sparsity in Neural Network Inference | PLDI 2023 | 2023-06-17 |
Introduces Sparse Register Tiling that uses an unroll-and-sparse-jam compile-time transformation plus compression to shrink SpMM code size and improve register… | ||
| nothing matches | ||