David Walker

Registered user since Fri 5 Feb 2016

Name:David Walker
Country:United States
Affiliation:Princeton University
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