David Walker - Publications, H-index & Citations

David Walker

princeton university

52H指数

238论文数

1.4W被引数

收录论文 6

发表时间

Network Change Validation with Relational NetKAT 使用关系型NetKAT进行网络变更验证

Proceedings of the ACM on Programming Languages-PACMPL

IF2.8

2026-01-01

PREAI

Xu, Han; Kincaid, Zachary; Mahajan, Ratul; Walker, David

Automated Optimization of Parameterized Data-Plane Programs With Parasol

IEEE-ACM TRANSACTIONS ON NETWORKING

IF3.6

2025-01-01

PREAI

Hogan, Mary; Loehr, Devon; Sonchack, John; Feibish, Shir Landau; Rexford, Jennifer; Walker, David

Kirigami, the Verifiable Art of Network Cutting

IEEE-ACM TRANSACTIONS ON NETWORKING

IF3.6

2024-06-01

OAAI

Thijm, Timothy Alberdingk; Beckett, Ryan; Gupta, Aarti; Walker, David

HONE: Joint Host-Network Traffic Management in Software-Defined Networks

JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT

IF3.9

2014-07-01

PREAI

Sun, Peng; Yu, Minlan; Freedman, Michael J.; Rexford, Jennifer; Walker, David

Languages for Software-Defined Networks 软件定义网络的语言

IEEE COMMUNICATIONS MAGAZINE

IF8.2

2013-02-01

115

OAAI

Foster, Nate; Guha, Arjun; Reitblatt, Mark; Story, Alec; Freedman, Michael J.; Katta, Naga Praveen; Monsanto, Christopher; Reich, Joshua; Rexford, Jennifer; Schlesinger, Cole; Walker, David; Harrison, Major Robert

Composing Expressive Runtime Security Policies

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2009-06-04

OAAI

Bauer, Lujo; Ligatti, Jay; Walker, David

研究方向