conf.researchr.org / Rudy Peterson
Not registered as user yet
Name:Rudy Peterson
Affiliation:Cornell University
Contributions
| PLDI 2022 | Author of (POPL 2021) Petr4: Formal Foundations for P4 Data Planes within the SIGPLAN Track-track |
| POPL 2021 | Author of Petr4: Formal Foundations for P4 Data Planes within the POPL-track |