• 4832 Citations
  • 35 h-Index
19982018
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.

  • 34 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.

Research Output 1998 2018

1 Citation (Scopus)

Control plane compression

Beckett, R., Gupta, A., Mahajan, R. & Walker, D. P., 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
21 Citations (Scopus)

A general approach to network configuration verification

Beckett, R., Gupta, A., Mahajan, R. & Walker, D. P., 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

Demo: Programming distributed control planes: Invited Demo

Beckett, R., Mahajan, R., Padhye, J., Millstein, T. & Walker, D. P., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 205-206 2 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

Princeton University

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

Propane
Routing protocols
Hardware
6 Citations (Scopus)

HotCocoa: Hardware congestion control abstractions

Arashloo, M. T., Ghobadi, M., Rexford, J. L. & Walker, D. P., Nov 30 2017, HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 108-114 7 p. (HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks).

Princeton University

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

Hardware
Program processors
Mathematical operators
Network protocols
Processing
6 Citations (Scopus)

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D. P., Jun 14 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). Association for Computing Machinery, p. 437-451 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

Princeton University

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

Topology
Propane
Fault tolerance
Concretes
Specifications