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

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

Teaching

Current Semester

Past Semesters

Professional Activities

Validate XHTML Validate CSS
Last updated January 2012