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

Steffen Smolka, Spiridon Eliopoulos, Nate Foster, and Arjun Guha. A Fast Compiler for NetKAT. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Vancouver, BC, September 2015. [ conference version ]

Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, and Nate Foster. Efficient Synthesis of Network Updates. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Portland, OR, June 2015. [ conference version ]

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 ]

Research Group

I am very fortunate to work with a great group!

Current Alumni * = CRA honoree
# = NSF fellow


Current Semester

Past Semesters

Professional Activities

Validate XHTML Validate CSS
Last updated January 2012