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

Registered user since Mon 14 Nov 2016

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

Contributions

2025

HOPE

  • Author of Substructural Weakest Preconditions in Fibrations within the HOPE 2025-track

2023

CPP

  • Author of P4Cub: A Little Language for Big Routers within the CPP 2023-track

2022

PLDI

  • 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

2021

POPL

  • Author of Petr4: Formal Foundations for P4 Data Planes within the POPL-track

2017

CoqPL

  • Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track
Share
xSat 25 Oct 08:08
using conf.researchr.org (v1.72.1)
Support page
Sign Up