| P4: Programming protocol-independent packet processors P Bosshart, D Daly, G Gibb, M Izzard, N McKeown, J Rexford, ... ACM SIGCOMM Computer Communication Review 44 (3), 87-95, 2014 | 3179 | 2014 |
| From System F to typed assembly language G Morrisett, D Walker, K Crary, N Glew ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999 | 1176 | 1999 |
| From System F to typed assembly language G Morrisett, D Walker, K Crary, N Glew ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999 | 1176 | 1999 |
| Frenetic: A network programming language N Foster, R Harrison, MJ Freedman, C Monsanto, J Rexford, A Story, ... ACM Sigplan Notices 46 (9), 279-291, 2011 | 1074 | 2011 |
| Abstractions for network update M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012 | 854 | 2012 |
| Composing software defined networks C Monsanto, J Reich, N Foster, J Rexford, D Walker 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2013 | 768 | 2013 |
| NetKAT: Semantic foundations for networks CJ Anderson, N Foster, A Guha, JB Jeannin, D Kozen, C Schlesinger, ... Acm sigplan notices 49 (1), 113-126, 2014 | 548 | 2014 |
| Edit automata: Enforcement mechanisms for run-time security policies J Ligatti, L Bauer, D Walker International Journal of Information Security 4, 2-16, 2005 | 444 | 2005 |
| Optimizing the" one big switch" abstraction in software-defined networks N Kang, Z Liu, J Rexford, D Walker Proceedings of the ninth ACM conference on Emerging networking experiments …, 2013 | 375 | 2013 |
| A compiler and run-time system for network programming languages C Monsanto, N Foster, R Harrison, D Walker Acm sigplan notices 47 (1), 217-230, 2012 | 338 | 2012 |
| Alias types F Smith, D Walker, G Morrisett European Symposium on Programming, 366-381, 2000 | 338 | 2000 |
| TALx86: A realistic typed assembly language K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ... 1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999 | 321 | 1999 |
| Typed memory management in a calculus of capabilities K Crary, D Walker, G Morrisett Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 317 | 1999 |
| Consistent updates for software-defined networks: Change you can believe in! M Reitblatt, N Foster, J Rexford, D Walker Proceedings of the 10th ACM workshop on hot topics in networks, 1-6, 2011 | 287 | 2011 |
| Languages for software-defined networks N Foster, A Guha, M Reitblatt, A Story, MJ Freedman, NP Katta, ... IEEE Communications Magazine 51 (2), 128-134, 2013 | 276 | 2013 |
| A general approach to network configuration verification R Beckett, A Gupta, R Mahajan, D Walker Proceedings of the Conference of the ACM Special Interest Group on Data …, 2017 | 263 | 2017 |
| Alias types for recursive data structures D Walker, G Morrisett International Workshop on Types in Compilation, 177-206, 2000 | 262 | 2000 |
| Run-time enforcement of nonsafety policies J Ligatti, L Bauer, D Walker ACM Transactions on Information and System Security (TISSEC) 12 (3), 1-41, 2009 | 254 | 2009 |
| Modular sdn programming with pyretic J Reich, C Monsanto, N Foster, J Rexford, D Walker Technical Reprot of USENIX 30, 2013 | 248 | 2013 |
| Incremental consistent updates NP Katta, J Rexford, D Walker Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013 | 248 | 2013 |
