Incremental Specialization of Network Programs. - Fabian Ruffy; Zhanghan Wang; Gianni Antichi; Aurojit Panda; Anirudh Sivaraman (HotNets, 2024)

Runtime Protocol Refinement Checking for Distributed Protocol Implementations. - Ding Ding; Zhanghan Wang; Jinyang Li 001; Aurojit Panda (NSDI, 2025)

Understanding Stragglers in Large Model Training Using What-if Analysis. - Jinkun Lin; Ziheng Jiang; Zuquan Song; Sida Zhao; Menghan Yu; Zhanghan Wang; Chenyuan Wang; Zuocheng Shi; Xiang Shi; Wei Jia; Zherui Liu; Shuguang Wang; et al. (OSDI, 2025)

Verify Distributed Deep Learning Model Implementation Refinement with Iterative Relation Inference. - Zhanghan Wang; Ding Ding; Hang Zhu; Haibin Lin; Aurojit Panda (CoRR, 2025)