Zhanghan Wang
2 papers
· 2025–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
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)