Network can check itself-Reference-Cited by-同舟云学术

Network can check itself

Published:2022-11-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM Workshop on Hot Topics in Networks
language:
Short-container-title:

Author:

Xiang Qiao¹,Wen Ridi¹,Huang Chenyang¹,Wang Yuxin¹,Le Franck²

Affiliation:

1. Xiamen University

2. IBM Research

Funder

NSFC

Alibaba Innovative Research Award

NSF-Fujian-China

Tan Kah Kee Innovation Laboratory Award

National Key R&D Program of China

Open Research Projects of Zhejiang Lab

Future Network Innovation Research Award of Ministry of Education of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3563766.3564095

Reference41 articles.

1. FlowChecker

2. C. J. Anderson , N. Foster , A. Guha , J.-B. Jeannin , D. Kozen , C. Schlesinger , and D. Walker . Netkat: Semantic foundations for networks. Acm sigplan notices, 49(1):113--126 , 2014 . C. J. Anderson, N. Foster, A. Guha, J.-B. Jeannin, D. Kozen, C. Schlesinger, and D. Walker. Netkat: Semantic foundations for networks. Acm sigplan notices, 49(1):113--126, 2014.

3. A. Authors. Coral system functionality demonstration. http://distributeddpvdemo.tech/ 2022. A. Authors. Coral system functionality demonstration. http://distributeddpvdemo.tech/ 2022.

4. Barefoot S9180-32 X Switch . https://www.ufispace.com/uploads/able/files/productfilemanager/000045467d1fc648d792c404372956a0.pdf , 2019 . Barefoot S9180-32X Switch. https://www.ufispace.com/uploads/able/files/productfilemanager/000045467d1fc648d792c404372956a0.pdf, 2019.

5. R. Beckett and A. Gupta . Katra: Realtime verification for multilayer networks . In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) , pages 617 -- 634 , 2022 . R. Beckett and A. Gupta. Katra: Realtime verification for multilayer networks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), pages 617--634, 2022.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Poster: Scaling Data Plane Verification with Throughput-Optimized Atomic Predicates;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09

2. Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09