Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster. Petr4: formal foundations for p4 data planes. Proceedings of the ACM on Programming Languages, 5(POPL):1-32, 2021. [doi]
Abstract is missing.