Charith Mendis
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2018–2025
all 6 in the filters
on a stage with
all 34 in the filters
who talks about the same things
- Jonathan Ragan-Kelley12 talks
- Phitchaya Mangpo Phothilimthana4 talks
- Rastislav Bodík8 talks
- Işıl Dillig21 talks
- Saman Amarasinghe13 talks
- Adam Chlipala23 talks
| title | conference | date |
|---|---|---|
| VTC: DNN Compilation with Virtual Tensors for Data Movement Elimination | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
VTC introduces virtual tensor representations that map logical indices to multiple physical buffers to eliminate intermediate data-movement kernels, implements… | ||
| CERES: Making Equality Saturation Memory-Scalable | EGRAPHS 2026 | 2026-06-15 |
CERES is a rewrite scheduler that picks a small subset of equality saturation rewrites with a cross-entropy sampler and applies them to keep e-graphs under a… | ||
| GALA: A High Performance Graph Neural Network Acceleration LAnguage and Compiler | OOPSLA 2025 | 2025-10-16 |
GALA is a domain-specific language and compiler that composes intra-operator scheduling commands with automatic inter-operator rewrites via two novel IRs, a… | ||
| Automated Verification of Soundness of DNN Certifiers | OOPSLA 2025 | 2025-10-16 |
Automates soundness checks for abstract-interpretation DNN certifiers by encoding certifier specs in the ConstraintFlow DSL, translating networks to a symbolic… | ||
| Optimizations and abstractions for sparse machine learning | Sparse 2025 | 2025-06-16 |
Holistic optimizations trade between sparse and dense work using matrix reassociations and an offline/online compiler called sensei that picks the fastest… | ||
| MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable(…) | PLDI 2025 | 2025-06-16 |
MISAAL is a synthesis-based compiler that moves expensive synthesis offline, uses instruction semantics to generate automated swizzle operators and… | ||
| TensorRight: Automated Verification of Tensor Graph Rewrites | POPL 2025 | 2025-01-19 |
TensorRight presents an automated verifier that proves tensor-graph rewrites correct for tensors of arbitrary rank and size by encoding rules in a new core… | ||
| goSLP - Globally Optimized Superword Level Parallelism Framework | OOPSLA 2018 | 2018-11-07 |
goSLP formulates SLP statement packing as an ILP solver optimization across whole functions, then solves vector permutation selection with dynamic programming… | ||
| nothing matches | ||