Publications

P4Cub: A Little Language for Big Routers

Published in CPP 2023, 2023

P4Cub is a new intermediate representation (IR) for the P4 programming language.

Recommended citation: Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, and Nate Foster. 2023. P4Cub: A Little Language for Big Routers. In Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2023). Association for Computing Machinery, New York, NY, USA, 303–319. https://doi.org/10.1145/3573105.3575670 http://rudynicolop.github.io/files/p4cub.pdf

Petr4: formal foundations for p4 data planes

Published in POPL 2021, 2021

This paper presents a new framework, called Petr4, that puts P4 on a solid foundation.

Recommended citation: Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster. 2021. Petr4: formal foundations for p4 data planes. Proc. ACM Program. Lang. 5, POPL, Article 41 (January 2021), 32 pages. http://rudynicolop.github.io/files/petr4.pdf