David Walker

Identifiers

• name variant David Walker 0.60 · backfill

Papers (6)

1. CB-VER: A Stable Foundation for Modular Control Plane Verification cs.NI · 2026 · author #3
2. Synthesizing Symmetric Lenses cs.PL · 2018 · author #5
3. Control Plane Compression cs.NI · 2018 · author #4
4. Synthesizing Bijective Lenses cs.PL · 2017 · author #4
5. SNAP: Stateful Network-Wide Abstractions for Packet Processing cs.NI · 2015 · author #5
6. Programming Protocol-Independent Packet Processors cs.NI · 2013 · author #10

Mentions

• 1312.1719 #10 · backfill · confidence 0.70 David Walker
• 2604.03539 #3 · arxiv_oai · confidence 0.70 David Walker

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