Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN. - Fangdan Ye; Da Yu; Ennan Zhai; Hongqiang Harry Liu; Bingchuan Tian; Qiaobo Ye; Chunsheng Wang; Xin Wu; Tianchen Guo; Cheng Jin; Duncheng She; Qing Ma; et al. (SIGCOMM, 2020)

Assisting reachability verification of network configurations updates with NUV. - Yahui Li; Zhiliang Wang; Xia Yin 001; Xingang Shi; Jianping Wu; Fangdan Ye; Jiangyuan Yao; Han Zhang 009 (Comput. Networks, 2020)

Reasoning about Network Traffic Load Property at Production Scale. - Ruihan Li; Fangdan Ye; Yifei Yuan 001; Ruizhen Yang; Bingchuan Tian; Tianchen Guo; Hao Wu; Xiaobo Zhu; Zhongyu Guan; Qing Ma; Xianlong Zeng; Chenren Xu; et al. (NSDI, 2024)

A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures. - Ruihan Li; Yifei Yuan 001; Fangdan Ye; Mengqi Liu 001; Ruizhen Yang; Yang Yu; Tianchen Guo; Qing Ma; Xianlong Zeng; Chenren Xu; Dennis Cai; Ennan Zhai (SIGCOMM, 2024)