conf.researchr.org / Amanda Xu
Registered user since Sat 7 Nov 2020
Name:Amanda Xu
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 |