Fangdan Ye
Xing Fang
Fangdan Ye
Yifei Yuan 0001
Zhongyu Guan
Duncheng She
Xiaobo Zhu
Qiao Xiang
Verifying Non-Deterministic Convergence on a Global Production WAN.
1708-1723
2026
SIGCOMM
https://doi.org/10.1145/3789240.3829180
conf/sigcomm/2026
db/conf/sigcomm/sigcomm2026.html#FangYYGSZX26
Yifei Yuan 0001
Fangdan Ye
Yifan Li
Jingkai Zhang
Mengqi Liu 0001
Yuyang Sang
Ruizhen Yang
Duncheng She
Zhiqing Ye
Tianchen Guo
Xiaobo Zhu
Xinji Tang
Li Jia
Zhongyu Guan
Lingpeng Su
Ci Wang
Ruiyang Feng
Shuo Wu
Zhonghui Xie
Cheng Jin
Peng Zhang
Qing Ma
Xianlong Zeng
Dennis Cai
Ennan Zhai
New Evolution of Hoyan: Enhancing Scalability, Usability, and Accuracy for Alibaba's Global WAN Verification.
809-825
2025
SIGCOMM
https://doi.org/10.1145/3718958.3754343
conf/sigcomm/2025
db/conf/sigcomm/sigcomm2025.html#0001YLZ0SYSYGZT25
Ruihan Li
Fangdan Ye
Yifei Yuan 0001
Ruizhen Yang
Bingchuan Tian
Tianchen Guo
Hao Wu
Xiaobo Zhu
Zhongyu Guan
Qing Ma
Xianlong Zeng
Chenren Xu
Dennis Cai
Ennan Zhai
Reasoning about Network Traffic Load Property at Production Scale.
2024
NSDI
https://www.usenix.org/conference/nsdi24/presentation/li-ruihan
conf/nsdi/2024
db/conf/nsdi/nsdi2024.html#LiYYYTGWZGMZXCZ24
Ruihan Li
Yifei Yuan 0001
Fangdan Ye
Mengqi Liu 0001
Ruizhen Yang
Yang Yu
Tianchen Guo
Qing Ma
Xianlong Zeng
Chenren Xu
Dennis Cai
Ennan Zhai
A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures.
2024
SIGCOMM
https://doi.org/10.1145/3651890.3672246
https://www.wikidata.org/entity/Q130863198
conf/sigcomm/2024
db/conf/sigcomm/sigcomm2024.html#LiYY0YYGMZXCZ24
228-243
Yahui Li
Zhiliang Wang
Xia Yin 0001
Xingang Shi
Jianping Wu
Fangdan Ye
Jiangyuan Yao
Han Zhang 0009
Assisting reachability verification of network configurations updates with NUV.
107326
2020
177
Comput. Networks
https://doi.org/10.1016/j.comnet.2020.107326
db/journals/cn/cn177.html#LiWYSWYYZ20
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
Biao Cheng
Hui Xu
Ming Zhang 0005
Zhiliang Wang
Rodrigo Fonseca
Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN.
599-614
2020
SIGCOMM
https://doi.org/10.1145/3387514.3406217
conf/sigcomm/2020
db/conf/sigcomm/sigcomm2020.html#YeYZLTYWWGJSMCX20
Dennis Cai
Biao Cheng
Xing Fang
Ruiyang Feng
Rodrigo Fonseca
Zhongyu Guan
Tianchen Guo
Li Jia
Cheng Jin
Ruihan Li
Yahui Li
Yifan Li
Hongqiang Harry Liu
Mengqi Liu 0001
Qing Ma
Yuyang Sang
Duncheng She
Xingang Shi
Lingpeng Su
Xinji Tang
Bingchuan Tian
Chunsheng Wang
Ci Wang
Zhiliang Wang
Hao Wu
Jianping Wu
Shuo Wu
Xin Wu
Qiao Xiang
Zhonghui Xie
Chenren Xu
Hui Xu
Ruizhen Yang
Jiangyuan Yao
Qiaobo Ye
Zhiqing Ye
Xia Yin 0001
Da Yu
Yang Yu
Yifei Yuan 0001
Xianlong Zeng
Ennan Zhai
Han Zhang 0009
Jingkai Zhang
Ming Zhang 0005
Peng Zhang
Xiaobo Zhu