Ryan Doenges

According to our database, Ryan Doenges authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Foundational Verification of Stateful P4 Packet Processing.

Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

P4Cub: A Little Language for Big Routers.

Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Leapfrog: certified equivalence for protocol parsers.

Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

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

2020

Composing Dataplane Programs with μP4.

Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020