• 5679 Citations
  • 36 h-Index
19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2019

Composing software-defined networks

Monsanto, C., Reich, J., Foster, N., Rexford, J. & Walker, D., Jan 1 2019, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013. USENIX Association, p. 1-13 13 p. (Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

129 Scopus citations

Don't mind the gap: Bridging network-wide objectives and device-level configurations

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Oct 2019, In : Computer Communication Review. 49, 5, p. 104-106 3 p.

Research output: Contribution to journalArticle

Open Access

Efficient verification of network fault tolerance via counterexample-guided refinement

Giannarakis, N., Beckett, R., Mahajan, R. & Walker, D., Jan 1 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 305-323 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11562 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
1 Scopus citations

NV: An intermediate language for network verification

Beckett, R., Loher, D., Giannarakis, N. & Walker, D. P., Aug 14 2019, NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, p. 3-4 2 p. (NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2018

Control plane compression

Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Aug 7 2018, SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 476-489 14 p. (SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations
2017

A general approach to network configuration verification

Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Aug 7 2017, SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 155-168 14 p. (SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

42 Scopus citations

Demo: Programming distributed control planes: Invited Demo

Beckett, R., Mahajan, R., Padhye, J., Millstein, T. & Walker, D., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 205-206 2 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

HotCocoa: Hardware congestion control abstractions

Arashloo, M. T., Ghobadi, M., Rexford, J. L. & Walker, D. P., Nov 30 2017, HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 108-114 7 p. (HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Jun 14 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). Association for Computing Machinery, p. 437-451 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Jun 14 2017, In : ACM SIGPLAN Notices. 52, 6, p. 437-451 15 p.

Research output: Contribution to journalArticle

Open Access
1 Scopus citations
2016

CacheFlow: Dependency-aware rule-caching for software-defined networks

Katta, N., Alipourfard, O., Rexford, J. L. & Walker, D. P., Mar 14 2016, Symposium on Software Defined Networking (SDN) Research, SOSR 2016. Association for Computing Machinery, Inc, a6. (Symposium on Software Defined Networking (SDN) Research, SOSR 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

64 Scopus citations

Compiling path queries

Narayana, S., Arashloo, M. T., Rexford, J. & Walker, D., Jan 1 2016, Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016. USENIX Association, p. 207-222 16 p. (Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

31 Scopus citations

Don't mind the gap: Bridging network-wide objectives and device-level configurations

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Aug 22 2016, SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 328-341 14 p. 2934909. (SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

36 Scopus citations

Example-directed synthesis: A type-theoretic interpretation

Frankle, J., Osera, P. M., Walker, D. & Zdancewic, S., Jan 11 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). Association for Computing Machinery, p. 802-815 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Scopus citations

Example-directed synthesis: A type-theoretic interpretation

Frankle, J., Osera, P. M., Walker, D. & Zdancewic, S., Apr 8 2016, In : ACM SIGPLAN Notices. 51, 1, p. 802-815 14 p.

Research output: Contribution to journalArticle

14 Scopus citations

Hardware-software co-design for network performance measurement

Narayana, S., Sivaraman, A., Nathan, V., Alizadeh, M., Walker, D. P., Rexford, J. L., Jeyakumar, V. & Kim, C., Nov 9 2016, HotNets 2016 - Proceedings of the 15th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 190-196 7 p. (HotNets 2016 - Proceedings of the 15th ACM Workshop on Hot Topics in Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

SNAP: Stateful network-wide abstractions for packet processing

Arashloo, M. T., Koral, Y., Greenberg, M., Rexford, J. L. & Walker, D. P., Aug 22 2016, SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 29-43 15 p. 2934892. (SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

65 Scopus citations

Temporal NetKAT

Beckett, R., Greenberg, M. & Walker, D., Jun 2 2016, PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Krintz, C. & Berger, E. (eds.). Association for Computing Machinery, p. 386-401 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 13-17-June-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations
2015

CoVisor: A compositional hypervisor for software-defined networks

Jin, X., Gossels, J., Rexford, J. L. & Walker, D. P., Jan 1 2015, Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015. USENIX, p. 87-101 15 p. (Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

84 Scopus citations

HONE: Joint Host-Network Traffic Management in Software-Defined Networks

Sun, P., Yu, M., Freedman, M. J., Rexford, J. L. & Walker, D. P., Jan 1 2015, In : Journal of Network and Systems Management. 23, 2, p. 374-399 26 p.

Research output: Contribution to journalArticle

24 Scopus citations

Tracking the flow of ideas through the programming languages literature

Greenberg, M., Fisher, K. & Walker, D., May 1 2015, 1st Summit on Advances in Programming Languages, SNAPL 2015. Ball, T., Bodik, R., Lerner, B. S., Morrisett, G. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 140-155 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 32).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Welcome to POPL 2015

Rajamani, S. & Walker, D. P., Jan 14 2015, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 2015-January, p. iii

Research output: Contribution to journalEditorial

Welcome to POPL 2015

Rajamani, S. & Walker, D. P., Jan 1 2015, In : ACM SIGPLAN Notices. 50, 1, p. iii

Research output: Contribution to journalEditorial

2014

An assertion language for debugging SDN applications

Beckett, R., Zou, X. K., Zhang, S., Malik, S., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 91-96 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

31 Scopus citations

Compiling path queries in software-defined networks

Narayana, S., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 181-186 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

28 Scopus citations

Concurrent NetCore: From policies to pipelines

Schlesinger, C., Greenberg, M. & Walker, D. P., Jan 1 2014, ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery, p. 11-24 14 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations

Concurrent NetCore: From policies to pipelines

Schlesinger, C., Greenberg, M. & Walker, D. P., Sep 1 2014, In : ACM SIGPLAN Notices. 49, 9, p. 11-24 14 p.

Research output: Contribution to journalArticle

5 Scopus citations

Incremental update for a compositional SDN hypervisor

Jin, X., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 187-192 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Scopus citations

Infinite CacheFlow in software-defined networks

Katta, N., Alipourfard, O., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 175-180 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

103 Scopus citations

Modular protections against non-control data attacks

Schlesinger, C., Pattabiraman, K., Swamy, N., Walker, D. & Zorn, B., Jan 1 2014, In : Journal of Computer Security. 22, 5, p. 699-742 44 p.

Research output: Contribution to journalArticle

3 Scopus citations

NetkAT: Semantic foundations for networks

Anderson, C. J., Foster, N., Guha, A., Jeannin, J. B., Kozen, D., Schlesinger, C. & Walker, D., Feb 11 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 113-126 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

102 Scopus citations

NetKAT: Semantic foundations for networks

Anderson, C. J., Foster, N., Guha, A., Jeannin, J. B., Kozen, D., Schlesinger, C. & Walker, D. P., Jan 13 2014, In : ACM SIGPLAN Notices. 49, 1, p. 113-126 14 p.

Research output: Contribution to journalArticle

86 Scopus citations

P4: Programming protocol-independent packet processors

Bosshart, P., Daly, D., Gibb, G., Izzard, M., McKeown, N., Rexford, J. L., Schlesinger, C., Talayco, D., Vahdat, A., Varghese, G. & Walker, D. P., Jul 2014, In : Computer Communication Review. 44, 3, p. 87-95 9 p.

Research output: Contribution to journalArticle

714 Scopus citations

Transparent, live migration of a software-defined network

Ghorbani, S., Schlesinger, C., Monaco, M., Keller, E., Caesar, M., Rexford, J. L. & Walker, D. P., Nov 3 2014, Proceedings of the 5th ACM Symposium on Cloud Computing, SOCC 2014. Association for Computing Machinery, Inc, (Proceedings of the 5th ACM Symposium on Cloud Computing, SOCC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Scopus citations
2013

Incremental consistent updates

Katta, N. P., Rexford, J. L. & Walker, D. P., Sep 16 2013, HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking. p. 49-54 6 p. (HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

141 Scopus citations

Languages for software-defined networks

Foster, N., Guha, A., Reitblatt, M., Story, A., Freedman, M. J., Katta, N. P., Monsanto, C., Reich, J., Rexford, J. L., Schlesinger, C., Walker, D. P. & Harrison, R., Feb 20 2013, In : IEEE Communications Magazine. 51, 2, p. 128-134 7 p., 6461197.

Research output: Contribution to journalArticle

114 Scopus citations

Optimizing the "One big switch" abstraction in software-defined networks

Kang, N., Liu, Z., Rexford, J. L. & Walker, D. P., Jan 1 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 13-24 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

182 Scopus citations
2012

Abstractions for network update

Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., Dec 1 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 323-334 12 p. (Computer Communication Review; vol. 42, no. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

104 Scopus citations

Abstractions for network update

Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., Sep 26 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 323-334 12 p. (SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

315 Scopus citations

A compiler and run-time system for network programming languages

Monsanto, C., Foster, N., Harrison, R. & Walker, D., Jan 1 2012, In : ACM SIGPLAN Notices. 47, 1, p. 217-230 14 p.

Research output: Contribution to journalArticle

95 Scopus citations

A compiler and run-time system for network programming languages

Monsanto, C., Foster, N., Harrison, R. & Walker, D., Mar 12 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 217-230 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

66 Scopus citations

LearnPADS ++: Incremental inference of ad hoc data formats

Zhu, K. Q., Fisher, K. & Walker, D., Feb 21 2012, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings. p. 168-182 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7149 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Policy transformation in software defined networks

Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., Sep 26 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 309-310 2 p. (SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Policy transformation in software defined networks

Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., Dec 1 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 309-310 2 p. (Computer Communication Review; vol. 42, no. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations
2011

A survey of the practice of computational science

Prabhu, P., Kim, H., Oh, T., Jablin, T. B., Johnson, N. P., Zoufaly, M., Raman, A., Liu, F., Walker, D. P., Zhang, Y., Ghosh, S., August, D. I., Huang, J. & Beard, S., Dec 13 2011, State of the Practice Reports, SC'11. 19. (State of the Practice Reports, SC'11).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Scopus citations

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

Reitblatt, M., Foster, N., Rexford, J. L. & Walker, D. P., Dec 19 2011, Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10. (Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

121 Scopus citations

Forest: A language and toolkit for programming with filestores

Fisher, K., Foster, N., Walker, D. & Zhu, K. Q., Sep 1 2011, In : ACM SIGPLAN Notices. 46, 9, p. 292-306 15 p.

Research output: Contribution to journalArticle

2 Scopus citations

Forest: A language and toolkit for programming with filestores

Fisher, K., Foster, N., Walker, D. & Zhu, K. Q., Oct 19 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 292-306 15 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Frenetic: A network programming language

Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., Sep 1 2011, In : ACM SIGPLAN Notices. 46, 9, p. 279-291 13 p.

Research output: Contribution to journalArticle

260 Scopus citations

Frenetic: A network programming language

Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., Oct 19 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 279-291 13 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

173 Scopus citations