Projects per year
Fingerprint
- 1 Similar Profiles
Network
-
Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes
NSF - National Science Foundation
10/1/22 → 9/30/25
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
-
TC: Large: Collaborative Research: High-Level Language Support for Trustworthy Networks
NSF - National Science Foundation
8/1/11 → 7/31/16
Project: Research project
-
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
-
Modular Switch Programming Under Resource Constraints
Hogan, M., Landau-Feibish, S., Arashloo, M. T., Rexford, J. & Walker, D. P., 2022, Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022. USENIX Association, p. 193-207 15 p. (Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Safe, modular packet pipeline programming
Loehr, D. & Walker, D., Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 3498696.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Synthesizing state machines for data planes
Chen, X., Johnson, A., Pan, M. & Walker, D., Oct 19 2022, SOSR 2022 - Proceedings of the 2022 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 81-88 8 p. (SOSR 2022 - Proceedings of the 2022 Symposium on SDN Research).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Lucid: A language for control in the data plane
Sonchack, J., Loehr, D., Rexford, J. & Walker, D., Aug 9 2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. Association for Computing Machinery, Inc, p. 731-747 17 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access15 Scopus citations