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.”
- Office: Room 428I, 245 Beacon St, Boston College
- BC Email: doengesr@bc.edu
- Email: me@ryandoeng.es
Papers
-
Foundational Verification of Stateful P4 Packet Processing.
[ doi
]
ITP 2023. Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer and Andrew W. Appel. -
P4Cub: A Little Language for Big Routers.
[ doi
]
CPP 2023. Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, and Nate Foster. -
Leapfrog: Certified Equivalence for Protocol Parsers.
[ doi
| arxiv (+proofs)
]
PLDI 2022. Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett. -
Petr4: Formal Foundations for P4 Data Planes.
[ doi
| arxiv (+proofs)
]
POPL 2021. Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster. -
Composing Dataplane Programs with μP4.
[ doi
]
SIGCOMM 2020. Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, and Nate Foster.
Extended Abstracts
-
Specifying ABIs with Realizability and Type-Preserving
Compilation
[ abstract
]
PriSC 2026. Brianna Marshall, Ryan Doenges, Owen Duckham, Ari Prakash, Maxime Legoupil, Elan Semenova, Lars Birkedal, and Amal Ahmed. -
Substructural Weakest Preconditions in Fibrations.
[ abstract
]
HOPE 2025. John M. Li, Pedro H. Azevedo de Amorim, and Ryan Doenges. -
Verification of Implementations of Distributed Systems Under Churn.
[ abstract ]
CoqPL 2017. Ryan Doenges, James R. Wilcox, Doug Woos, Zachary Tatlock, and Karl Palmskog.
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