Nate Foster

Nate Foster

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

Overview

My research uses ideas from programming languages to solve problems in networking, databases, and security. Some topics of interest include semantics, type systems, bidirectional languages, data synchronization, and mechanized proof. Recently I spend most of my time thinking about network programming.

News

Current Projects

ProbNetKAT

Frenetic

Past Projects

COSciN   COSciN

Merlin   Merlin

BoomerangBoomerang

Recent Publications [All]

Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiun Lin Lim, and Robert Soulé. Semi-Oblivious Traffic Engineering: The Road Not Taken. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Renton, WA, April 2018. [ blog post | conference version ]

Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, and Ion Stoica. NetChain: Scale-Free Sub-RTT Coordination. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Renton, WA, April 2018. Best paper award. [ conference version ]

Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, and Robert Soulé. Life in the Fast Lane: A Line-Rate Linear Road. In ACM SIGCOMM Symposium on Software-Defined Networking Research (SOSR), Los Angeles, CA, March 2018. [ conference version ]

Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, and Robert Soulé. YATES: Rapid Prototyping for Traffic Engineering Systems. In ACM SIGCOMM Symposium on Software-Defined Networking Research (SOSR), Los Angeles, CA, March 2018. [ conference version ]

Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, and Ion Stoica. NetCache: Balancing Key-Value Stores with Fast In-Network Caching. In ACM SIGOPS Symposium on Operating Systems Principles (SOSP), Shanghai, China, pages 121--136, October 2017. [ conference version ]

Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, and Xi Wang. Life on the Edge: Unraveling Policies into Configurations. In IEEE/ACM Symposium on Architectures for Networking and Communications Systems (ANCS), Beijing, China , May 2017. [ conference version ]

Han Wang, Robert SoulĂ©, Huynh Tu Dang, Ki Suh Lee, Vishal Shrivastav, Nate Foster, and Hakim Weatherspoon. P4FPGA: A Rapid Prototyping Framework for P4. In ACM SIGCOMM Symposium on Software-Defined Networking Research (SOSR), Santa Clara, CA, April 2017. [ conference version ]

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, and Alexandra Silva. Cantor Meets Scott: Semantic Foundations for Probabilistic Networks. In ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL), Paris, France, January 2017. [ conference version ]

Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, and Nate Foster. Incremental Forest: A DSL for Efficiently Managing Filestores. In ACM SIGPLAN Conference on Object-Oriented Programming Languages, Systems, and Applications (OOPSLA), Amsterdam, Netherlands, October 2016. [ conference version ]

Hossein Hojjat, Phillip Reummer, Jedidiah McClurg, Pavol Cerny, and Nate Foster. Optimizing Horn Solvers for Network Repair. In Formal Methods in Computer Aided Design (FMCAD), Mountain View, CA, USA, October 2016. [ conference version ]

Pavol Cerny, Nate Foster, Nilesh Jagnik, and Jedidiah McClurg. Consistent Network Updates in Polynomial Time. In International Symposium on Distributed Computing (DISC), Paris, France, September 2016. [ conference version ]

Jedidiah McClurg, Hossein Hojjat, Nate Foster, and Pavol Cerny. Event-Driven Network Programming. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Santa Barbara, CA, June 2016. [ conference version ]

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, and Alexandra Silva. Probabilistic NetKAT. In European Symposium on Programming (ESOP), Eindhoven, Netherlands, April 2016. [ conference version ]

Karla Saur, Joseph Collard, Nate Foster, Arjun Guha, Laurent Vanbever, and Michael Hicks. Safe and Flexible Controller Upgrades for SDNs. In ACM SIGCOMM Symposium on Software-Defined Networking Research (SOSR), Santa Clara, CA, March 2016. [ conference version ]

Haoxian Chen, Nate Foster, Jake Silverman, Michael Whittaker, Brandon Zhang, and Rene Zhang. Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis. In ACM SIGCOMM Symposium on Software-Defined Networking Research (SOSR), Santa Clara, CA, March 2016. [ conference version ]

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 ]

Nikolaj Bjorner, Nate Foster, Philip Brighten Godfrey, and Pamela Zave. Formal Foundations for Networking (Dagstuhl Seminar 15071). Dagstuhl Reports, 5(2):44--63, 2015. [ DOI | http ]

Research Group

I am very fortunate to work with a great group!

Alumni

* = CRA honoree
# = NSF fellow

Teaching

Current Semester

Past Semesters

Professional Activities

Validate XHTML Validate CSS
Last updated November 2017