Phitchaya Mangpo Phothilimthana
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2022–2025
on a stage with
- Albert Cohenonce
- Amit Sabneonce
- Arvind Krishnamurthyonce
all 22 in the filters
who talks about the same things
- Oleksandr Zinenko2 talks
- Albert Cohen2 talks
- William S. Moses4 talks
- Charith Mendis10 talks
- Max Willsey12 talks
- Alvin Cheung6 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%… | ||
| 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… | ||
| Neural Architecture Search using Property Guided Synthesis | OOPSLA 2022 | 2022-12-05 |
αNAS performs evolutionary NAS by mutating abstract program properties (depth, shape, mixing) instead of raw graphs, concretizing candidates via a new… | ||
| E3: Energy-Efficient Microservices on SmartNIC-Accelerated Servers | USENIX ATC '19 | 2019-07-10 |
E3 is a microservice execution platform that offloads small, communication‑intensive services onto Cavium LiquidIO SmartNICs and extends Azure Service Fabric… | ||
| nothing matches | ||