• Sign in
  • Sign up
conf.researchr.org / Ryan Doenges
  • PLDI 2022 profile
  • POPL 2017 profile
  • POPL 2021 profile
Ryan Doenges

Registered user since Mon 14 Nov 2016

Name:Ryan Doenges
Bio:

Cornell PhD student

Country:United States
Affiliation:Cornell University
Personal website:http://ryandoeng.es/
Research interests:verification, networking, distributed systems

Contributions

PLDI 2022 Author of (POPL 2021) Petr4: Formal Foundations for P4 Data Planes within the SIGPLAN Track-track
Author of Leapfrog: Certified Equivalence for Protocol Parsers within the PLDI-track
POPL 2021 Author of Petr4: Formal Foundations for P4 Data Planes within the POPL-track
CoqPL 2017 Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track

Share
xSat 13 Aug 05:30
using conf.researchr.org (v1.56.0)
Support page
Sign Up