I am a postdoc at Boston College working with Aaron Stump. Previously I have been a Distinguished Postdoctoral Fellow at Northeastern working with Amal Ahmed, a PhD student with Nate Foster, and an undergrad with Zach Tatlock.
My last name sounds like “DEN-jis” when I say it out loud. My full name is an anagram of “try heron agendas.”
Contact
- Room 408I, 245 Beacon St, Boston College
- doengesr@bc.edu
- me@ryandoeng.es
Papers
-
Substructural Weakest Preconditions in Fibrations.
[ abstract
]
John M. Li, Pedro H. Azevedo de Amorim, and Ryan Doenges. In HOPE 2025. -
Foundational Verification of Stateful P4 Packet Processing.
[ doi
]
Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer and Andrew W. Appel. In ITP 2023. -
P4Cub: A Little Language for Big Routers.
[ doi
]
Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, and Nate Foster. In CPP 2023. -
Leapfrog: Certified Equivalence for Protocol Parsers.
[ doi
| arxiv (+proofs)
]
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett. In PLDI 2022. -
Petr4: Formal Foundations for P4 Data Planes.
[ doi
| arxiv (+proofs)
]
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster. In POPL 2021. -
Composing Dataplane Programs with μP4.
[ doi
]
Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, and Nate Foster. In SIGCOMM 2020. -
Verification of Implementations of Distributed Systems Under Churn.
[ sigplan copy ]
Ryan Doenges, James R. Wilcox, Doug Woos, Zachary Tatlock, and Karl Palmskog. In CoqPL Workshop 2017.
Students
- Tia Vu: Cornell (MS) ⟶ MIT (PhD)
- Rudy Peterson: Cornell (BA) ⟶ ETH Zürich (PhD)
- Amanda Xu: Cornell (BS) ⟶ UW Madison (PhD)
- Samwise Parkinson
- Alex Chang
- Newton Ni
- Alaia Solko-Breslin
- Calvin Shyu
Reviewing
- External reviewer, ESOP 2026
- Subreviewer, LICS 2025
- Artifact evaluation committee, ESOP/FASE/FoSSaCS 2024
- External reviewer, CSL 2024
- External reviewer, CPP 2024