Registered user since Fri 5 Feb 2016
Name:David Walker
Country:United States
Affiliation:Princeton University
Personal website:http://www.cs.princeton.edu/~dpw/
Research interests:Programming Languages, Networking, Type Systems, Semantics
Contributions
| PLDI 2023 | Modular Control Plane Verification via Temporal Invariants | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile