D
David Walker
Researcher at Princeton University
Publications - 157
Citations - 15300
David Walker is an academic researcher from Princeton University. The author has contributed to research in topics: Compiler & Software-defined networking. The author has an hindex of 53, co-authored 144 publications receiving 13806 citations. Previous affiliations of David Walker include Cornell University & Carnegie Mellon University.
Papers
More filters
Journal ArticleDOI
P4: programming protocol-independent packet processors
Pat Bosshart,Daniel P. Daly,Glen Gibb,Martin J. Izzard,Nick McKeown,Jennifer Rexford,Cole Schlesinger,Daniel Talayco,Amin Vahdat,George Varghese,David Walker +10 more
TL;DR: This paper proposes P4 as a strawman proposal for how OpenFlow should evolve in the future, and describes how to use P4 to configure a switch to add a new hierarchical label.
Book
The Pi-Calculus: A Theory of Mobile Processes
Davide Sangiorgi,David Walker +1 more
TL;DR: This book presents the pi-calculus, a theory of mobile systems, which provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviors.
Journal ArticleDOI
Frenetic: a network programming language
Nate Foster,Rob Harrison,Michael J. Freedman,Christopher Monsanto,Jennifer Rexford,Alec Story,David Walker +6 more
TL;DR: Frenetic provides a declarative query language for classifying and aggregating network traffic as well as a functional reactive combinator library for describing high-level packet-forwarding policies, which facilitates modular reasoning and enables code reuse.
Proceedings ArticleDOI
Abstractions for network update
TL;DR: This paper introduces the notion of consistent network updates---updates that are guaranteed to preserve well-defined behaviors when transitioning mbetween configurations, and identifies two distinct consistency levels, per-packet and per-flow.
Proceedings Article
Composing software-defined networks
TL;DR: A new abstract packet model is defined that allows programmers to extend packets with virtual fields that may be used to associate packets with high-level meta-data and is realized in Pyretic, an imperative, domain-specific language embedded in Python.