David Walker

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 4

Top Topics

Network Monitoring

Collective Classification

Computer Networks

Top Venues

IEEE/ACM Trans. Netw.

Publications

Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
Relational Network Verification. SIGCOMM (2024)
Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
Relational Network Verification. CoRR (2024)
Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker
Sequence Abstractions for Flexible, Line-Rate Network Monitoring. NSDI (2024)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Kirigami, the Verifiable Art of Network Cutting. IEEE/ACM Trans. Netw. 32 (3) (2024)