Walker, David

Abstractions for network update

Reitblatt, M., Foster, N., Rexford, J., Schlesinger, C., & Walker, D. (2012) · Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication

Software-Defined Networks and 5GDistributed systems and fault tolerance

Cited by 584

A general approach to network configuration verification

Beckett, R., Gupta, A., Mahajan, R., & Walker, D. (2017) · Proceedings of the Conference of the ACM Special Interest Group on Data Communication

Formal Methods in VerificationSoftware Testing and Debugging Techniques

Cited by 262

Consistent updates for software-defined networks: change you can believe in!

Reitblatt, M., Foster, N., Rexford, J., & Walker, D. (2011) · Proceedings of the 10th ACM Workshop on Hot Topics in Networks

Software-Defined Networks and 5GDistributed systems and fault tolerance

Cited by 163

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J., & Walker, D. (2017) · Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

Software-Defined Networks and 5GNetwork Traffic and Congestion Control

Cited by 62

Test coverage for network configurations

Xu, X., Deng, W., Beckett, R., Mahajan, R., & Walker, D. (2022) · arXiv

Software Testing and Debugging TechniquesSoftware-Defined Networks and 5G

Cited by 0