David Walker

9 papers · 2013–2026 · 1 venue · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (11)

Venues

NSDI (9)

Top co-authors

Jennifer Rexford (6) Mina Tahmasbi Arashloo (3) Ryan Beckett (3) Ratul Mahajan (2) Ang Chen (1) Mina Tahmasbi (1) Srinivas Narayana (1) Aarti Gupta (1) Manya Ghobadi (1) Amir Seyhani (1)

Research topics

Computer Science (5) Systems (5) Machine Learning (3) Mathematics & Optimization (2) Foundations (2) Optimization & Theory (2) Application Areas (1) Applications (1) Core Methods (1) Mathematics (1) Optimization (1)

Keywords

p4 programming (2) programmable network (2) constraint solving (1) transport protocol (1) network monitoring (1) resource allocation (1) network routing (1) configuration line (1) packet processing (1) flow completion time (1) data plane (1) network configuration (1) test coverage (1) information flow (1) control plane (1) program synthesis (1) packet routing (1) compiler optimization (1) performance optimization (1) network modeling (1)

Papers

Count-Based Abstractions for Performance Verification of Contention Points NSDI 2026 Sequence Abstractions for Flexible, Line-Rate Network Monitoring NSDI 2024 Test Coverage for Network Configurations NSDI 2023 Modular Switch Programming Under Resource Constraints NSDI 2022 Contra: A Programmable System for Performance-aware Routing NSDI 2020 Enabling Programmable Transport Protocols in High-Speed NICs NSDI 2020 Compiling Path Queries NSDI 2016 CoVisor: A Compositional Hypervisor for Software-Defined Networks NSDI 2015 Composing Software Defined Networks NSDI 2013