Hydra: Effective Runtime Network Verification-Reference-Cited by-同舟云学术

Hydra: Effective Runtime Network Verification

Published:2023-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM SIGCOMM 2023 Conference
language:
Short-container-title:

Author:

Renganathan Sundararajan¹^ORCID,Rubin Benny²^ORCID,Kim Hyojoon³^ORCID,Ventre Pier Luigi⁴^ORCID,Cascone Carmelo⁵^ORCID,Moro Daniele⁶^ORCID,Chan Charles⁷^ORCID,McKeown Nick⁸^ORCID,Foster Nate²^ORCID

Affiliation:

1. Stanford University, Stanford, CA, United States of America

2. Cornell University, Ithaca, NY, United States of America

3. Princeton University, Princeton, NJ, United States of America

4. Intel, Rome, Italy

5. Intel, Stanta Clara, CA, USA

6. Intel, Pordenone, Italy

7. Intel, Santa Clara, CA, USA

8. Stanford University, Stanford, CA, USA

Funder

Office of Naval Research

National Science Foundation

Defense Advanced Research Projects Agency

Publisher

ACM

Link

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

Reference57 articles.

1. Mohammad Al-Fares , Sivasankar Radhakrishnan , Barath Raghavan , Nelson Huang , and Amin Vahdat . Hedera : Dynamic flow scheduling for data center networks . In USENIX Symposium on Networked Systems Design and Implementation (NSDI) , page 19 , 2010 . Mohammad Al-Fares, Sivasankar Radhakrishnan, Barath Raghavan, Nelson Huang, and Amin Vahdat. Hedera: Dynamic flow scheduling for data center networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), page 19, 2010.

2. Kinan Dak Albab , Jonathan DiLorenzo , Stefan Heule , Ali Kheradmand , Steffen Smolka , Konstantin Weitz , Muhammad Timarzi , Jiaqi Gao , and Minlan Yu . SwitchV: automated SDN switch validation with P4 models . In ACM Special Interest Group on Data Communication (SIGCOMM), pages 365 -- 379 , 2022 . Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, and Minlan Yu. SwitchV: automated SDN switch validation with P4 models. In ACM Special Interest Group on Data Communication (SIGCOMM), pages 365--379, 2022.

3. Mohammad Alizadeh , Tom Edsall , Sarang Dharmapurikar , Ramanan Vaidyanathan , Kevin Chu , Andy Fingerhut , Vinh The Lam , Francis Matus, Rong Pan, Navindra Yadav, and George Varghese. Conga: Distributed congestion-aware load balancing for datacenters . In ACM Special Interest Group on Data Communications (SIGCOMM), page 503 -- 514 , 2014 . Mohammad Alizadeh, Tom Edsall, Sarang Dharmapurikar, Ramanan Vaidyanathan, Kevin Chu, Andy Fingerhut, Vinh The Lam, Francis Matus, Rong Pan, Navindra Yadav, and George Varghese. Conga: Distributed congestion-aware load balancing for datacenters. In ACM Special Interest Group on Data Communications (SIGCOMM), page 503--514, 2014.

4. Carolyn Jane Anderson , Nate Foster , Arjun Guha , Jean-Baptiste Jeannin , Dexter Kozen , Cole Schlesinger , and David Walker . NetKAT : Semantic foundations for networks . In ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages , pages 113 -- 126 , 2014 . Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. NetKAT: Semantic foundations for networks. In ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 113--126, 2014.

5. Manikandan Arumugam , Deepak Bansal , Navdeep Bhatia , James Boerner , Simon Capper , Changhoon Kim , Sarah McClure , Neeraj Motwani , Ranga Narasimhan , Urvish Panchal , Tommaso Pimpo , Ariff Premji , Pranjal Shrivastava , and Rishabh Tewari . Bluebird : High-performance SDN for bare-metal cloud services . In USENIX Symposium on Networked Systems Design and Implementation (NSDI) , pages 355 -- 370 , 2022 . Manikandan Arumugam, Deepak Bansal, Navdeep Bhatia, James Boerner, Simon Capper, Changhoon Kim, Sarah McClure, Neeraj Motwani, Ranga Narasimhan, Urvish Panchal, Tommaso Pimpo, Ariff Premji, Pranjal Shrivastava, and Rishabh Tewari. Bluebird: High-performance SDN for bare-metal cloud services. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 355--370, 2022.