Albert Cohen
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2021–2025
on a stage with
all 10 in the filters
who talks about the same things
- Oleksandr Zinenko2 talks
- Phitchaya Mangpo Phothilimthana4 talks
- William S. Moses4 talks
- Sebastian Hack8 talks
- Juneyoung Lee5 talks
- John Regehr13 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%… | ||
| Reconciling Optimization With Secure Compilation | OOPSLA 2021 | 2021-10-17 |
Claims a way to make compiler optimizations preserve security-relevant intermediate state by adding opaque observations and an opacification mechanism that… | ||
| nothing matches | ||