Projects per year
Fingerprint
- 6 Similar Profiles
Network
Projects
-
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
NSF - National Science Foundation
7/1/17 → 6/30/21
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
-
SHF:Small:Language Support for Ad Hoc Data Processing
NSF - National Science Foundation
8/15/10 → 7/31/14
Project: Research project
Research output
-
Abstract Interpretation of distributed network control planes
Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 42.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
Contra: A programmable system for performance-aware routing
Hsu, K. F., Beckett, R., Chen, A., Rexford, J., Tammana, P. & Walker, D., 2020, Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020. USENIX Association, p. 701-721 21 p. (Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8 Scopus citations -
Data-driven inference of representation invariants
Miltner, A., Padhi, S., Millstein, T. & Walker, D., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 1-15 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Scopus citations -
Elastic Switch Programming with P4All
Hogan, M., Landau-Feibish, S., Tahmasbi Arashloo, M., Rexford, J., Walker, D. & Harrison, R., Nov 4 2020, HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 168-174 7 p. (HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Enabling programmable transport protocols in high-speed NICs
Arashloo, M. T., Lavrov, A., Ghobadi, M., Rexford, J., Walker, D. & Wentzlaff, D., 2020, Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020. USENIX Association, p. 93-109 17 p. (Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9 Scopus citations