Zhanghan Wang
2 papers · 2025–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
Conferences
NSDI (1)
OSDI (1)
Top co-authors
Keywords
distributed computing
(1)
straggler mitigation
(1)
safety property
(1)
bug detection
(1)
cluster scheduling
(1)
distributed protocol
(1)
runtime verification
(1)
large language model training
(1)
performance analysis
(1)
what-if analysis
(1)
protocol implementation
(1)
refinement checking
(1)
safety bug
(1)
simulation-based checking
(1)