Yu Huang
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 24 in the filters
who talks about the same things
- Long Zheng5 talks
- Hai Jin13 talks
- Xiaofei Liao11 talks
- Haifeng Liu4 talks
- Rui Mao4 talks
- Chenlin Ma5 talks
| title | conference | date |
|---|---|---|
| Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency | USENIX ATC '25 | 2025-07-07 |
Claims a practical workflow that verifies 12 Rust OS concurrency modules (≈4k LOC) using PlusCal/TLC and lightweight logging, finds 20 real bugs (9 via model… | ||
| Machine Learning Acceleration in an Embedded World | CODES+ISSS 2022 | 2022-10-07 |
Four short systems with concrete claims and artifacts: a crossbar-friendly DNN pruning method that extracts reusable segment shapes to map many filters into… | ||
| Scaph: Scalable GPU-Accelerated Graph Processing with Value-Driven Differential... | USENIX ATC '20 | 2020-07-15 |
Scaph is a GPU-accelerated system that partitions graphs into host-resident subgraphs and adaptively classifies each iteration whether a subgraph is high-value… | ||
| nothing matches | ||