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

PADL 2023 SwitchLog: A Logic Programming Language for Network Switches
POPL 2023 Committee Member in Program Committee within the POPL-track
Show activities from other conferences

POPL 2023-profile
View general profile