发表论文

  1. Dan Wang, Peng Zhang, and Aaron Gember-Jacobson, Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation, Proceedings of ACM SIGCOMM'24 (CCF A)

  2. Xu Liu, Peng Zhang, Hao Li, and Wenbing Sun, Modular Data Plane Verification for Compositional Networks, Proceedings of ACM CoNEXT'23

  3. Ning Kang, Peng Zhang, Hao Li, Sisi Wen, Chaoyang Ji, and Yongqiang Yang, Network Specification Mining with High Fidelity and Scalability, Proceedings of IEEE ICNP'23

  4. Hao Li, Yihan Dang, Changhao Wu, Guangda Sun, Peng Zhang, Danfeng Shan, Tian Pan, and Chengchen Hu, Programming Network Stack for Physical Middleboxes and Virtualized Network Functions, IEEE/ACM Transactions on Networking (CCF A), 2023

  5. Danfeng Shan, Linbing Jiang, Peng Zhang+, Wanchun Jiang, Hao Li, and Fengyuan Ren, Enforcing Fairness in the Traffic Policer among Heterogeneous Congestion Control Algorithms, IEEE/ACM Transactions on Networking (CCF A), 2023

  6. Danfeng Shan, Yuqi Liu, Tong Zhang, Yifan Liu, Yazhe Tang, Hao Li, and Peng Zhang, Less is More: Dynamic and Shared Headroom Allocation in PFC-enabled Datacenter Networks, Proceedings of IEEE ICDCS'23

  7. Danfeng Shan, Shihao Hu, Yuqi Liu, Wanchun Jiang, Hao Li, Peng Zhang+, Yazhe Tang, Huanzhao Wang, and Fengyuan Ren, Burst can be Harmless: Achieving Line-rate Software Traffic Shaping by Inter-flow Batching, Proceedings of IEEE INFOCOM'23 (CCF A)

  8. Yadong Zhou, Hao Li, Kaiyue Chen, Tian Pan, Kun Qian, Kai Zheng, Bin Liu, Peng Zhang, Yazhe Tang, and Chengchen Hu, Raze policy conflicts in SDN, Journal of Network and Computer Applications, 2023

  9. Hao Li, Yihan Dang, Guangda Sun, Guyue Liu, Danfeng Shan, and Peng Zhang+, LemonNFV: Consolidating Heterogeneous Network Functions at Line Speed, Proceedings of USENIX NSDI'23 (CCF A)

  10. Peng Zhang, Dan Wang, Aaron Gember-Jacobson, Symbolic Router Execution, Proceedings of ACM SIGCOMM'22 (CCF A)

  11. Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li, Differential Network Analysis, Proceedings of USENIX NSDI'22 (CCF A)

  12. Danfeng Shan, Peng Zhang, Wanchun Jiang, Hao Li, and Fengyuan Ren, Towards the Fairness of Traffic Policer, Proceedings of IEEE INFOCOM'21 (CCF A)

  13. Qi Li, Yunpeng Liu, Zhuotao Liu, Peng Zhang, and Chunhui Pang, Efficient Forwarding Anomaly Detection in Software-Defined Networks, IEEE Transactions on Parallel and Distributed Systems, 2021 (CCF A)

  14. Hao Li, Peng Zhang+, Guangda Sun, Wangyue Cao, Chengchen Hu, Danfeng Shan, Tian Pan, and Qiang Fu, Compiling Cross-Language Network Programs into Hybrid Data Plan, IEEE/ACM Transactions on Networking, 2021 (CCF A)

  15. Hao Li, Changhao Wu, Guangda Sun, Peng Zhang, Danfeng Shan, Tian Pan, and Chengchen Hu, Programming Network Stack for Middleboxes with Rubik, Proceedings of USENIX NSDI'21 (CCF A)

  16. Peng Zhang, Fangzheng Zhang, Shimin Xu, Zuoru Yang, Hao Li, Qi Li, Huanzhao Wang, Chao Shen, and Chengchen Hu, Network-Wide Forwarding Anomaly Detection and Localization in Software Defined Networks, IEEE/ACM Transactions on Networking, 2021 (CCF A)

  17. Hao Li, Peng Zhang+, Guangda Sun, Chengchen Hu, Danfeng Shan, Tian Pan, and Qiang Fu, A Modular Compiler for Network Programming Languages, Proceedings of ACM CoNEXT'20

  18. Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, and Zhiqiang Zuo, Incremental Network Configuration Verification, Proceedings of ACM HotNets'20

  19. Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, and Hao Li, APKeep: Realtime Verification for Real Networks, Proceedings of USENIX NSDI'20 (CCF A)

  20. Hao Li, Peng Zhang, Guangda Sun, Chengchen Hu, Danfeng Shan, Tian Pan, and Qiang Fu, An Intermediate Representation for Network Programming Languages, Proceedings of APNet'20

  21. Peng Zhang, Hui Wu, Dan Zhang, and Qi Li, Verifying Rule Enforcement in Software Defined Networks with REV, IEEE/ACM Transactions on Networking, 2020 (CCF A)

  22. Victoria Huang, Gang Chen, Peng Zhang, Hao Li, Chengchen Hu, Tian Pan, and Qiang Fu, A Scalable Approach to SDN Control Plane Management: High Utilization Comes with Low Latency, IEEE Transactions on Network and Service Management, 2020

  23. Peng Zhang, Cheng Zhang, and Chengchen Hu, Fast Data Plane Testing for Software Defined Networks with RuleChecker, IEEE/ACM Transactions on Networking, 2019 (CCF A)

  24. Pinghui Wang, Xiangyu Wang, Jing Tao, Peng Zhang, and Xiaohong Guan, Continuously Distinct Sampling over Centralized and Distributed High Speed Data Streams, IEEE Transactions on Parallel and Distributed Systems, 2019 (CCF A)

  25. Qiang Fu, Bradley Rutter, Hao Li, Peng Zhang, Chengchen Hu, Tian Pan, Zhangqin Huang, and Yibin Hou, Taming the Wild: a Scalable Anycast-based CDN Architecture (T-SAC), IEEE Journal on Selected Areas in Communication, 2018 (CCF A)

  26. Peng Zhang, Shimin Xu, Zuoru Yang, Hao Li, Qi Li, Huanzhao Wang, and Chengchen Hu, FOCES: Detecting Forwarding Anomalies in Software Defined Networks, Proceedings of IEEE ICDCS'18

  27. Hao Li, Kaiyue Chen, Tian Pan, Yadong Zhou, Kun Qian, Kai Zheng, Bin Liu, Peng Zhang, Yazhe Tang, and Chengchen Hu, CORA: Conflict Razor for Policies in SDN, Proceedings of IEEE INFOCOM'18 (CCF A)

  28. Yadong Zhou, Ximi Wang, Junjie Zhang, Peng Zhang, Lili Liu, Huan Jin, and Hongbo Jin, Analyzing and Detecting Money Laundering Accounts in Online Social Networks, IEEE Network Magazine, 2018

  29. Peng Zhang, Chengchen Hu, Di Chen, Hao Li, and Qi Li, ShiftRoute: Achieving Location Privacy for Map Services on Smartphones, IEEE Transactions on Vehicular Technology, 2018

  30. Peng Zhang, Cheng Zhang, and Chengchen Hu, Fast Testing Network Data Plane with RuleChecker, Proceedings of IEEE ICNP'17

  31. Chengchen Hu, Kaiyu Hou, Hao Li, Ruilong Wang, Peng Zheng, Peng Zhang, and Huanzhao Wang, SoftRing: Taming the Reactive Model for Software Defined Networks, Proceedings of IEEE ICNP'17

  32. Peng Zhang, Qi Li, and Patrick P. C. Lee, Achieving Content-Oriented Anonymity with CRISP, IEEE Transactions on Dependable and Secure Computing, 2017 (CCF A)

  33. Qi Li, Patrick P. C. Lee, Peng Zhang, Purui Su, Liang He, and Kui Ren, Capability-Based Security Enforcement in Named Data Networking, IEEE/ACM Transactions on Networking, 2017 (CCF A)

  34. Jiamin Liu, Peng Zhang, Huanzhao Wang, and Chengchen Hu, CounterMap: Towards Generic Traffic Statistics Collection and Query in Software Defined Network, Proceedings of IEEE IWQoS'17

  35. Peng Zhang, Towards Rule Enforcement Verification for Software Defined Networks, Proceedings of IEEE INFOCOM'17 (CCF A)

  36. Peng Zhang, Hao Li, Chengchen Hu, Liujia Hu, Lei Xiong, Ruilong Wang, and Yuemei Zhang, Mind the Gap: Monitoring the Control-Data Plane Consistency in Software Defined Networks, Proceedings of ACM CoNEXT'16

  37. Peng Zhang, Hao Li, Chengchen Hu, Liujia Hu, and Lei Xiong, Stick to The Script: Monitoring The Policy Compliance of SDN Data Plane, Proceedings of ACM/IEEE ANCS'16

  38. Peng Zhang, Huanzhao Wang, Chengchen Hu, and Chuang Lin, On Denial of Service Attacks in Software Defined Networks, IEEE Network Magazine, 2016

  39. Hao Li, Chengchen Hu, Peng Zhang, Lei Xie, Modular SDN Compiler Design with Intermediate Representation, Poster Session of ACM SIGCOMM'16

  40. Ji Yang, Chengchen Hu, Peng Zheng, Ruilong Wang, Peng Zhang, Xiaohong Guan, Rethinking the Design of OpenFlow Switch Counters, Poster Session of ACM SIGCOMM'16

  41. Peng Zhang, Chuang Lin, Yixin Jiang, Yanfei Fan, and Xuemin (Sherman) Shen, A Lightweight Encryption Scheme for Network-Coded Mobile Ad Hoc Networks, IEEE Transactions on Parallel and Distributed Systems, 2014 (CCF A)

  42. Peng Zhang, Chuang Lin, Yixin Jiang, Patrick P.C. Lee, and John C.S. Lui, ANOC: Anonymous Network-Coding-Based Communication with Efficient Cooperation, IEEE Journal on Selected Areas in Communication, 2012 (CCF A)

  43. Peng Zhang, Yixin Jiang, Chuang Lin, Hongyi Yao, Albert Wasef, and Xuemin (Sherman) Shen, Padding for Orthogonality: Efficient Subspace Authentication for Network Coding, Proceedings of IEEE INFOCOM'11 (CCF A)

  44. Peng Zhang, Yixin Jiang, Chuang Lin, Yanfei Fan, and Xuemin (Sherman) Shen, P-Coding: Secure Network Coding against Eavesdropping Attacks, Proceedings of IEEE INFOCOM'10 (CCF A)