D. Walker

Most-cited papers

P4: programming protocol-independent packet processors
P. Bosshart, Dan Daly, Glen Gibb, M. Izzard +7 more
2013CCRV3,137 citations
Semantic Scholar
Frenetic: a network programming language
Nate Foster, R. Harrison, Michael J. Freedman, Christopher Monsanto +3 more
2011ACM SIGPLAN International Conference on Functional Programming756 citations
Semantic Scholar
Abstractions for network update
Mark Reitblatt, Nate Foster, J. Rexford, Cole Schlesinger +1 more
2012Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication683 citations Open access
Semantic Scholar
NetKAT: semantic foundations for networks
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin +3 more
2014ACM-SIGACT Symposium on Principles of Programming Languages509 citations
Semantic Scholar
A General Approach to Network Configuration Verification
Ryan Beckett, Aarti Gupta, Ratul Mahajan, D. Walker
2017Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication462 citations
Semantic Scholar
Optimizing the "one big switch" abstraction in software-defined networks
Nanxi Kang, Zhenming Liu, J. Rexford, D. Walker
2013Conference on Emerging Network Experiment and Technology309 citations Open access
Semantic Scholar
SNAP: Stateful Network-Wide Abstractions for Packet Processing
Mina Tahmasbi Arashloo, Yaron Koral, M. Greenberg, J. Rexford +1 more
2015Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication218 citations
Semantic Scholar
Languages for software-defined networks
Nate Foster, Arjun Guha, Mark Reitblatt, A. Story +8 more
2013IEEE Communications Magazine209 citations Open access
Semantic Scholar
Run-Time Enforcement of Nonsafety Policies
Jay Ligatti, Lujo Bauer, D. Walker
2009TSEC209 citations Open access
Semantic Scholar
Consistent updates for software-defined networks: change you can believe in!
Mark Reitblatt, Nate Foster, J. Rexford, D. Walker
2011HotNets-X207 citations
Semantic Scholar
Incremental consistent updates
N. Katta, J. Rexford, D. Walker
2013HotSDN '13206 citations Open access
Semantic Scholar
Modular SDN Programming with Pyretic
Joshua Reich, Christopher Monsanto, Nate Foster, J. Rexford +1 more
2013Login: The Usenix Magazine205 citations
Semantic Scholar
CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks
N. Katta, Omid Alipourfard, J. Rexford, D. Walker
2016ACM SIGCOMM Symposium on Software Defined Networking Research194 citations Open access
Semantic Scholar
Infinite CacheFlow in software-defined networks
N. Katta, Omid Alipourfard, J. Rexford, D. Walker
2014HotSDN179 citations Open access
Semantic Scholar
Harmless advice
Daniel S. Dantas, D. Walker
2006ACM-SIGACT Symposium on Principles of Programming Languages163 citations
Semantic Scholar
CoVisor: A Compositional Hypervisor for Software-Defined Networks
Xin Jin, Jennifer Gossels, J. Rexford, D. Walker
2015Symposium on Networked Systems Design and Implementation161 citations
Semantic Scholar
Example-directed synthesis: a type-theoretic interpretation
Jonathan Frankle, Peter-Michael Osera, D. Walker, Steve Zdancewic
2016ACM-SIGACT Symposium on Principles of Programming Languages116 citations
Semantic Scholar
A survey of the practice of computational science
Prakash Prabhu, Hanjun Kim, Taewook Oh, T. Jablin +10 more
20112011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC)111 citations Open access
Semantic Scholar
Contra: A Programmable System for Performance-aware Routing
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, J. Rexford +2 more
2019Symposium on Networked Systems Design and Implementation104 citations
Semantic Scholar
From dirt to shovels: fully automatic tool generation from ad hoc data
Kathleen Fisher, D. Walker, Kenny Q. Zhu, Peter White
2008ACM-SIGACT Symposium on Principles of Programming Languages95 citations
Semantic Scholar
Compiling Path Queries
S. Narayana, Mina Tahmasbi Arashloo, J. Rexford, D. Walker
2016Symposium on Networked Systems Design and Implementation94 citations
Semantic Scholar
Frenetic: a high-level language for OpenFlow networks
Nate Foster, Michael J. Freedman, R. Harrison, J. Rexford +2 more
2010Programmable Routers for Extensible Services of Tomorrow91 citations
Semantic Scholar
Network configuration synthesis with abstract topologies
Ryan Beckett, Ratul Mahajan, T. Millstein, J. Padhye +1 more
2017ACM-SIGPLAN Symposium on Programming Language Design and Implementation90 citations Open access
Semantic Scholar
The next 700 data description languages
Kathleen Fisher, Y. Mandelbaum, D. Walker
2006ACM-SIGACT Symposium on Principles of Programming Languages84 citations Open access
Semantic Scholar
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming
Ryan Beckett, Ratul Mahajan, T. Millstein, J. Padhye +1 more
2019CCRV83 citations Open access
Semantic Scholar
Control plane compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan, D. Walker
2018Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication83 citations Open access
Semantic Scholar
NV: an intermediate language for verification of network control planes
Nick Giannarakis, Devon Loehr, Ryan Beckett, D. Walker
2020ACM-SIGPLAN Symposium on Programming Language Design and Implementation81 citations
Semantic Scholar
Semantics and algorithms for data-dependent grammars
T. Jim, Y. Mandelbaum, D. Walker
2010ACM-SIGACT Symposium on Principles of Programming Languages73 citations
Semantic Scholar
Lucid: a language for control in the data plane
John Sonchack, Devon Loehr, J. Rexford, D. Walker
2021Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication67 citations Open access
Semantic Scholar
Abstract interpretation of distributed network control planes
Ryan Beckett, Aarti Gupta, Ratul Mahajan, D. Walker
2019Proc. ACM Program. Lang.61 citations Open access
Semantic Scholar
Transparent, Live Migration of a Software-Defined Network
Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller +3 more
2014ACM Symposium on Cloud Computing54 citations
Semantic Scholar
An assertion language for debugging SDN applications
Ryan Beckett, X. Zou, Shu-Yuan Zhang, S. Malik +2 more
2014HotSDN53 citations Open access
Semantic Scholar
AspectML: A polymorphic aspect-oriented functional programming language
Daniel S. Dantas, D. Walker, Geoffrey Washburn, Stephanie Weirich
2008TOPL53 citations Open access
Semantic Scholar
The PADS project: an overview
Kathleen Fisher, D. Walker
2011International Conference on Database Theory52 citations
Semantic Scholar
PADS/ML: a functional data description language
Y. Mandelbaum, Kathleen Fisher, D. Walker, M. Fernández +1 more
2007ACM-SIGACT Symposium on Principles of Programming Languages46 citations
Semantic Scholar
Logic Programming for Software-Defined Networks
Naga Praveen Katta, J. Rexford, D. Walker
201245 citations
Semantic Scholar
Fault-tolerant typed assembly language
Frances Perry, L. Mackey, George A. Reis, Jay Ligatti +2 more
2007ACM-SIGPLAN Symposium on Programming Language Design and Implementation45 citations Open access
Semantic Scholar
Static typing for a faulty lambda calculus
D. Walker, L. Mackey, Jay Ligatti, George A. Reis +1 more
2006ACM SIGPLAN International Conference on Functional Programming44 citations
Semantic Scholar
Adaptive Weighted Traffic Splitting in Programmable Data Planes
Kuo-Feng Hsu, P. Tammana, Ryan Beckett, Ang Chen +2 more
2020ACM SIGCOMM Symposium on Software Defined Networking Research42 citations
Semantic Scholar
Compiling path queries in software-defined networks
S. Narayana, J. Rexford, D. Walker
2014HotSDN41 citations Open access
Semantic Scholar
Composing expressive runtime security policies
Lujo Bauer, Jay Ligatti, D. Walker
2009TSEM39 citations Open access
Semantic Scholar
A type-theoretic interpretation of pointcuts and advice
Jay Ligatti, D. Walker, Steve Zdancewic
2006Science of Computer Programming39 citations Open access
Semantic Scholar
Synthesizing bijective lenses
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, D. Walker +1 more
2017Proc. ACM Program. Lang.37 citations Open access
Semantic Scholar
Concurrent NetCore
Cole Schlesinger, M. Greenberg, D. Walker
2014ACM SIGPLAN International Conference on Functional Programming34 citations
Semantic Scholar
Modular protections against non-control data attacks
Cole Schlesinger, K. Pattabiraman, Nikhil Swamy, D. Walker +1 more
2011IEEE Computer Security Foundations Symposium34 citations Open access
Semantic Scholar
Data-driven inference of representation invariants
Anders Miltner, Saswat Padhi, T. Millstein, D. Walker
2020ACM-SIGPLAN Symposium on Programming Language Design and Implementation33 citations Open access
Semantic Scholar
Modular Control Plane Verification via Temporal Invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, D. Walker
2022Proc. ACM Program. Lang.30 citations Open access
Semantic Scholar
Elastic Switch Programming with P4All
Mary Hogan, Shir Landau-Feibish, Mina Tahmasbi Arashloo, J. Rexford +2 more
2020ACM Workshop on Hot Topics in Networks28 citations
Semantic Scholar
HotCocoa: Hardware Congestion Control Abstractions
Mina Tahmasbi Arashloo, Monia Ghobadi, J. Rexford, D. Walker
2017ACM Workshop on Hot Topics in Networks28 citations Open access
Semantic Scholar
ILC: A Foundation for Automated Reasoning About Pointer Programs
Li-Min Jia, D. Walker
2006European Symposium on Programming27 citations Open access
Semantic Scholar