Photo of David P. Walker
Contact Expert
 

View Scopus Profile

David P. Walker

  • 5421 Citations
  • 35 h-Index
19982021

Research output 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.

  • 3 Similar Profiles

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

Projects

NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment

Walker, D. P.

NSF - National Science Foundation

7/1/17 → 6/30/21

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

Research Output

Composing software-defined networks

Monsanto, C., Reich, J., Foster, N., Rexford, J. & Walker, D., Jan 1 2019, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013. USENIX Association, p. 1-13 13 p. (Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • Don't mind the gap: Bridging network-wide objectives and device-level configurations

    Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Oct 2019, In : Computer Communication Review. 49, 5, p. 104-106 3 p.

    Research output: Contribution to journal › Article

    • Efficient verification of network fault tolerance via counterexample-guided refinement

    Giannarakis, N., Beckett, R., Mahajan, R. & Walker, D., Jan 1 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 305-323 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11562 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

    • NV: An intermediate language for network verification

    Beckett, R., Loher, D., Giannarakis, N. & Walker, D. P., Aug 14 2019, NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, p. 3-4 2 p. (NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

    Control plane compression

    Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Aug 7 2018, SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 476-489 14 p. (SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 7 Scopus citations