FMANO@SIGCOMM

Publications

2024

Zixi Cui, Saifeng Hou, Le Tian, Yu Wang, Xiaoyu Yi, Yongjie Wang, Peng Yi, Hongchang Chen
P4-Ace: Resource-Efficient Optimization and Verification for Programmable Switches. FMANO@SIGCOMM (2024)
Gao Han, Hanyang Shao, Ruiqin Duan, Changqi Zhuang, Qiao Xiang
ConfigHub: A Network Configuration Sharing Platform. FMANO@SIGCOMM (2024)
Siyu Han, Shuo Wang, Chiliang Zhong, Dong Zhou, Tao Huang, Liang Wei, Chaohong Tan
Openlab: A One-Stop Service Platform for Software-Defined Networks Emulation. FMANO@SIGCOMM (2024)
Chenan Wen, Zhuocong Li, Syed Usman Jafri, Xiaokang Qiu, Sanjay G. Rao
P4CGO: Control Plane Guided P4 Program Optimization. FMANO@SIGCOMM (2024)
Lin Shen, Yang Wang, Lizhao You, Haihua Li, Wei Song, Ziyang Yao, Zhou Yuan, Feng Dong, Ronghua Sun
A Lightweight and Fast Network Verification Platform for Cloud Data Center Networks. FMANO@SIGCOMM (2024)
Ziyi Wang, Letian Zhu, Zhenghao Su, Qiao Xiang
DNS Misconfigurations Diagnosis and Repair. FMANO@SIGCOMM (2024)
Ying Yao, Zixi Cui, Le Tian, Menglong Li, Fan Pan, Yuxiang Hu
Scaver: A Scalable Verification System for Programmable Network. FMANO@SIGCOMM (2024)
Xin Yang, Enge Song, Fuliang Li, Wanli Cao, Tian Pan, Yang Song, Ye Yang, Yongwang Wu, Jianyuan Lu, Bowen Yang, Xing Li, Biao Lyu, Rong Wen, Xingwei Wang, Shunmin Zhu
A Hybrid Testing System on P4 Cloud Gateway. FMANO@SIGCOMM (2024)
Tianyi Kou, Haifeng Sun, Zirui Zhuang, Qi Qi, Jingyu Wang, Jianxin Liao
Accelerating ACL Configuration Update through Data Plane Analysis. FMANO@SIGCOMM (2024)
Haoxian Chen
Interpretable Network Synthesis via Localized Specifications. FMANO@SIGCOMM (2024)
Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation, FMANO 2024, Sydney, NSW, Australia, August 4-8, 2024 FMANO@SIGCOMM (2024)
Kaiqiang Hu, Haizhou Du, Yao Wang
Heracles: A Novel State-based Distributed Verification Framework for DNS Configurations. FMANO@SIGCOMM (2024)