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

POPL 2020Industrial Relations Co-Chair in Organizing Committee
Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
POPL 2019Session Chair of Security and Information Flow (part of Research Papers)
Industrial Relations Chair in Organizing Committee
Committee Member in Steering Committee
ICFP 2019Author of Synthesizing Symmetric Lenses within the Research Papers-track
PLMW 2018Author of Panel I: Technical Trends in Programming Languages Research within the PLMW-track
Committee Member in Panelists within the PLMW-track
NetPL 2018Panelist of Panel within the NetPL 2018-track
POPL 2018Committee 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
POPL 2017Committee Member in Steering Committee
Industrial Relations Chair in Organizing Committee
PLDI 2017Committee Member in External Review Committee
Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track
ICFP 2016Committee Member in Program Committee within the Research Papers-track
PLDI 2016Committee 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 2016Author 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)