Petr4: formal foundations for p4 data planes. - Ryan Doenges; Mina Tahmasbi Arashloo; Santiago Bautista; Alexander Chang; Newton Ni; Samwise Parkinson; Rudy Peterson; Alaia Solko-Breslin; Amanda Xu; Nate Foster (Proc. ACM Program. Lang., 2021)

P4Cub: A Little Language for Big Routers. - Rudy Peterson; Eric Hayden Campbell; John Chen; Natalie Isak; Calvin Shyu; Ryan Doenges; Parisa Ataei; Nate Foster (CPP, 2023)