What Appears Suboptimal May Surprise You: A Fixed-Rate Scheduling Policy for Geo-Distributed CoFlows. - Haoyu Liu; Feiyan Ding; Yao Wang 022; Qiao Xiang; Jiwu Shu; Haizhou Du; Linghe Kong; Xue Liu 001 (ICPADS, 2023)

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)