Nate Foster
Nate Foster
Associate Professor of Computer Science, Cornell University
Dirección de correo verificada de cs.cornell.edu - Página principal
Título
Citado por
Citado por
Año
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
9042011
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
7212012
Composing software defined networks
C Monsanto, J Reich, N Foster, J Rexford, D Walker
10th {USENIX} Symposium on Networked Systems Design and Implementation …, 2013
6672013
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
6232007
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
3782014
Mechanized Metatheory for the Masses: The PoplMark Challenge
BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ...
International Conference on Theorem Proving in Higher Order Logics, 50-65, 2005
3632005
Bidirectional transformations: A cross-discipline perspective
K Czarnecki, JN Foster, Z Hu, R Lämmel, A Schürr, JF Terwilliger
International Conference on Theory and Practice of Model Transformations …, 2009
3332009
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
2852012
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
2372013
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
2322013
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
2222017
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
2012008
Modular sdn programming with pyretic
J Reich, C Monsanto, N Foster, J Rexford, D Walker
Technical Reprot of USENIX, 2013
1922013
Merlin: A language for provisioning network resources
R Soulé, S Basu, PJ Marandi, F Pedone, R Kleinberg, EG Sirer, N Foster
Proceedings of the 10th ACM International on Conference on emerging …, 2014
1912014
Merlin: A language for provisioning network resources
R Soulé, S Basu, PJ Marandi, F Pedone, R Kleinberg, EG Sirer, N Foster
Proceedings of the 10th ACM International on Conference on emerging …, 2014
1912014
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
171*2012
Abstractions for software-defined networks
M Casado, N Foster, A Guha
Communications of the ACM 57 (10), 86-95, 2014
1362014
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 …, 2018
1232018
Machine-verified network controllers
A Guha, M Reitblatt, N Foster
Acm Sigplan Notices 48 (6), 483-494, 2013
1222013
Provenance: a future history
J Cheney, S Chong, N Foster, M Seltzer, S Vansummeren
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
1172009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20