David P. Walker

Computer Science

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity per year

If you made any changes in Pure these will be visible here soon.

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.

6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.

1 Active
3 Finished

NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
Walker, D. P.
NSF - National Science Foundation
7/1/17 → 6/30/22
Project: Research project
Synthesizing Data Wranglers
Walker, D. P.
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
Walker, D. P.
NSF - National Science Foundation
8/1/11 → 7/31/16
Project: Research project
SHF:Small:Language Support for Ad Hoc Data Processing
Walker, D. P.
NSF - National Science Foundation
8/15/10 → 7/31/14
Project: Research project

6545 Citations
38 h-Index
69 Conference contribution
36 Article
5 Paper
5 Conference article
More

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 Access
4 Scopus citations
Contra: A programmable system for performance-aware routing
Hsu, K. F., Beckett, R., Chen, A., Rexford, J., Tammana, P. & Walker, D., 2020, Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020. USENIX Association, p. 701-721 21 p. (Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10 Scopus citations
Data-driven inference of representation invariants
Miltner, A., Padhi, S., Millstein, T. & Walker, D., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 1-15 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
1 Scopus citations
Elastic Switch Programming with P4All
Hogan, M., Landau-Feibish, S., Tahmasbi Arashloo, M., Rexford, J., Walker, D. & Harrison, R., Nov 4 2020, HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 168-174 7 p. (HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
Enabling programmable transport protocols in high-speed NICs
Arashloo, M. T., Lavrov, A., Ghobadi, M., Rexford, J., Walker, D. & Wentzlaff, D., 2020, Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020. USENIX Association, p. 93-109 17 p. (Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10 Scopus citations