​
Login / Signup
Fangdan Ye
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Detect Anomalies
Network Traffic
Traffic Load
Network Intrusion Detection
Top Venues
SIGCOMM
Comput. Networks
NSDI
</>
Publications
</>
Ruihan Li
,
Yifei Yuan
,
Fangdan Ye
,
Mengqi Liu
,
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.
SIGCOMM
(2024)
Ruihan Li
,
Fangdan Ye
,
Yifei Yuan
,
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.
NSDI
(2024)
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
,
Zhiliang Wang
,
Rodrigo Fonseca
Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN.
SIGCOMM
(2020)
Yahui Li
,
Zhiliang Wang
,
Xia Yin
,
Xingang Shi
,
Jianping Wu
,
Fangdan Ye
,
Jiangyuan Yao
,
Han Zhang
Assisting reachability verification of network configurations updates with NUV.
Comput. Networks
177 (2020)