David Walker
Princeton University
H-index: 60
North America-United States
Top articles of David Walker
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Relational Network Verification | arXiv preprint arXiv:2403.17277 | Xieyang Xu Yifei Yuan Zachary Kincaid Arvind Krishnamurthy Ratul Mahajan | 2024/3/25 |
Sequence Abstractions for Flexible,{Line-Rate} Network Monitoring | Andrew Johnson Ryan Beckett Xiaoqi Chen Ratul Mahajan David Walker | 2024 | |
Automated Optimization of Parameterized Data-Plane Programs with Parasol | arXiv preprint arXiv:2402.11155 | Mary Hogan Devon Loehr John Sonchack Shir Landau Feibish Jennifer Rexford | 2024/2/17 |
Kirigami, the verifiable art of network cutting | IEEE/ACM Transactions on Networking | Timothy Alberdingk Thijm Ryan Beckett Aarti Gupta David Walker | 2024/2/12 |
Modular control plane verification via temporal invariants | Proceedings of the ACM on Programming Languages | Timothy Alberdingk Thijm Ryan Beckett Aarti Gupta David Walker | 2023/6/6 |
SwitchLog: A Logic Programming Language for Network Switches | Vaibhav Mehta Devon Loehr John Sonchack David Walker | 2023/1/8 | |
NAP: Programming Data Planes with Approximate Data Structures | Mengying Pan Hyojoon Kim Jennifer Rexford David Walker | 2023/12/8 | |
Test Coverage for Network Configurations | Xieyang Xu Weixin Deng Ryan Beckett Ratul Mahajan David Walker | 2023 | |
Saggitarius: A DSL for Specifying Grammatical Domains | Proceedings of the ACM on Programming Languages | Anders Miltner Devon Loehr Arnold Mong Kathleen Fisher David Walker | 2023/10/16 |
Technical Report: Match-reference regular expressions and lenses | arXiv preprint arXiv:2212.04439 | Jeanne-Marie Musca Anders Miltner Kathleen Fisher David Walker | 2022/12/8 |
Modular switch programming under resource constraints | Mary Hogan Shir Landau-Feibish Mina Tahmasbi Arashloo Jennifer Rexford David Walker | 2022 | |
Synthesizing state machines for data planes | Xiaoqi Chen Andrew Johnson Mengying Pan David Walker | 2022/11 | |
ACORN: Network Control Plane Abstraction using Route Nondeterminism. | Divya Raghunathan Ryan Beckett Aarti Gupta David Walker | 2022/10/12 | |
Safe, modular packet pipeline programming | Proceedings of the ACM on Programming Languages | Devon Loehr David Walker | 2022/1/11 |
Lucid: A language for control in the data plane | John Sonchack Devon Loehr Jennifer Rexford David Walker | 2021/8/9 | |
ProbNV: probabilistic verification of network control planes | Proceedings of the ACM on Programming Languages | Nick Giannarakis Alexandra Silva David Walker | 2021/8/18 |
Test coverage metrics for the network | Xieyang Xu Ryan Beckett Karthick Jayaraman Ratul Mahajan David Walker | 2021/8/9 | |
Enabling Programmable Transport Protocols in {High-Speed}{NICs} | Mina Tahmasbi Arashloo Alexey Lavrov Manya Ghobadi Jennifer Rexford David Walker | 2020 | |
NV: An intermediate language for verification of network control planes | Nick Giannarakis Devon Loehr Ryan Beckett David Walker | 2020/6/11 | |
Elastic switch programming with p4all | Mary Hogan Shir Landau-Feibish Mina Tahmasbi Arashloo Jennifer Rexford David Walker | 2020/11/4 |