Suivre
Nate Foster
Nate Foster
Professor of Computer Science, Cornell University
Adresse e-mail validée de cs.cornell.edu - Page d'accueil
Titre
Citée par
Citée par
Année
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
10772011
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
7712013
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
7602007
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
6012017
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
5532014
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
4142005
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
3752009
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
3062018
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
2762013
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
2752013
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
251*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
2382008
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
2042017
{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
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
1632018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20