
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
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
View general profile