Folgen
Nate Foster
Nate Foster
Professor of Computer Science, Cornell University
Bestätigte E-Mail-Adresse bei cs.cornell.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
10842011
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
8602012
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
7762013
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
7682007
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
6442017
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
5682014
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
4212005
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
3802009
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
3352012
{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
3252018
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
2762013
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
2732013
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
254*2018
Modular sdn programming with pyretic
J Reich, C Monsanto, N Foster, J Rexford, D Walker
Technical Reprot of USENIX 30, 2013
2452013
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
2432008
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
2112017
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
205*2012
{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
199*2018
Abstractions for software-defined networks
M Casado, N Foster, A Guha
Communications of the ACM 57 (10), 86-95, 2014
1832014
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
1772018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20