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

P4

ProbNetKAT

Past Projects

Frenetic

COSciN   COSciN

Merlin   Merlin

BoomerangBoomerang

Recent Publications [All]

Steffen Smolka, Praveen Kumar, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva. Scalable Verification of Probabilistic Network Programs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Phoenix, AZ, June 2019. Conditionally accepted.

Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, and Andrew C. Myers. Efficient, Consistent Distributed Computation with Predictive Treaties. In European Conference on Computer Systems (EuroSys), Dresden, Germany, March 2019. [ conference version ]

Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, and Robert Soulé. Packet Subscriptions for Programmable ASICs. In ACM SIGCOMM Workshop on Hot Topics in Networks (HotNets), Redmond, WA, pages 176--183, November 2018. [ conference version ]

Jed Liu, William Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Călin Cascaval, Nick McKeown, and Nate Foster. p4v: Practical Verification for Programmable Data Planes. In ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), Budapest, Hungary, pages 490--503, August 2018. [ 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 ]

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 ]

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 ]

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 ]

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 ]

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