Nate Foster

Nate Foster

Office: 432 Gates Hall
Phone: (607) 255-5210
Email: jnfoster[at]cs.cornell.edu

Research Overview

My research focuses on problems in programming languages, networks, and security. Some topics of interest include semantics, type systems, bidirectional languages, provenance, data synchronization, and mechanized proof. Recently I have also been working on domain-specific languages for networks.

Recent News

Projects

Frenetic
Merlin
Forest Forest
BoomerangBoomerang

Recent Publications

Nate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva, and Laure Thompson. A Coalgebraic Decision Procedure for NetKAT. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Mumbai, India, January 2015. [ conference version ]

Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, and Nate Foster. Merlin: A Language for Provisioning Network Resources. In ACM SIGCOMM Conference on emerging Networking EXperiments and Technologies (CONEXT), Sydney, Australia, December 2014. [ conference version ]

Martin Casado, Nate Foster, and Arjun Guha. Abstractions for Software-Defined Networks. CACM, 57(10):86-95, October 2014. [ full version ]

Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. NetKAT: Semantic Foundations for Networks. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Diego, CA, January 2014. To appear. [ tech report | conference version ]

Laurent Vanbever, Joshua Reich, Theophilus Benson, Nate Foster, and Jennifer Rexford. HotSwap: Correct and Efficient Controller Upgrades for Software-Defined Networks. In ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN), Hong Kong, China, August 2013. To appear. [ conference version ]

Mark Reitblatt, Marco Canini, Arjun Guha, and Nate Foster. FatTire: Declarative Fault Tolerance for Software-Defined Networks. In ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN), Hong Kong, China, August 2013. To appear. [ conference version ]

Andrew Noyes, Todd War, Pavol Černý, and Nate Foster. Toward Synthesis of Network Updates. In Workshop on Synthesis (SYNT), St Petersburg, Russia, July 2013. [ conference version ]

Arjun Guha, Mark Reitblatt, and Nate Foster. Machine-Verified Network Controllers. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Seattle, WA, June 2013. To appear. [ conference version ]

Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. Composing Software Defined Networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Lombard, IL, April 2013. [ conference version ]

Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, and Rob Harrison. Languages for software-defined networks. IEEE Communications Magazine, 51(2):128-134, 2013. [ pdf | official version ]

Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, and David Walker. Abstractions for Network Update. In ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), Helsinki, Finland, pages 323-334, August 2012. [ conference version ]

Research Group

I am very fortunate to work with a great group!

Current Alumni * = CRA honoree

Teaching

Current Semester

Past Semesters

Professional Activities

Validate XHTML Validate CSS
Last updated January 2012