David P. Walker

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

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    NAP: Programming Data Planes with Approximate Data Structures

    Pan, M., Kim, H., Rexford, J. & Walker, D., Dec 8 2023, EuroP4 2023 - Proceedings of the 6th International Workshop on P4 in Europe. Association for Computing Machinery, Inc, p. 33-39 7 p. (EuroP4 2023 - Proceedings of the 6th International Workshop on P4 in Europe).

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

    Open Access
  • SwitchLog: A Logic Programming Language for Network Switches

    Mehta, V., Loehr, D., Sonchack, J. & Walker, D., 2023, Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 180-196 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13880 LNCS).

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

  • Test Coverage for Network Configurations

    Xu, X., Deng, W., Beckett, R., Mahajan, R. & Walker, D., 2023, Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023. USENIX Association, p. 1717-1732 16 p. (Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023).

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

    2 Scopus citations
  • 2022

    ACORN: Network Control Plane Abstraction using Route Nondeterminism

    Raghunathan, D., Beckett, R., Gupta, A. & Walker, D., 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 261-272 12 p. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022).

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

  • 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 proceedingConference contribution

    2 Scopus citations
  • 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 proceedingConference contribution

    14 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 proceedingConference 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 proceedingConference contribution

    Open Access
    24 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 proceedingConference contribution

    4 Scopus citations
  • 2020

    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 proceedingConference contribution

    Open Access
    25 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 proceedingConference contribution

    60 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 proceedingConference contribution

    18 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 proceedingConference contribution

    12 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 proceedingConference contribution

    59 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 proceedingConference contribution

    Open Access
    13 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 proceedingConference contribution

    246 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 proceedingConference contribution

    Open Access
    11 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 proceedingConference contribution

    Open Access
    1 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 proceedingConference contribution

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

    164 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

    20 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

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

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

    59 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

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

    48 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

    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 proceedingConference contribution

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

    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 proceedingConference contribution

    133 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
  • 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 proceedingConference contribution

    Open Access
    44 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 proceedingConference contribution

    Open Access
    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 proceedingConference contribution

    23 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 proceedingConference 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 proceedingConference contribution

    Open Access
    142 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 proceedingConference contribution

    162 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 proceedingConference 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 proceedingConference contribution

    Open Access
    167 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 proceedingConference contribution

    Open Access
    245 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 proceedingConference contribution

    Open Access
    375 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 proceedingConference contribution

    167 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 proceedingConference contribution

    76 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

    6 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 proceedingConference contribution

    Open Access
    8 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 proceedingConference contribution

    6 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 proceedingConference contribution

    35 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 proceedingConference contribution

    156 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 proceedingConference contribution

    7 Scopus citations