Nate Foster

Nate Foster

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

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


Forest Forest

Recent Publications

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 ]

Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, and Nate Foster. Managing the Network with Merlin. In ACM SIGCOMM Workshop on Hot Topics in Networks (HotNets), College Park, MD, November 2013. To appear. [ 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 work with a great group of students and postdocs.

Current Alumni


Current Semester

Past Semesters

Professional Activities

Validate XHTML Validate CSS
Last updated January 2012