David Walker -

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	Author of SwitchLog: A Logic Programming Language for Network Switches within the PADL 2023-track
SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
POPL 2023	Committee Member in Program Committee within the POPL-track
PLDI 2022	Author of (POPL 2022) Safe, Modular Packet Pipeline Programming within the SIGPLAN Track-track
POPL 2022	Author of Safe, Modular Packet Pipeline Programming within the POPL-track
SPLASH 2021	Author of Data-Driven Inference of Representation Invariants within the SIGPLAN Papers-track Co-chair in Program Committe within the CARES-track Committee Member in External Review Committee within the OOPSLA-track
ICFP 2021	Author of ProbNV: Probabilistic Verification of Network Control Planes within the Research Papers-track
POPL 2021	Presenter of SIGPLAN CARES within the POPL-track Presenter of SIGPLAN CARES within the POPL-track
ICFP 2020	Author of LGBTQ Meetup within the Social Events-track Author of SIGPLAN CARES within the Social Events-track Author of SIGPLAN CARES within the Social Events-track
PLDI 2020	Author of Data-Driven Inference of Representation Invariants within the PLDI Research Papers-track Author of NV: An Intermediate Language for Verification of Network Control Planes within the PLDI Research Papers-track
POPL 2020	Industrial Relations Co-Chair in Organizing Committee Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track
ICFP 2019	Author of Synthesizing Symmetric Lenses within the Research Papers-track
ESOP 2019	Committee Member in Program Committee within the ESOP 2019-track
POPL 2019	Session Chair of Security and Information Flow (part of Research Papers) Industrial Relations Chair in Organizing Committee Committee Member in Steering Committee
PLMW 2018	Author of Panel I: Technical Trends in Programming Languages Research within the PLMW-track Committee Member in Panelists within the PLMW-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track Author of Synthesizing Bijective Lenses within the Research Papers-track Industrial Relations Chair in Organizing Committee Author of Synthesizing Bijective Lenses within the Artifact Evaluation-track Committee Member in Steering Committee
NetPL 2018	Panelist of Panel within the NetPL 2018-track
PLDI 2017	Committee Member in External Review Committee Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track
POPL 2017	Committee Member in Steering Committee Industrial Relations Chair in Organizing Committee
ICFP 2016	Committee Member in Program Committee within the Research Papers-track
PLDI 2016	Committee Member in External Program Committee Author of Temporal NetKAT within the Research Papers-track Committee Member in External Program Committee Session Chair of Types I (part of Research Papers)
POPL 2016	Author of Confluences in Programming Languages Research within the Invited Speakers-track Author of Example-Directed Synthesis: A Type-Theoretic Interpretation within the Research Papers-track Committee Member in Steering Committee Session Chair of Track 1: Language Design (part of Research Papers)