Composing Dataplane Programs with μP4. - Hardik Soni 001; Myriana Rifai; Praveen Kumar 003; Ryan Doenges; Nate Foster (SIGCOMM, 2020)

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)

Leapfrog: certified equivalence for protocol parsers. - Ryan Doenges; Tobias Kappé; John Sarracino; Nate Foster; Greg Morrisett (PLDI, 2022)

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)

Foundational Verification of Stateful P4 Packet Processing. - Qinshi Wang; Mengying Pan; Shengyi Wang; Ryan Doenges; Lennart Beringer; Andrew W. Appel (ITP, 2023)