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 | 1071 | 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 | 853 | 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 | 769 | 2013 |
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem JN Foster, MB Greenwald, JT Moore, BC Pierce, A Schmitt ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (3), 17-es, 2007 | 759 | 2007 |
Netcache: Balancing key-value stores with fast in-network caching X Jin, X Li, H Zhang, R Soulé, J Lee, N Foster, C Kim, I Stoica Proceedings of the 26th Symposium on Operating Systems Principles, 121-136, 2017 | 606 | 2017 |
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 | 555 | 2014 |
Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... Theorem Proving in Higher Order Logics: 18th International Conference …, 2005 | 415 | 2005 |
Bidirectional Transformations: A Cross-Discipline Perspective: GRACE Meeting Notes, State of the Art, and Outlook K Czarnecki, JN Foster, Z Hu, R Lämmel, A Schürr, JF Terwilliger Theory and Practice of Model Transformations: Second International …, 2009 | 375 | 2009 |
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 | 333 | 2012 |
{NetChain}:{Scale-Free}{Sub-RTT} coordination X Jin, X Li, H Zhang, N Foster, J Lee, R Soulé, C Kim, I Stoica 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018 | 310 | 2018 |
Fattire: Declarative fault tolerance for software-defined networks M Reitblatt, M Canini, A Guha, N Foster Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013 | 274 | 2013 |
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 | 269 | 2013 |
Merlin: A language for managing network resources R Soulé, S Basu, PJ Marandi, F Pedone, R Kleinberg, EG Sirer, N Foster IEEE/ACM Transactions on Networking 26 (5), 2188-2201, 2018 | 252* | 2018 |
Modular sdn programming with pyretic J Reich, C Monsanto, N Foster, J Rexford, D Walker Technical Reprot of USENIX 30, 2013 | 244 | 2013 |
Boomerang: resourceful lenses for string data A Bohannon, JN Foster, BC Pierce, A Pilkiewicz, A Schmitt Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 240 | 2008 |
Splendid isolation: A slice abstraction for software-defined networks S Gutz, A Story, C Schlesinger, N Foster Proceedings of the first workshop on Hot topics in software defined networks …, 2012 | 204* | 2012 |
P4fpga: A rapid prototyping framework for p4 H Wang, R Soulé, HT Dang, KS Lee, V Shrivastav, N Foster, ... Proceedings of the Symposium on SDN Research, 122-135, 2017 | 203 | 2017 |
{Semi-oblivious} traffic engineering: The road not taken P Kumar, Y Yuan, C Yu, N Foster, R Kleinberg, P Lapukhov, CL Lim, ... 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018 | 184* | 2018 |
Abstractions for software-defined networks M Casado, N Foster, A Guha Communications of the ACM 57 (10), 86-95, 2014 | 184 | 2014 |
P4v: Practical verification for programmable data planes J Liu, W Hallahan, C Schlesinger, M Sharif, J Lee, R Soulé, H Wang, ... Proceedings of the 2018 Conference of the ACM Special Interest Group on data …, 2018 | 167 | 2018 |