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

p4v

Published:2018-08-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
language:
Short-container-title:

Author:

Liu Jed¹,Hallahan William²,Schlesinger Cole¹,Sharif Milad¹,Lee Jeongkeun¹,Soulé Robert³,Wang Han¹,Caşcaval Călin¹,McKeown Nick⁴,Foster Nate⁵

Affiliation:

1. Barefoot Networks

2. Yale University

3. University of Lugano, Lugano, Switzerland

4. Stanford University

5. Cornell University

Publisher

ACM

Reference55 articles.

1. Carolyn Jane Anderson Nate Foster Arjun Guha Jean-Baptiste Jean-nin Dexter Kozen Cole Schlesinger and David Walker. 2014. NetKAT: Semantic Foundations for Networks. In POPL. 113--126. 10.1145/2535838.2535862 Carolyn Jane Anderson Nate Foster Arjun Guha Jean-Baptiste Jean-nin Dexter Kozen Cole Schlesinger and David Walker. 2014. NetKAT: Semantic Foundations for Networks. In POPL. 113--126. 10.1145/2535838.2535862

2. Mike Barnett Bor-Yuh Evan Chang Robert Deline Bart Jacobs and K. Rustan M. Leino. 2005. Boogie: A modular Reusable Program Verifier for Object-Oriented Programs. In Formal Methods for Components and Objects. 364--387. 10.1007/11804192_17 Mike Barnett Bor-Yuh Evan Chang Robert Deline Bart Jacobs and K. Rustan M. Leino. 2005. Boogie: A modular Reusable Program Verifier for Object-Oriented Programs. In Formal Methods for Components and Objects. 364--387. 10.1007/11804192_17

3. Ryan Becket Aarti Gupta Ratul Mahajan and David Walker. 2017. A General Approach to Network Configuration Verification. In SIGCOMM. 155--168. 10.1145/3098822.3098834 Ryan Becket Aarti Gupta Ratul Mahajan and David Walker. 2017. A General Approach to Network Configuration Verification. In SIGCOMM. 155--168. 10.1145/3098822.3098834

4. ddNF: An Efficient Data Structure for Header Spaces

5. P4

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

1. Free Facts: An Alternative to Inefficient Axioms in Dafny;Lecture Notes in Computer Science;2024-09-11

2. A Hybrid Testing System on P4 Cloud Gateway;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

3. Towards Functional Verification of eBPF Programs;Proceedings of the SIGCOMM Workshop on eBPF and Kernel Extensions;2024-08-04

4. A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

5. Hermes: Low-Overhead Inter-Switch Coordination in Network-Wide Data Plane Program Deployment;IEEE/ACM Transactions on Networking;2024-08