default search action

combined dblp search
author search
venue search
publication search

ask others

FMANO@SIGCOMM 2024: Sydney, NSW, Australia

> Home > Conferences and Workshops > FMANO
> Home > Conferences and Workshops > SIGCOMM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fmano/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/2024
Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation, FMANO 2024, Sydney, NSW, Australia, August 4-8, 2024. ACM 2024, ISBN 979-8-4007-0714-8
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/WenLJQR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/WenLJQR24
Chenan Wen, Zhuocong Li, Syed Usman Jafri, Xiaokang Qiu, Sanjay G. Rao:
P4CGO: Control Plane Guided P4 Program Optimization.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/CuiHTWYW0C24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/CuiHTWYW0C24
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.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/YaoCTLPH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/YaoCTLPH24
Ying Yao, Zixi Cui, Le Tian, Menglong Li, Fan Pan, Yuxiang Hu:
Scaver: A Scalable Verification System for Programmable Network.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/ShenWYLSYYDS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/ShenWYLSYYDS24
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.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/HuDW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/HuDW24
Kaiqiang Hu, Haizhou Du, Yao Wang:
Heracles: A Novel State-based Distributed Verification Framework for DNS Configurations.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/HanSDZX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/HanSDZX24
Gao Han, Hanyang Shao, Ruiqin Duan, Changqi Zhuang, Qiao Xiang:
ConfigHub: A Network Configuration Sharing Platform.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/YangSLC0SYWLYLL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/YangSLC0SYWLYLL24
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.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/Han0ZZHWT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/Han0ZZHWT24
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.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/Kou0ZQ0L24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/Kou0ZQ0L24
Tianyi Kou, Haifeng Sun, Zirui Zhuang, Qi Qi, Jingyu Wang, Jianxin Liao:
Accelerating ACL Configuration Update through Data Plane Analysis.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/Chen24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/Chen24
Haoxian Chen:
Interpretable Network Synthesis via Localized Specifications.
- view
  authority control:
- export record
  dblp key:
  - conf/fmano/WangZSX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmano/WangZSX24
Ziyi Wang, Letian Zhu, Zhenghao Su, Qiao Xiang:
DNS Misconfigurations Diagnosis and Repair.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.