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 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)