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

p4pktgen

Published:2018-03-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Symposium on SDN Research
language:
Short-container-title:

Author:

Nötzli Andres¹,Khan Jehandad²,Fingerhut Andy³,Barrett Clark¹,Athanas Peter²

Affiliation:

1. Stanford University

2. Virginia Tech

3. Cisco Systems

Publisher

ACM

Link

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

Reference25 articles.

1. Clark Barrett Christopher L Conway Morgan Deters Liana Hadarean Dejan Jovanović Tim King Andrew Reynolds and Cesare Tinelli. 2011. CVC4. In CAV. Clark Barrett Christopher L Conway Morgan Deters Liana Hadarean Dejan Jovanović Tim King Andrew Reynolds and Cesare Tinelli. 2011. CVC4. In CAV.

2. Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org. (2016). Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org. (2016).

3. Pat Bosshart Dan Daly Glen Gibb Martin Izzard Nick McKeown Jennifer Rexford Cole Schlesinger Dan Talayco Amin Vahdat George Varghese etal 2014. P4: Programming protocol-independent packet processors. SIGCOMM (2014). 10.1145/2656877.2656890 Pat Bosshart Dan Daly Glen Gibb Martin Izzard Nick McKeown Jennifer Rexford Cole Schlesinger Dan Talayco Amin Vahdat George Varghese et al. 2014. P4: Programming protocol-independent packet processors. SIGCOMM (2014). 10.1145/2656877.2656890

4. Marco Canini Daniele Venzano Peter Peresini Dejan Kostic and Jennifer Rexford. 2012. A NICE way to test OpenFlow applications. In NSDI. Marco Canini Daniele Venzano Peter Peresini Dejan Kostic and Jennifer Rexford. 2012. A NICE way to test OpenFlow applications. In NSDI.

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

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

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

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

4. Anomaly Detection in In-Network Fast ReRoute Systems;2024 IFIP Networking Conference (IFIP Networking);2024-06-03

5. HOL4P4: Mechanized Small-Step Semantics for P4;Proceedings of the ACM on Programming Languages;2024-04-29