Projects per year
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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
NeTS: Medium: Foundations and Applications of Modular Verification of Networks
NSF - National Science Foundation
10/1/23 → 9/30/27
Project: Research project
-
IMR: MT: Tools for Programming Distributed Data-plane Measurements
NSF - National Science Foundation
9/1/22 → 8/31/24
Project: Research project
-
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
NSF - National Science Foundation
7/1/17 → 10/31/22
Project: Research project
-
Synthesizing Data Wranglers
Defense Advanced Research Projects Agncy
11/1/16 → 10/31/18
Project: Research project
-
Modular Control Plane Verification via Temporal Invariants
Alberdingk Thijm, T., Beckett, R., Gupta, A. & Walker, D., Jun 6 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 50-75 26 p.Research output: Contribution to journal › Article › peer-review
Open Access -
SwitchLog: A Logic Programming Language for Network Switches
Mehta, V., Loehr, D., Sonchack, J. & Walker, D., 2023, Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 180-196 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13880 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Test Coverage for Network Configurations
Xu, X., Deng, W., Beckett, R., Mahajan, R. & Walker, D., 2023, Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023. USENIX Association, p. 1717-1732 16 p. (Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
ACORN: Network Control Plane Abstraction using Route Nondeterminism
Raghunathan, D., Beckett, R., Gupta, A. & Walker, D., 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 261-272 12 p. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Kirigami, the Verifiable Art of Network Cutting
Thijm, T. A., Beckett, R., Gupta, A. & Walker, D., 2022, 2022 IEEE 30th International Conference on Network Protocols, ICNP 2022. IEEE Computer Society, (Proceedings - International Conference on Network Protocols, ICNP; vol. 2022-October).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution