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
Projects
- 4 Finished
-
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
NSF - National Science Foundation
7/1/17 → 6/30/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
-
SHF:Small:Language Support for Ad Hoc Data Processing
NSF - National Science Foundation
8/15/10 → 7/31/14
Project: Research project
Research output
-
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
2 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 Access -
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
-
Abstract Interpretation of distributed network control planes
Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 42.Research output: Contribution to journal › Article › peer-review
Open Access8 Scopus citations