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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
NeTS: Medium: Foundations and Applications of Modular Verification of Networks
Walker, D. P. (PI)
NSF - National Science Foundation
10/1/23 → 9/30/27
Project: Research project
-
Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes
Walker, D. P. (PI)
NSF - National Science Foundation
10/1/22 → 9/30/25
Project: Research project
-
IMR: MT: Tools for Programming Distributed Data-plane Measurements
Walker, D. P. (PI)
NSF - National Science Foundation
9/1/22 → 8/31/25
Project: Research project
-
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
Walker, D. P. (PI)
NSF - National Science Foundation
7/1/17 → 10/31/22
Project: Research project
-
Synthesizing Data Wranglers
Walker, D. P. (PI)
Defense Advanced Research Projects Agncy
11/1/16 → 10/31/18
Project: Research project
-
Automated Optimization of Parameterized Data-Plane Programs With Parasol
Hogan, M., Loehr, D., Sonchack, J., Feibish, S. L., Rexford, J. & Walker, D., 2024, (Accepted/In press) In: IEEE/ACM Transactions on Networking.Research output: Contribution to journal › Article › peer-review
Open Access -
Buffy: A Formal Language-Based Framework for Network Performance Analysis
Seyhani, A., Zhao, J., Gupta, A., Walker, D. & Arashloo, M. T., Nov 18 2024, HOTNETS 2024 - Proceedings of the 2024 3rd ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 95-102 8 p. (HOTNETS 2024 - Proceedings of the 2024 3rd ACM Workshop on Hot Topics in Networks).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Kirigami, the Verifiable Art of Network Cutting
Thijm, T. A., Beckett, R., Gupta, A. & Walker, D., Jun 1 2024, In: IEEE/ACM Transactions on Networking. 32, 3, p. 2447-2462 16 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Relational Network Verification
Xu, X., Yuan, Y., Kincaid, Z., Krishnamurthy, A., Mahajan, R., Walker, D. & Zhai, E., Aug 4 2024, ACM SIGCOMM 2024 - Proceedings of the 2024 ACM SIGCOMM 2024 Conference. Association for Computing Machinery, Inc, p. 213-227 15 p. (ACM SIGCOMM 2024 - Proceedings of the 2024 ACM SIGCOMM 2024 Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Sequence Abstractions for Flexible, Line-Rate Network Monitoring
Johnson, A., Beckett, R., Chen, X., Mahajan, R. & Walker, D., 2024, Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024. USENIX Association, p. 1593-1620 28 p. (Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution