avatar

Xing Fang (方星)

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


About Me

I am a 2nd-year PhD student at Xiamen University’s SNGroup, under the guidance of Professor Qiao Xiang. 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 interest focuses on the computer network and formal methods, aiming to ensure that the computer network operates as intended.

Recently, I have been trying to develop an innovative technique to accelerate control plane verification. Besides, I am also highly interested in exploring new techniques of network error diagnosis and repair and privacy-preserving network verification.

News

Publications

  1. 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

  2. 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

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

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

Services

Conference Reviewers


Powered by Jekyll and Minimal Light theme.