Publications

Research in networked systems, programmable networks, and verification.

* Corresponding author

2026

  1. Revisiting Preemptive Buffer Management for Modern Datacenter Switch Chips
    Danfeng Shan, Jinchao Ma, Jinyu Wang, Yunguang Li, Yuxuan Li, Zeyu Liang, Zicheng Xu, Hao Li, Zhenxing Zhang, Nan Li, Wanchun Jiang, and Fengyuan Ren
    IEEE Transactions on Computers, 2026
  2. Fast SMT-Based Fault Tolerance Verification for Wide Area Networks
    Ning Kang, Peng Zhang, Hao Li, and Jianyuan Zhang
    In Formal Methods, 2026
  3. AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud
    Ning Kang, Peng Zhang, Jianyuan Zhang, Hao Li, Dan Wang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, and Xiaohong Guan
    In ACM FSE, 2026
  4. REAL: Emulating Control Plane at Simulator’s Cost
    Ze Xia, Hao Li*, Jinyu Fu, Xin Wan, Yihan Dang, Danfeng Shan, Li Chen, and Peng Zhang
    In USENIX NSDI, 2026
  5. Mitigating CPU Frontend for Complex Data Plane Applications
    Yihan Dang, Hao Li*, Ze Xia, Jiajun Luan, and Peng Zhang
    In USENIX NSDI, 2026

2025

  1. Fast and Accurate Software Traffic Shaping With Inter-Flow Batching
    Danfeng Shan, Shihao Hu, Yike Liu, Hao Li, Yazhe Tang, Peng Zhang, Wanchun Jiang, and Fengyuan Ren
    IEEE Transactions on Networking, 2025
  2. A Protocol-Independent in-Network Security Service in the Cloud
    Bin Song, Bin Sun, Qiang Fu, and Hao Li*
    Journal of Network and Computer Applications, 2025
  3. Network Specification Mining With High Fidelity, Scalability, and Readability
    Ning Kang, Peng Zhang, Hao Li, Sisi Wen, Chaoyang Ji, and Yongqiang Yang
    IEEE Transactions on Networking, 2025
  4. S2: A Distributed Configuration Verifier for Hyper-Scale Networks
    Dan Wang, Peng Zhang, Wenbing Sun, Wenkai Li, Xing Feng, Hao Li, Jiawei Chen, Weirong Jiang, and Yongping Tang
    In ACM SIGCOMM, 2025
  5. Efficient Headroom Allocation With Two-Level Flow Control for Lossless Datacenter Networks
    Danfeng Shan, Jinchao Ma, Yunguang Li, Boxuan Hu, Tong Zhang, Yazhe Tang, Hao Li, Jinyu Wang, and Peng Zhang
    IEEE Transactions on Networking, 2025
  6. Occamy: A Preemptive Buffer Management for On-chip Shared-memory Switches
    Danfeng Shan, Yunguang Li, Jinchao Ma, Zhenxing Zhang, Zeyu Liang, Xinyu Wen, Hao Li, Wanchun Jiang, Nan Li, and Fengyuan Ren
    In ACM EuroSys, 2025

2024

  1. FlowShredder: A Protocol-Independent in-Network Security Service in the Cloud
    Bin Song, Bin Sun, Qiang Fu, and Hao Li*
    In ICSOC, 2024
  2. Resource-Aware Intent Compilation for Virtual Private Cloud
    Jia Zhang, Wanyue Cao, Qiang Fu, and Hao Li*
    In IEEE ISCC, 2024

2023

  1. Modular Data Plane Verification for Compositional Networks
    Xu Liu, Peng Zhang, Hao Li, and Wenbing Sun
    In ACM CoNEXT, 2023
  2. Network Specification Mining with High Fidelity and Scalability
    Ning Kang, Peng Zhang, Hao Li, Sisi Wen, Chaoyang Ji, and Yongqiang Yang
    In IEEE ICNP, 2023
  3. Programming Network Stack for Physical Middleboxes and Virtualized Network Functions
    Hao Li, Yihan Dang, Changhao Wu, Guangda Sun, Peng Zhang, Danfeng Shan, Tian Pan, and Chengchen Hu
    IEEE/ACM Transactions on Networking, 2023
  4. Enforcing Fairness in the Traffic Policer among Heterogeneous Congestion Control Algorithms
    Danfeng Shan, Linbing Jiang, Peng Zhang, Wanchun Jiang, Hao Li, and Fengyuan Ren
    IEEE/ACM Transactions on Networking, 2023
  5. Less is More: Dynamic and Shared Headroom Allocation in PFC-enabled Datacenter Networks
    Danfeng Shan, Yuqi Liu, Tong Zhang, Yifan Liu, Yazhe Tang, Hao Li, and Peng Zhang
    In ICDCS, 2023
  6. LemonNFV: Consolidating Heterogeneous Network Functions at Line Speed
    Hao Li, Yihan Dang, Guangda Sun, Guyue Liu, Danfeng Shan, and Peng Zhang
    In USENIX NSDI, 2023
  7. Detecting DGA-based Botnet through Effective Phonics-based Features
    Dan Zhao, Hao Li, Xiuwen Sun, and Yazhe Tang
    Future Generation Computer Systems, 2023
  8. Burst can be Harmless: Achieving Line-rate Software Traffic Shaping by Inter-flow Batching
    Danfeng Shan, Shihao Hu, Yuqi Liu, Wanchun Jiang, Hao Li, Peng Zhang, Yazhe Tang, Huanzhao Wang, and Fengyuan Ren
    In IEEE INFOCOM, 2023

2022

  1. DOLPHIN: Phonics based Detection of DGA Domain Names
    Dan Zhao, Hao Li, Xiuwen Sun, and Yazhe Tang
    In IEEE Globecom, 2022
  2. Compiling Cross-Language Network Programs into Hybrid Data Plane
    Hao Li, Peng Zhang, Guangda Sun, Wanyue Cao, Chengchen Hu, Danfeng Shan, Tian Pan, and Qiang Fu
    IEEE/ACM Transactions on Networking, 2022
  3. Raze Policy Conflicts in SDN
    Yadong Zhou, Hao Li*, Kaiyue Chen, Tian Pan, Kun Qian, Kai Zheng, Bin Liu, Peng Zhang, Yazhe Tang, and Chengchen Hu
    Journal of Network and Computer Applications, 2022
  4. Differential Network Analysis
    Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li
    In USENIX NSDI, 2022

2021

  1. FastUp: Fast TCAM Update for SDN Switches in Datacenter Network
    Ying Wan, Haoyu Song, Hao Che, Yang Xu, Yi Wang, Chuwen Zhang, Zhijun Wang, Tian Pan, Hao Li, Hong Jiang, Chengchen Hu, Zhikang Chen, and Bin Liu
    In IEEE ICDCS, 2021
  2. NB-Cache: Non-Blocking In-Network Caching for High-Performance Content Routers
    Tian Pan, Xingchen Lin, Enge Song, Cheng Xu, Jiao Zhang, Hao Li, Jianhui Lv, Tao Huang, Bin Liu, and Beichuan Zhang
    IEEE/ACM Transactions on Networking, 2021
  3. Programming Network Stack for Middleboxes with Rubik
    Hao Li, Changhao Wu, Guangda Sun, Peng Zhang, Danfeng Shan, Tian Pan, and Chengchen Hu
    In USENIX NSDI, 2021
  4. Towards the Fairness of Traffic Policer
    Danfeng Shan, Peng Zhang, Wanchun Jiang, Hao Li, and Fengyuan Ren
    In IEEE INFOCOM, 2021
  5. Network-Wide Forwarding Anomaly Detection and Localization in Software Defined Networks
    Peng Zhang, Fangzheng Zhang, Shimin Xu, Zuoru Yang, Hao Li*, Qi Li, Huanzhao Wang, Chao Shen, and Chengchen Hu
    IEEE/ACM Transactions on Networking, 2021

2020

  1. A Modular Compiler for Network Programming Languages
    Hao Li, Peng Zhang, Guangda Sun, Chengchen Hu, Danfeng Shan, Tian Pan, and Qiang Fu
    In ACM CoNEXT, 2020
  2. An Intermediate Representation for Network Programming Languages
    Hao Li, Peng Zhang, Guangda Sun, Chengchen Hu, Danfeng Shan, Tian Pan, and Qiang Fu
    In ACM APNet, 2020
  3. Application-Oblivious L7 Parsing Using Recurrent Neural Networks
    Hao Li, Zhengda Bian, Peng Zhang, Zhun Sun, Chengchen Hu, Qiang Fu, Tian Pan, and Jia Lv
    IEEE/ACM Transactions on Networking, 2020
  4. Efficient Regular Expression Matching over Compressed Traffic
    Xiuwen Sun, Hao Li, Dan Zhao, Xingxing Lu, Zheng Peng, and Chengchen Hu
    Computer Networks, 2020
  5. A Scalable Approach to SDN Control Plane Management: High Utilization Comes with Low Latency
    Victoria Huang, Gang Chen, Peng Zhang, Hao Li, Chengchen Hu, Tian Pan, and Qiang Fu
    IEEE Transactions on Network and Service Management, 2020
  6. APKeep: Realtime Verification for Real Networks
    Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, and Hao Li
    In USENIX NSDI, 2020

2019

  1. NB-Cache: Non-Blocking In-Network Caching for High-Speed Content Routers
    Tian Pan, Xingchen Lin, Jiao Zhang, Hao Li, Jianhui Lv, Tao Huang, Bin Liu, and Beichuan Zhang
    In IEEE/ACM IWQoS, 2019
  2. COIN: A Fast Packet Inspection Method over Compressed Traffic
    Xiuwen Sun, Hao Li*, Dan Zhao, Xingxing Lu, Kaiyu Hou, and Chengchen Hu
    Journal of Network and Computer Applications, 2019

2018

  1. DIAL: Distributed Elephant Flow Counting on SDN
    Zheng Peng, Hao Li, and Chengchen Hu
    In IEEE Globecom, 2018
  2. Taming the Wild: A Scalable Anycast-based CDN Architecture (T-SAC)
    Qiang Fu, Bradley Rutter, Hao Li, Peng Zhang, Chengchen Hu, Tian Pan, Zhangqin Huang, and Yibin Hou
    IEEE Journal on Selected Areas in Communications, 2018
  3. FOCES: Detecting forwarding anomalies in software defined networks
    Peng Zhang, Shimin Xu, Zuoru Yang, Hao Li, Qi Li, Huanzhao Wang, and Chengchen Hu
    In IEEE ICDCS, 2018
  4. ShiftRoute: Achieving location privacy for map services on smartphones
    Peng Zhang, Chengchen Hu, Di Chen, Hao Li*, and Qi Li
    IEEE Transactions on Vehicular Technology, 2018
  5. Towards a Fast Regular Expression Matching Method over Compressed Traffic
    Xiuwen Sun, Hao Li*, Xingxing Lu, Dan Zhao, Zheng Peng, and Chengchen Hu
    In IEEE/ACM IWQoS, 2018
  6. CORA: Conflict Razor for Policies in SDN
    Hao Li, Kaiyue Chen, Tian Pan, Yadong Zhou, Kun Qian, Kai Zheng, Bin Liu, Peng Zhang, Yazhe Tang, and Chengchen Hu
    In IEEE INFOCOM, 2018

2017

  1. SoftRing: Taming the Reactive Model for Software Defined Networks
    Chengchen Hu, Kaiyu Hou, Hao Li, Ruilong Wang, Peng Zheng, Peng Zhang, and Huanzhao Wang
    In IEEE ICNP, 2017
  2. Towards a Fast Packet Inspection over Compressed HTTP Traffic
    Xiuwen Sun, Kaiyu Hou, Hao Li, and Chengchen Hu
    In IEEE/ACM IWQoS, 2017

2016

  1. Mind the Gap: Monitoring the Control-Data Plane Consistency in Software Defined Networks
    Peng Zhang, Hao Li, Chengchen Hu, Liujia Hu, Lei Xiong, Ruilong Wang, and Yuemei Zhang
    In ACM CoNEXT, 2016
  2. Modular SDN Compiler Design with Intermediate Representation
    Hao Li, Chengchen Hu, Peng Zhang, and Lei Xie
    In ACM SIGCOMM Poster, 2016
  3. Stick to the Script: Monitoring the Policy Compliance of SDN Data Plane
    Peng Zhang, Hao Li, Chengchen Hu, Liujia Hu, and Lei Xiong
    In ACM/IEEE ANCS, 2016
  4. Deep Semantics Inspection over Big Network Data at Wire Speed
    Chengchen Hu, Hao Li, Yuming Jiang, Yu Cheng, and Poul Heegaard
    IEEE Network Magazine, 2016

2015

  1. Parsing Application Layer Protocol with Commodity Hardware for SDN
    Hao Li, Chengchen Hu, Junkai Hong, Xiyu Chen, and Yuming Jiang
    In ACM/IEEE ANCS, 2015

2014

  1. MP-ROOM: Optimal Matching On Multiple PDUs for Fine-Grained Traffic Identification
    Hao Li and Chengchen Hu
    IEEE Journal on Selected Areas in Communications, 2014

2013

  1. ROOM: Rule Organized Optimal Matching for Fine-Grained Traffic Identification
    Hao Li and Chengchen Hu
    In IEEE INFOCOM, 2013