David P. Walker
Contact Expert

View Scopus Profile

David P. Walker

Calculated based on number of publications stored in Pure and citations from Scopus
19982022

Research activity per year

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

Search results

  • 2022

    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 Access
    1 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
  • 2021

    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 Access
    15 Scopus citations

  • ProbNV: probabilistic verification of network control planes

    Giannarakis, N., Silva, A. & Walker, D., Aug 2021, In: Proceedings of the ACM on Programming Languages. 5, ICFP, 3473595.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    2 Scopus citations

  • Test coverage metrics for the network

    Xu, X., Beckett, R., Jayaraman, K., Mahajan, R. & Walker, D., Aug 9 2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. Association for Computing Machinery, Inc, p. 775-787 13 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations
  • 2020

    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 Access
    15 Scopus citations

  • Adaptive weighted traffic splitting in programmable data planes

    Hsu, K. F., Tammana, P., Beckett, R., Chen, A., Rexford, J. & Walker, D., Mar 3 2020, SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 103-109 7 p. (SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    21 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

    48 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

    13 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
    10 Scopus citations

  • 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

    37 Scopus citations

  • NV: An intermediate language for verification of network control planes

    Giannarakis, N., Loehr, D., Beckett, R. & 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. 958-973 16 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 Access
    9 Scopus citations
  • 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 proceeding › Conference contribution

    236 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 journal › Article › peer-review

    Open Access
    4 Scopus citations

  • Efficient verification of network fault tolerance via counterexample-guided refinement

    Giannarakis, N., Beckett, R., Mahajan, R. & Walker, D., 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 proceeding › Conference contribution

    Open Access
    10 Scopus citations

  • NV: An intermediate language for network verification

    Beckett, R., Loher, D., Giannarakis, N. & Walker, D., 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 proceeding › Conference contribution

    Open Access

  • Synthesizing symmetric lenses

    Miltner, A., Maina, S., Fisher, K., Pierce, B. C., Walker, D. & Zdancewic, S., Aug 2019, In: Proceedings of the ACM on Programming Languages. 3, ICFP, 95.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    8 Scopus citations
  • 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 proceeding › Conference contribution

    39 Scopus citations

  • Synthesizing bijective lenses

    Miltner, A., Fisher, K., Pierce, B. C., Walker, D. & Zdancewic, S., Jan 2018, In: Proceedings of the ACM on Programming Languages. 2, POPL, 1.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    16 Scopus citations

  • Synthesizing quotient lenses

    Maina, S., Miltner, A., Fisher, K., Pierce, B. C., Walker, D. & Zdancewic, S., Sep 2018, In: Proceedings of the ACM on Programming Languages. 2, ICFP, 3236775.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    6 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 proceeding › Conference contribution

    131 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 proceeding › Conference 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 proceeding › Conference contribution

    18 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 proceeding › Conference contribution

    Open Access
    25 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 journal › Article › peer-review

    Open Access
    12 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 proceeding › Conference contribution

    115 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 proceeding › Conference contribution

    57 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 proceeding › Conference contribution

    81 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 journal › Article › peer-review

    29 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 proceeding › Conference contribution

    40 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 proceeding › Conference contribution

    8 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 proceeding › Conference contribution

    124 Scopus citations

  • Temporal NetKAT

    Beckett, R., Greenberg, M. & Walker, D., Jun 2016, In: ACM SIGPLAN Notices. 51, 6, p. 386-401 16 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • 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 proceeding › Conference contribution

    Open Access
    15 Scopus citations
  • 2015

    CoVisor: A compositional hypervisor for software-defined networks

    Jin, X., Gossels, J., Rexford, J. L. & Walker, D. P., 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 proceeding › Conference contribution

    124 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., Apr 2015, In: Journal of Network and Systems Management. 23, 2, p. 374-399 26 p.

    Research output: Contribution to journal › Article › peer-review

    30 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 proceeding › Conference contribution

    2 Scopus citations

  • Welcome to POPL 2015

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

    Research output: Contribution to journal › Editorial › peer-review

  • 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 journal › Editorial › peer-review

  • 2014

    An assertion language for debugging SDN applications

    Beckett, R., Zou, X. K., Zhang, S., Malik, S., Rexford, J. L. & Walker, D. P., 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 proceeding › Conference contribution

    Open Access
    42 Scopus citations

  • Compiling path queries in software-defined networks

    Narayana, S., Rexford, J. L. & Walker, D. P., 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 proceeding › Conference contribution

    31 Scopus citations

  • Concurrent NetCore: From policies to pipelines

    Schlesinger, C., Greenberg, M. & Walker, D., 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 proceeding › Conference contribution

    23 Scopus citations

  • Concurrent NetCore: From policies to pipelines

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

    Research output: Contribution to journal › Article › peer-review

    5 Scopus citations

  • Incremental update for a compositional SDN hypervisor

    Jin, X., Rexford, J. L. & Walker, D. P., 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 proceeding › Conference contribution

    17 Scopus citations

  • Infinite CacheFlow in software-defined networks

    Katta, N., Alipourfard, O., Rexford, J. L. & Walker, D. P., 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 proceeding › Conference contribution

    137 Scopus citations

  • Modular protections against non-control data attacks

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

    Research output: Contribution to journal › Article › peer-review

    4 Scopus citations

  • NetkAT: Semantic foundations for networks

    Anderson, C. J., Foster, N., Guha, A., Jeannin, J. B., Kozen, D., Schlesinger, C. & Walker, D., 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 proceeding › Conference contribution

    151 Scopus citations

  • NetKAT: Semantic foundations for networks

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

    Research output: Contribution to journal › Article › peer-review

    137 Scopus citations