David Walker

P4

Pat Bosshart, Dan Daly, Glen Gibb et al. · ACM SIGCOMM Computer Communication Review · 2014 · 2.8K citations

Computing, Computer Engineering, Computer Science +11

From system F to typed assembly language

Greg Morrisett, David Walker, Karl Crary et al. · ACM Transactions on Programming Languages and Systems · 1999 · 587 citations · Full text

Computing, Computer Engineering, Computer Science +17

Frenetic

Nate Foster, Rob Harrison, Michael J. Freedman et al. · ACM SIGPLAN Notices · 2011 · 585 citations

Computing, Computer Engineering, Computer Science +11

Abstractions for network update

Mark Reitblatt, Nate Foster, Jennifer Rexford et al. · 2012 · 580 citations · Full text

Computing, Computer Science, Fault-tolerant Systems +11

Composing software-defined networks

Christopher Monsanto, Joshua Reich, Nate Foster et al. · 2013 · 449 citations

Computing, Computer Science, Computer Systems +17