• Sign in
  • Sign up
conf.researchr.org / Amanda Xu
  • PLDI 2022 profile
  • POPL 2021 profile

Registered user since Sat 7 Nov 2020

Name:Amanda Xu
Affiliation:Cornell University

Contributions

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
xWed 4 Oct 21:45
using conf.researchr.org (v1.61.3)
Support page
Sign Up