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

  1. 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
    IWQoS, 2025.
    PDF Slides

  2. 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
    IWQoS, 2025.

  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
    INFOCOM, 2024.
    PDF Slides Code

  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
    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
    APNET, 2023.
    PDF

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

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

Awards

Services

Conference Reviewers


Powered by Jekyll and Minimal Light theme.