William S. Moses
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 32 in the filters
who talks about the same things
- Oleksandr Zinenko2 talks
- Phitchaya Mangpo Phothilimthana4 talks
- Albert Cohen2 talks
- Jakub Bachurski4 talks
- Alvin Cheung6 talks
- Mathieu Huot11 talks
| title | conference | date |
|---|---|---|
| A Compiler-First Planetary Compute Engine: Automatic differentiable and performance(…) | PROPL 2026 | 2026-06-15 |
Claims a compiler-stack solution that makes production Earth models end-to-end auto-differentiable and hardware-portable. Uses Enzyme.jl on LLVM and… | ||
| Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale | EGRAPHS 2026 | 2026-06-15 |
Poseidon automatically extracts symbolic expressions from pre-optimized IR, uses a small surrogate profile to get per-instruction sensitivities, and composes… | ||
| 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 | ||