David Walker
Identifiers
No identifiers captured yet.
Papers (6)
- CB-VER: A Stable Foundation for Modular Control Plane Verification cs.NI · 2026 · author #3
- Synthesizing Symmetric Lenses cs.PL · 2018 · author #5
- Control Plane Compression cs.NI · 2018 · author #4
- Synthesizing Bijective Lenses cs.PL · 2017 · author #4
- SNAP: Stateful Network-Wide Abstractions for Packet Processing cs.NI · 2015 · author #5
- Programming Protocol-Independent Packet Processors cs.NI · 2013 · author #10
Mentions
No mention provenance yet.
Frequent Coauthors
- Aarti Gupta 2 shared papers
- Anders Miltner 2 shared papers
- Benjamin C. Pierce 2 shared papers
- Jennifer Rexford 2 shared papers
- Kathleen Fisher 2 shared papers
- Steve Zdancewic 2 shared papers
- Amin Vahdat 1 shared papers
- Cole Schlesinger 1 shared papers
- Dan Daly 1 shared papers
- Dan Talayco 1 shared papers
- Dexin Zhang 1 shared papers
- George Varghese 1 shared papers
- Martin Izzard 1 shared papers
- Michael Greenberg 1 shared papers
- Mina Tahmasbi Arashloo 1 shared papers
- Nick McKeown 1 shared papers
- Pat Bosshart 1 shared papers
- Ratul Mahajan 1 shared papers
- Ryan Beckett 1 shared papers
- Solomon Maina 1 shared papers