Not registered as user yet

Name: Samwise Parkinson

Affiliation: Cornell University

Contributions

POPL 2021 Author of Petr4: Formal Foundations for P4 Data Planes within the POPL-track