• 5212 Citations
  • 35 h-Index
19982021
If you made any changes in Pure, your changes 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.

  • 32 Similar Profiles
Semantics Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Switches Engineering & Materials Science
Data description Engineering & Materials Science
Aspect oriented programming Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Hardware Engineering & Materials Science
Functional programming Engineering & Materials Science

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

Projects 2010 2021

Research Output 1998 2019

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.

Princeton University

Research output: Contribution to journalArticle

Propane
High level languages
Network protocols

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).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Fault tolerance
Fault Tolerance
Counterexample
Refinement
Concretes

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).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
5 Citations (Scopus)

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).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Electric network analysis
behavior control
network analysis
equivalence
simulation
35 Citations (Scopus)

A general approach to network configuration verification

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

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Routers
Fault tolerance
Routing protocols
Resource allocation
equivalence