Articles with public access mandates - David WalkerLearn more
Available somewhere: 34
A general approach to network configuration verification
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the Conference of the ACM Special Interest Group on Data …, 2017
Mandates: US National Science Foundation
SNAP: Stateful network-wide abstractions for packet processing
MT Arashloo, Y Koral, M Greenberg, J Rexford, D Walker
Proceedings of the 2016 ACM SIGCOMM Conference, 29-43, 2016
Mandates: US National Science Foundation
Cacheflow: Dependency-aware rule-caching for software-defined networks
N Katta, O Alipourfard, J Rexford, D Walker
Proceedings of the Symposium on SDN Research, 1-12, 2016
Mandates: US National Science Foundation
Don't mind the gap: Bridging network-wide objectives and device-level configurations
R Beckett, R Mahajan, T Millstein, J Padhye, D Walker
Proceedings of the 2016 ACM SIGCOMM Conference, 328-341, 2016
Mandates: US National Science Foundation
Example-directed synthesis: a type-theoretic interpretation
J Frankle, PM Osera, D Walker, S Zdancewic
ACM Sigplan Notices 51 (1), 802-815, 2016
Mandates: US National Science Foundation
Enabling Programmable Transport Protocols in {High-Speed}{NICs}
MT Arashloo, A Lavrov, M Ghobadi, J Rexford, D Walker, D Wentzlaff
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
Mandates: US National Science Foundation, US Department of Defense
Compiling path queries
S Narayana, M Tahmasbi, J Rexford, D Walker
13th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2016
Mandates: US National Science Foundation
Contra: A programmable system for performance-aware routing
KF Hsu, R Beckett, A Chen, J Rexford, D Walker
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
Mandates: US National Science Foundation
Control plane compression
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018
Mandates: US National Science Foundation
Network configuration synthesis with abstract topologies
R Beckett, R Mahajan, T Millstein, J Padhye, D Walker
Proceedings of the 38th ACM SIGPLAN conference on programming language …, 2017
Mandates: US National Science Foundation
Lucid: A language for control in the data plane
J Sonchack, D Loehr, J Rexford, D Walker
Proceedings of the 2021 ACM SIGCOMM 2021 Conference, 731-747, 2021
Mandates: US National Science Foundation, US Department of Defense
Synthesizing bijective lenses
A Miltner, K Fisher, BC Pierce, D Walker, S Zdancewic
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
Mandates: US Department of Defense
Abstract interpretation of distributed network control planes
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019
Mandates: US National Science Foundation, US Department of Defense
Modular switch programming under resource constraints
M Hogan, S Landau-Feibish, MT Arashloo, J Rexford, D Walker
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2022
Mandates: US National Science Foundation, US Department of Defense
Adaptive weighted traffic splitting in programmable data planes
KF Hsu, P Tammana, R Beckett, A Chen, J Rexford, D Walker
Proceedings of the Symposium on SDN Research, 103-109, 2020
Mandates: US Department of Defense
Data-driven inference of representation invariants
A Miltner, S Padhi, T Millstein, D Walker
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
Mandates: US National Science Foundation
Synthesizing symmetric lenses
A Miltner, S Maina, K Fisher, BC Pierce, D Walker, S Zdancewic
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019
Mandates: US Department of Defense
NV: An intermediate language for verification of network control planes
N Giannarakis, D Loehr, R Beckett, D Walker
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
Mandates: US National Science Foundation
Hotcocoa: Hardware congestion control abstractions
MT Arashloo, M Ghobadi, J Rexford, D Walker
Proceedings of the 16th ACM Workshop on Hot Topics in Networks, 108-114, 2017
Mandates: US National Science Foundation, US Department of Defense
Temporal netkat
R Beckett, M Greenberg, D Walker
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program