avatar

Xing Fang (方星)

Ph.D. Student
Xiamen University
xing.fang.xmu (at) outlook.com


About Me

I am a 4th-year PhD student at Xiamen University’s SNGroup, under the guidance of Professor Qiao Xiang. I am also a research intern at Alibaba Cloud (since April 2024), co-advised by Fangdan Ye and Ennan Zhai. I earned my master degree in computer technology from the Institute of Information Engineering, Chinese Academy of Sciences in 2022, under the guidance of Bo Hu. Prior to this, I received my BEng degree from Huazhong University of Science and Technology in 2019.

Research Interests

My main research interests lie at the intersection of computer networks and formal methods, with the goal of ensuring that networks operate as intended.

Recently, my research has focused on enhancing configuration verification tools to achieve higher accuracy and broader coverage.

I am also interested in configuration verification acceleration, network error diagnosis and repair, and privacy-preserving network verification.

Publications

Selected Publications

  1. Verifying Non-Deterministic Convergence on a Global Production WAN
    Xing Fang, Fangdan Ye, Yifei Yuan, Zhongyu Guan, Duncheng She, Xiaobo Zhu, Qiao Xiang
    ACM SIGCOMM, 2026.
    PDF

  2. LEOPARD: Accelerating Cloud-based Access Control Policy Verification Using Logical Encoding Optimization
    Xing Fang, Feiyan Ding, Mingyuan Song, Yuntao Zhao, Lizhao You, Qiao Xiang, Linghe Kong, Jiwu Shu, Xue Liu
    IEEE/ACM IWQoS, 2025.
    PDF Slides

  3. Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge
    Xing Fang, Feiyan Ding, Bang Huang, Ziyi Wang, Gao Han, Rulan Yang, Lizhao You, Qiao Xiang, Linghe Kong, Yutong Liu, Jiwu Shu
    IEEE INFOCOM, 2024.
    PDF Slides Code

  4. Survey on Network Verification (in Chinese)
    Xing Fang, Bo Hu, Chao Ma, Weiqing Huang
    Journal of Software, 2023.
    PDF

Other Publications

  1. Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation
    Rulan Yang, Gao Han, Hanyang Shao, Xiaoqiang Zheng, Xing Fang, Ziyi Wang, Lizhao You, Ruiting Zhou, Linghe Kong, Ennan Zhai, Qiao Xiang, Jiwu Shu
    USENIX NSDI, 2026.
    PDF

  2. Scalable Simulation-based Configuration Verification of DCNs via Destination-Independent Compression
    Mengrui Zhang, Xiaoqiang Zheng, Letian Zhu, Xing Fang, Lizhao You, Zhang Liu, Ziyang Yao, Yang Wang, Rui Wen, Zhi Zhang, Ronghua Sun, Yuanhui Zhong, Haihua Li, Fei Yuan, Qiao Xiang
    IEEE/ACM IWQoS, 2026.
    PDF

  3. IVeri: A Scalable Privacy-Preserving Interdomain Configuration Verification Tool via Secure Multi-Party Computation
    Mingjun Fang, Yuntao Zhao, Qiuyue Qin, Xing Fang, Huisan Xu, Lizhao You, Qiao Xiang, Linghe Kong, Jiwu Shu
    IEEE/ACM IWQoS, 2025.
    PDF

  4. Rethinking DNS Configuration Verification with a Distributed Architecture
    Yao Wang, Kexin Yu, Ziyi Wang, Kaiqiang Hu, Haizhou Du, Qiao Xiang, Xing Fang, Geng Li, Ruiting Zhou, Linghe Kong, Jiwu Shu
    ACM APNet, 2024.
    PDF

  5. Diagnosing Distributed Routing Configurations Using Sequential Program Analysis
    Rulan Yang, Xing Fang, Lizhao You, Qiao Xiang, Hanyang Shao, Gao Han, Ziyi Wang, Jiwu Shu, Linghe Kong
    ACM APNet, 2023.
    PDF

  6. Toward Privacy-Preserving Interdomain Configuration Verification via Multi-Party Computation
    Huisan Xu, Qiuyue Qin, Xing Fang, Qiao Xiang, Jiwu Shu
    ACM APNet, 2023.
    PDF

Awards

Services

Conference Reviewers


Powered by Jekyll and Minimal Light theme.