Yuming Zhou
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Hetu v2: A General and Scalable Deep Learning System with Hierarchical and Heterogeneous | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Hetu v2 implements HSPMD, an extension of SPMD that adds a top-tier subgroup sharding and asymmetric communication primitives so tensors can be unevenly… | ||
| Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative(…) | OOPSLA 2025 | 2025-10-16 |
Aries validates SMT rewriters by combining mimetic mutation that reshapes seed formulas to match rewrite left‑hand sides with generative equality saturation… | ||
| Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration | USENIX ATC '25 | 2025-07-07 |
ATLAS inserts attributes into functions, variables, and statements, analyzes types and local-variable relations to pick compatible compiler flags, and compiles… | ||
| nothing matches | ||