Projects per year
Fingerprint
Dive into the research topics where David P. Walker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes
NSF - National Science Foundation
10/1/22 → 9/30/25
Project: Research project
-
IMR: MT: Tools for Programming Distributed Data-plane Measurements
NSF - National Science Foundation
9/1/22 → 8/31/24
Project: Research project
-
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
NSF - National Science Foundation
7/1/17 → 10/31/22
Project: Research project
-
Synthesizing Data Wranglers
Defense Advanced Research Projects Agncy
11/1/16 → 10/31/18
Project: Research project
-
TC: Large: Collaborative Research: High-Level Language Support for Trustworthy Networks
NSF - National Science Foundation
8/1/11 → 7/31/16
Project: Research project
-
Modular Switch Programming Under Resource Constraints
Hogan, M., Landau-Feibish, S., Arashloo, M. T., Rexford, J. & Walker, D. P., 2022, Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022. USENIX Association, p. 193-207 15 p. (Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
Safe, modular packet pipeline programming
Loehr, D. & Walker, D., Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 3498696.Research output: Contribution to journal › Article › peer-review
Open Access -
Lucid: A language for control in the data plane
Sonchack, J., Loehr, D., Rexford, J. & Walker, D., Aug 9 2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. Association for Computing Machinery, Inc, p. 731-747 17 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access9 Scopus citations -
ProbNV: probabilistic verification of network control planes
Giannarakis, N., Silva, A. & Walker, D., Aug 2021, In: Proceedings of the ACM on Programming Languages. 5, ICFP, 3473595.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Test coverage metrics for the network
Xu, X., Beckett, R., Jayaraman, K., Mahajan, R. & Walker, D., Aug 9 2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. Association for Computing Machinery, Inc, p. 775-787 13 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution