David Walker

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 62

Top Venues

CoRR

Proc. ACM Program. Lang.

NSDI

SIGCOMM

Publications

Mary Hogan, Devon Loehr, John Sonchack, Shir Landau Feibish, Jennifer Rexford, David Walker
Automated Optimization of Parameterized Data-Plane Programs with Parasol. CoRR (2024)
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Saggitarius: A DSL for Specifying Grammatical Domains. CoRR (2023)
Sophie Sadler, Alma A. M. Rahat, David Walker, Daniel Archambault
Extrema Graphs: Fitness Landscape Analysis to the Extreme! GECCO Companion (2023)
Mengying Pan, Hyojoon Kim, Jennifer Rexford, David Walker
NAP: Programming Data Planes with Approximate Data Structures. EuroP4@CoNEXT (2023)
Michal Darowski, Muhammad Faisal Aftab, Hongyu Li, David Walker, Guoyu Yu, Chenghui An, Christian W. Omlin
Towards Data-Driven Material Removal Rate Estimation in Bonnet Polishing. ICCMA (2023)
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Saggitarius: A DSL for Specifying Grammatical Domains. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
David Walker
Algorithms for 3D Hilbert Encoding and Decoding. CoRR (2023)
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Test Coverage for Network Configurations. NSDI (2023)
Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker
SwitchLog: A Logic Programming Language for Network Switches. PADL (2023)
David Walker
Generalised 3D Morton and Hilbert Orderings. CoRR (2023)
Alan E. Rask, Lee Huntington, SungYeon Kim, David Walker, Andrew Wildman, Rodrigo Wang, Nicole Hazel, Alan Judi, James T. Pegg, Punit K. Jha, Zara Mayimfor, Carl Dukatz, Hassan Naseri, Ilan Gleiser, Maxime R. Hugues, Paul M. Zimmerman, Arman Zaribafiyan, Rudi Plesch, Takeshi Yamazaki
Massively parallel quantum chemistry: PFAS on over 1 million cloud vCPUs. CoRR (2023)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Modular Control Plane Verification via Temporal Invariants. Proc. ACM Program. Lang. 7 (PLDI) (2023)
David Walker, Anthony Skjellum
The Impact of Space-Filling Curves on Data Movement in Parallel Systems. CoRR (2023)
Xiaoqi Chen, Andrew Johnson, Mengying Pan, David Walker
Synthesizing state machines for data planes. SOSR (2022)
Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker
Test Coverage for Network Configurations. CoRR (2022)
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Kirigami, the Verifiable Art of Network Cutting. CoRR (2022)
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
ACORN: Network Control Plane Abstraction using Route Nondeterminism. CoRR (2022)
Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker
Technical Report: Match-reference regular expressions and lenses. CoRR (2022)
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
ACORN: Network Control Plane Abstraction using Route Nondeterminism. FMCAD (2022)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Modular Control Plane Verification via Temporal Invariants. CoRR (2022)
Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker
Modular Switch Programming Under Resource Constraints. NSDI (2022)
Devon Loehr, David Walker
Safe, modular packet pipeline programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Zena Wood, David Walker, Glenn Parry
A computational method to track the evolution of business models in the Digital Economy. HICSS (2022)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Kirigami, the Verifiable Art of Network Cutting. ICNP (2022)
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
Test coverage metrics for the network. SIGCOMM (2021)
John Sonchack, Devon Loehr, Jennifer Rexford, David Walker
Lucid: A Language for Control in the Data Plane. CoRR (2021)
Nick Giannarakis, Alexandra Silva, David Walker
ProbNV: probabilistic verification of network control planes. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Philip Muscarella, Kelsey Brunner, David Walker
Estimating Coastal Winds by Assimilating High-Frequency Radar Spectrum Data in SWAN. Sensors 21 (23) (2021)
John Sonchack, Devon Loehr, Jennifer Rexford, David Walker
Lucid: a language for control in the data plane. SIGCOMM (2021)
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
Data-Driven Inference of Representation Invariants. CoRR (2020)
Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker
NV: an intermediate language for verification of network control planes. PLDI (2020)
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker
Contra: A Programmable System for Performance-aware Routing. NSDI (2020)
Kuo-Feng Hsu, Praveen Tammana, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker
Adaptive Weighted Traffic Splitting in Programmable Data Planes. SOSR (2020)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Abstract interpretation of distributed network control planes. Proc. ACM Program. Lang. 4 (POPL) (2020)
Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker
Data-driven inference of representation invariants. PLDI (2020)
Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison
Elastic Switch Programming with P4All. HotNets (2020)
Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff
Enabling Programmable Transport Protocols in High-Speed NICs. NSDI (2020)
Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. CAV (2) (2019)
James P. Hill, Zhongdong Wang, Qiang Liu, Shanika Matharage, Andree Hilker, David Walker
Improvements to the Construction of Bubble Inception Formulae for Use With Transformer Insulation. IEEE Access 7 (2019)
Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker
NV: An intermediate language for network verification. NetPL@SIGCOMM (2019)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing symmetric lenses. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker
Contra: A Programmable System for Performance-aware Routing. CoRR (2019)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. Comput. Commun. Rev. 49 (5) (2019)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Symmetric Lenses. CoRR (2018)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Control plane compression. SIGCOMM (2018)
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing bijective lenses. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Control Plane Compression. CoRR (2018)
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing quotient lenses. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Sarah Fallmann, Rick van Veen, Liming Chen, David Walker, Feng Chen, Chengsheng Pan
Wearable accelerometer based extended sleep position recognition. Healthcom (2017)
Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker
Programming Distributed Control Planes: Invited Demo: Demo. SOSR (2017)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Network configuration synthesis with abstract topologies. PLDI (2017)
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Bijective Lenses. CoRR (2017)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
A General Approach to Network Configuration Verification. SIGCOMM (2017)
Mina Tahmasbi Arashloo, Monia Ghobadi, Jennifer Rexford, David Walker
HotCocoa: Hardware Congestion Control Abstractions. HotNets (2017)
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
SNAP: Stateful Network-Wide Abstractions for Packet Processing. SIGCOMM (2016)
Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic
Example-directed synthesis: a type-theoretic interpretation. POPL (2016)
Srinivas Narayana, Mina Tahmasbi, Jennifer Rexford, David Walker
Compiling Path Queries. NSDI (2016)
David Walker
Confluences in programming languages research (keynote). POPL (2016)
Ryan Beckett, Michael Greenberg, David Walker
Temporal NetKAT. PLDI (2016)
Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker
Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. SIGCOMM (2016)
Naga Praveen Katta, Omid Alipourfard, Jennifer Rexford, David Walker
CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks. SOSR (2016)
Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan, Mohammad Alizadeh, David Walker, Jennifer Rexford, Vimalkumar Jeyakumar, Changhoon Kim
Hardware-Software Co-Design for Network Performance Measurement. HotNets (2016)
Peng Sun, Minlan Yu, Michael J. Freedman, Jennifer Rexford, David Walker
HONE: Joint Host-Network Traffic Management in Software-Defined Networks. J. Netw. Syst. Manag. 23 (2) (2015)
Michael Greenberg, Kathleen Fisher, David Walker
Tracking the Flow of Ideas through the Programming Languages Literature. SNAPL (2015)
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
SNAP: Stateful Network-Wide Abstractions for Packet Processing. CoRR (2015)
Xin Jin, Jennifer Gossels, Jennifer Rexford, David Walker
CoVisor: A Compositional Hypervisor for Software-Defined Networks. NSDI (2015)
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
NetkAT: semantic foundations for networks. POPL (2014)
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn
Modular protections against non-control data attacks. J. Comput. Secur. 22 (5) (2014)
Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller, Matthew Caesar, Jennifer Rexford, David Walker
Transparent, Live Migration of a Software-Defined Network. SoCC (2014)
Pat Bosshart, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat, George Varghese, David Walker
P4: programming protocol-independent packet processors. Comput. Commun. Rev. 44 (3) (2014)
Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker
An assertion language for debugging SDN applications. HotSDN (2014)
Cole Schlesinger, Michael Greenberg, David Walker
Concurrent NetCore: from policies to pipelines. ICFP (2014)
Xin Jin, Jennifer Rexford, David Walker
Incremental update for a compositional SDN hypervisor. HotSDN (2014)
Naga Praveen Katta, Omid Alipourfard, Jennifer Rexford, David Walker
Infinite CacheFlow in software-defined networks. HotSDN (2014)
Srinivas Narayana, Jennifer Rexford, David Walker
Compiling path queries in software-defined networks. HotSDN (2014)
Naga Praveen Katta, Jennifer Rexford, David Walker
Incremental consistent updates. HotSDN (2013)
Nanxi Kang, Zhenming Liu, Jennifer Rexford, David Walker
Optimizing the "one big switch" abstraction in software-defined networks. CoNEXT (2013)
Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker
Composing Software Defined Networks. NSDI (2013)
Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison
Languages for software-defined networks. IEEE Commun. Mag. 51 (2) (2013)
Pat Bosshart, Dan Daly, Martin Izzard, Nick McKeown, Jennifer Rexford, Dan Talayco, Amin Vahdat, George Varghese, David Walker
Programming Protocol-Independent Packet Processors. CoRR (2013)
Joshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker
Modular SDN Programming with Pyretic. login Usenix Mag. 38 (5) (2013)
Simon Reay Atkinson, David Walker, Kevin Beaulne, Liaquat Hossain
Cyber - Transparencies, Assurance and Deterrence. CyberSecurity (2012)
Kenny Qili Zhu, Kathleen Fisher, David Walker
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. PADL (2012)
Nanxi Kang, Joshua Reich, Jennifer Rexford, David Walker
Policy transformation in software defined networks. SIGCOMM (2012)
Christopher Monsanto, Nate Foster, Rob Harrison, David Walker
A compiler and run-time system for network programming languages. POPL (2012)
David Walker, Simon Reay Atkinson, Liaquat Hossain
Collaboration without Rules - A New Perspective on Stability Operations. SocialInformatics (2012)
Kent McClymont, David Walker, Max Dupenois
The lay of the land: a brief survey of problem understanding. GECCO (Companion) (2012)
Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker
Abstractions for network update. SIGCOMM (2012)
Vincenzo Pallotta, Rodolfo Delmonte, Lammert Vrieling, David Walker
Interaction Mining: the new Frontier of Call Center Analytics. DART@AI*IA (2011)
Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker
Consistent updates for software-defined networks: change you can believe in! HotNets (2011)
Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu
Forest: a language and toolkit for programming with filestores. ICFP (2011)
Beatriz Paniagua, Lucia H. S. Cevidanes, David Walker, Hongtu Zhu, Ruixin Guo, Martin Styner
Clinical application of SPHARM-PDM to quantify temporomandibular joint osteoarthritis. Comput. Medical Imaging Graph. 35 (5) (2011)
Rodolfo Delmonte, Vincenzo Pallotta, Violeta Seretan, Lammert Vrieling, David Walker
Une Suite d'interaction de fouille basée sur la compréhension du langage naturel (An Interaction Mining Suite Based On Natural Language Understanding). TALN (Demonstrations) (2011)
Kathleen Fisher, David Walker
The PADS project: an overview. ICDT (2011)
Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker
Frenetic: a network programming language. ICFP (2011)
Prakash Prabhu, Thomas B. Jablin, Arun Raman, Yun Zhang, Jialu Huang, Hanjun Kim, Nick P. Johnson, Feng Liu, Soumyadeep Ghosh, Stephen R. Beard, Taewook Oh, Matthew Zoufaly, David Walker, David I. August
A survey of the practice of computational science. SC State of the Practice Reports (2011)
Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn
Modular Protections against Non-control Data Attacks. CSF (2011)
Shuvendu K. Lahiri, Shaz Qadeer, David Walker
Linear maps. PLPV (2011)
Kathleen Fisher, Yitzhak Mandelbaum, David Walker
The next 700 data description languages. J. ACM 57 (2) (2010)
Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker
Frenetic: a high-level language for OpenFlow networks. PRESTO@CoNEXT (2010)

David Walker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Walker