Flash-Reference-Cited by-同舟云学术

Flash

Published:2022-08-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM SIGCOMM 2022 Conference
language:
Short-container-title:

Author:

Guo Dong¹,Chen Shenshen¹,Gao Kai²,Xiang Qiao³,Zhang Ying⁴,Yang Y. Richard⁵

Affiliation:

1. Tongji University

2. Sichuan University

3. Xiamen University

4. Meta Inc.

5. Yale University

Funder

Facebook Systems Networking Award

Ministry of Education of China

NSFC

Tan Kah Kee Innovation Laboratory Award

Alibaba Innovative Research Award

Open Research Project of Zhejiang Lab

Publisher

ACM

Link

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

Reference68 articles.

1. Pavan Gumaste . Amazon AWS outage , 2020 . URL https://www.whizlabs.com/blog/amazon-aws-outage/. Pavan Gumaste. Amazon AWS outage, 2020. URL https://www.whizlabs.com/blog/amazon-aws-outage/.

2. Jay Peters . Prolonged AWS outage takes down a big chunk of the internet , 2020 . URL https://www.theverge.com/2020/11/25/21719396/amazon-web-services-aws-outage-down-internet. Jay Peters. Prolonged AWS outage takes down a big chunk of the internet, 2020. URL https://www.theverge.com/2020/11/25/21719396/amazon-web-services-aws-outage-down-internet.

3. Alex Hern . Google Suffers Global Outage with Gmail , YouTube and Majority of Services Affected , 2020 . URL https://www.theguardian.com/technology/2020/dec/14/google-suffers-worldwide-outage-with-gmail-youtube-and-other-services-down. Alex Hern. Google Suffers Global Outage with Gmail, YouTube and Majority of Services Affected, 2020. URL https://www.theguardian.com/technology/2020/dec/14/google-suffers-worldwide-outage-with-gmail-youtube-and-other-services-down.

4. Scalable verification of border gateway protocol configurations with an SMT solver

5. A General Approach to Network Configuration Verification

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

1. Accelerating ACL Configuration Update through Data Plane Analysis;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

2. Scaling Data Plane Verification via Parallelization;Proceedings of the 8th Asia-Pacific Workshop on Networking;2024-08-03

3. Specifying and Verifying a Real-World Packet Error-Correction System;Lecture Notes in Computer Science;2024

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

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