Registered user since Sat 7 Nov 2020
Name:Amanda Xu
Affiliation:Cornell University
Contributions
PLDI 2022 | (POPL 2021) Petr4: Formal Foundations for P4 Data Planes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Registered user since Sat 7 Nov 2020
Contributions
PLDI 2022 | (POPL 2021) Petr4: Formal Foundations for P4 Data Planes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |