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
10752011
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
8572012
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
7702013
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
7562007
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
5952017
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
5502014
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
4122005
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
3722009
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
3382012
{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
3052018
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
2752013
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
2742013
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
250*2018
Modular sdn programming with pyretic
J Reich, C Monsanto, N Foster, J Rexford, D Walker
Technical Reprot of USENIX 30, 2013
2482013
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
2362008
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
207*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
1992017
Abstractions for software-defined networks
M Casado, N Foster, A Guha
Communications of the ACM 57 (10), 86-95, 2014
1832014
{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
179*2018
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
1592018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20