• Sign in
  • Sign up
conf.researchr.org / Rudy Peterson
  • PLDI 2022 profile
  • POPL 2021 profile
  • POPL 2023 profile
No Photo

Registered user since Thu 30 Nov 2023

Name:Rudy Peterson
Affiliation:Cornell University

Contributions

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

2021

POPL

  • Author of Petr4: Formal Foundations for P4 Data Planes within the POPL-track
Share
xThu 22 May 16:05
using conf.researchr.org (v1.69.0)
Support page
Sign Up