Nate Foster
Nate Foster
Associate Professor of Computer Science, Cornell University
Verified email at cs.cornell.edu - Homepage
TitleCited byYear
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
8222011
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
6322012
Composing software defined networks
C Monsanto, J Reich, N Foster, J Rexford, D Walker
10th {USENIX} Symposium on Networked Systems Design and Implementation …, 2013
5872013
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, 2007
5612007
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
3432005
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
3102014
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
3012009
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
2532012
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
2152013
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
2052013
Boomerang: resourceful lenses for string data
A Bohannon, JN Foster, BC Pierce, A Pilkiewicz, A Schmitt
ACM SIGPLAN Notices 43 (1), 407-419, 2008
1872008
Modular sdn programming with pyretic
J Reich, C Monsanto, N Foster, J Rexford, D Walker
Technical Reprot of USENIX, 2013
1682013
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
1582014
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
1582014
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
1432012
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
1152017
Abstractions for software-defined networks
M Casado, N Foster, A Guha
Communications of the ACM 57 (10), 86-95, 2014
1132014
Machine-verified network controllers
A Guha, M Reitblatt, N Foster
ACM SIGPLAN Notices 48 (6), 483-494, 2013
1122013
Annotated XML: queries and provenance
JN Foster, TJ Green, V Tannen
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on …, 2008
1112008
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
1092009
The system can't perform the operation now. Try again later.
Articles 1–20