Oleksandr Zinenko
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- William S. Moses2×
- Albert Cohenonce
- Arya Vohraonce
all 8 in the filters
who talks about the same things
- William S. Moses4 talks
- Phitchaya Mangpo Phothilimthana4 talks
- Albert Cohen2 talks
- Jakub Bachurski4 talks
- Alvin Cheung6 talks
- Mathieu Huot11 talks
| title | conference | date |
|---|---|---|
| Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers | OOPSLA 2025 | 2025-10-16 |
Equality saturation is integrated into XLA with a C++/Rust egraph pass that replaces brittle local rewrites with a global cost model, yielding an average 3.45%… | ||
| Sound and Modular Activity Analysis for Automatic Differentiation in MLIR | OOPSLA 2025 | 2025-10-16 |
Implements a sound abstract interpretation of activity analysis inside MLIR, formalizing an MLIR subset amenable to AD and proving correctness; adds a modular… | ||
| nothing matches | ||