Ryan Doenges

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Communication Protocols

Application Layer

Technical Support

Top Venues

Proc. ACM Program. Lang.

Publications

Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel
Foundational Verification of Stateful P4 Packet Processing. ITP (2023)
Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster
P4Cub: A Little Language for Big Routers. CPP (2023)
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Leapfrog: Certified Equivalence for Protocol Parsers. CoRR (2022)
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Leapfrog: certified equivalence for protocol parsers. PLDI (2022)
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. Proc. ACM Program. Lang. 5 (POPL) (2021)
Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster
Composing Dataplane Programs with μP4. SIGCOMM (2020)
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. CoRR (2020)