David P. Walker
Contact Expert

View Scopus Profile

David P. Walker

Calculated based on number of publications stored in Pure and citations from Scopus
1998 …2024

Research activity per year

Search results

  • 2015

    Welcome to POPL 2015

    Rajamani, S. & Walker, D., 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

  • 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

  • 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
    47 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

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

    7 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

    24 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

    19 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

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

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

    175 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

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

    2303 Scopus citations

  • Transparent, live migration of a software-defined network

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

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

    39 Scopus citations
  • 2013

    Incremental consistent updates

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

    Open Access
    170 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., 2013, In: IEEE Communications Magazine. 51, 2, p. 128-134 7 p., 6461197.

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

    Open Access
    136 Scopus citations

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

    Kang, N., Liu, Z., Rexford, J. L. & Walker, D. P., 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 proceeding › Conference contribution

    Open Access
    250 Scopus citations
  • 2012

    Abstractions for network update

    Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., 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 proceeding › Conference contribution

    Open Access
    382 Scopus citations

  • Abstractions for network update

    Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., 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 proceeding › Conference contribution

    Open Access
    177 Scopus citations

  • A compiler and run-time system for network programming languages

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

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

    Open Access
    122 Scopus citations

  • A compiler and run-time system for network programming languages

    Monsanto, C., Foster, N., Harrison, R. & Walker, D., 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 proceeding › Conference contribution

    76 Scopus citations

  • LearnPADS ++: Incremental inference of ad hoc data formats

    Zhu, K. Q., Fisher, K. & Walker, D., 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 proceeding › Conference contribution

    6 Scopus citations

  • Policy transformation in software defined networks

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

    Open Access
    7 Scopus citations

  • Policy transformation in software defined networks

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

    Open Access
    9 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., 2011, State of the Practice Reports, SC'11. 19. (State of the Practice Reports, SC'11).

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

    Open Access
    42 Scopus citations

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

    Reitblatt, M., Foster, N., Rexford, J. L. & Walker, D. P., 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 proceeding › Conference contribution

    164 Scopus citations

  • Forest: A language and toolkit for programming with filestores

    Fisher, K., Foster, N., Walker, D. & Zhu, K. Q., 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 proceeding › Conference contribution

    7 Scopus citations

  • Forest: A language and toolkit for programming with filestores

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

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

    4 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 2011, In: ACM SIGPLAN Notices. 46, 9, p. 279-291 13 p.

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

    351 Scopus citations

  • Frenetic: A network programming language

    Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., 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 proceeding › Conference contribution

    209 Scopus citations

  • Linear maps

    Lahiri, S. K., Qadeer, S. & Walker, D., 2011, PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification. p. 3-14 12 p. (PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification).

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

    16 Scopus citations

  • Modular protections against non-control data attacks

    Schlesinger, C., Pattabiraman, K., Swamy, N., Walker, D. & Zorn, B., 2011, Proceedings - 24th IEEE Computer Security Foundations Symposium, CSF 2011. IEEE Computer Society, p. 131-145 15 p. 5992159. (Proceedings - IEEE Computer Security Foundations Symposium).

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

    13 Scopus citations

  • The PADS project: An overview

    Fisher, K. & Walker, D., 2011, Database Theory - ICDT 2011: 14th International Conference on Database Theory, Proceedings. Association for Computing Machinery, p. 11-17 7 p. (ACM International Conference Proceeding Series).

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

    32 Scopus citations
  • 2010

    A context-free markup language for semi-structured text

    Xi, Q. & Walker, D., 2010, PLDI'10 - Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 221-232 12 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
    3 Scopus citations

  • A context-free markup language for semi-structured text

    Xi, Q. & Walker, D., Jun 2010, In: ACM SIGPLAN Notices. 45, 6, p. 221-232 12 p.

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

    7 Scopus citations

  • Concurrent separation logic for pipelined parallelization

    Bell, C. J., Appel, A. W. & Walker, D., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. p. 151-166 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6337 LNCS).

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

    Open Access
    15 Scopus citations

  • Frenetic: A high-level language for OpenFlow networks

    Foster, N., Harrison, R., Meola, M. L., Freedman, M. J., Rexford, J. L. & Walker, D. P., 2010, Proceedings of the Programmable Routers for Extensible Services of Tomorrow, PRESTO 2010, Workshop Held in Conjunction with CoNEXT 2010. (Proceedings of the Programmable Routers for Extensible Services of Tomorrow, PRESTO 2010, Workshop Held in Conjunction with CoNEXT 2010).

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

    52 Scopus citations

  • Incremental learning of system log formats

    Zhu, K. Q., Fisher, K. & Walker, D., Mar 12 2010, In: Operating Systems Review (ACM). 44, 1, p. 85-90 6 p.

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

    Open Access
    18 Scopus citations

  • Semantics and algorithms for data-dependent grammars

    Jim, T., Mandelbaum, Y. & Walker, D., Jan 2010, In: ACM SIGPLAN Notices. 45, 1, p. 417-430 14 p.

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

    26 Scopus citations

  • Semantics and algorithms for data-dependent grammars

    Jim, T., Mandelbaum, Y. & Walker, D., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 417-430 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    22 Scopus citations

  • The next 700 data description languages

    Fisher, K., Mandelbaum, Y. & Walker, D., Jan 1 2010, In: Journal of the ACM. 57, 2, 10.

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

    Open Access
    23 Scopus citations
  • 2009

    Ad hoc data and the token ambiguity problem

    Xi, Q., Fisher, K., Walker, D. & Zhu, K. Q., 2009, Practical Aspects of Declarative Languages - 11th International Symposium, PADL 2009, Proceedings. p. 91-106 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5418 LNCS).

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

    2 Scopus citations

  • An overview of the oregon programming languages summer school

    Allen, J., Ariola, Z., Curien, P. L., Fluet, M., Foster, J., Grossman, D., Harper, R., Herbelin, H., Smaragdakis, Y., Walker, D. & Zdancewic, S., Nov 2009, In: ACM SIGPLAN Notices. 44, 11, p. 1-3 3 p.

    Research output: Contribution to journal › Review article › peer-review

  • Composing expressive runtime security policies

    Bauer, L., Ligatti, J. & Walker, D., May 1 2009, In: ACM Transactions on Software Engineering and Methodology. 18, 3, 9.

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

    Open Access
    28 Scopus citations

  • Language support for processing distributed ad hoc data

    Zhu, K. Q., Dantas, D. S., Fisher, K., Jia, L., Mandelbaum, Y., Pai, V. & Walker, D., 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 243-254 12 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

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

  • Run-time enforcement of nonsafety policies

    Ligatti, J., Bauer, L. & Walker, D., Jan 1 2009, In: ACM Transactions on Information and System Security. 12, 3, 19.

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

    Open Access
    149 Scopus citations
  • 2008

    AspectML: A polymorphic aspect-oriented functional programming language

    Dantas, D. S., Walker, D., Washburn, G. & Weirich, S., May 1 2008, In: ACM Transactions on Programming Languages and Systems. 30, 3, 14.

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

    Open Access
    33 Scopus citations

  • From dirt to shovels: Fully automatic tool generation from ad hoc data

    Fisher, K., Walker, D., Zhu, K. Q. & White, P., 2008, POPL'08 - Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 421-434 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    43 Scopus citations

  • From dirt to shovels fully automatic tool generation from ad hoc data

    Fisher, K., Walker, D., Zhu, K. Q. & White, P., Jan 2008, In: ACM SIGPLAN Notices. 43, 1, p. 421-434 14 p.

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

    25 Scopus citations

  • LearnPADS: Automatic tool generation from ad hoc data

    Fisher, K., Walker, D. & Zhu, K., 2008, SIGMOD 2008: Proceedings of the ACM SIGMOD International Conference on Management of Data 2008. p. 1299-1301 3 p. 1376759. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

    12 Scopus citations

  • Reasoning about control flow in the presence of transient faults

    Perry, F. & Walker, D., 2008, Static Analysis - 15th International Symposium, SAS 2008, Proceedings. p. 332-346 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5079 LNCS).

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

    5 Scopus citations