Registered user since Mon 14 Nov 2016
Name: Ryan Doenges
Bio: Cornell PhD student
Country: United States
Affiliation: Cornell University
Personal website: http://ryandoeng.es/
Research interests: verification, networking, distributed systems
Contributions
| POPL 2021 | Author of Petr4: Formal Foundations for P4 Data Planes within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile