Nate Foster
Assistant Professor
Department of Computer Science
Cornell University
Office: 4137 Upson Hall
Phone: (607) 255-5210
Email: jnfoster[at]cs.cornell.edu
Research Overview
My research focuses on problems in programming languages, data management, 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
- Splendid Isolation: A Slice Abstraction for Software-Defined Networks accepted to HotSDN '12 [May]
- Abstractions for Network Update accepted to SIGCOMM '12 [April]
- Sloan Research Fellowship [February]
- Gossip camera-ready sent to LADA '12 [December]
- Frenetic camera-ready sent to LADA '12 [December]
- DSU camera-ready sent to VSTTE '12 [December]
- Alec selected for Honorable Mention in CRA Awards [November]
- Frenetic camera-ready sent to POPL '12 [November]
Projects
Recent Publications
Lonnie Princehouse, Nate Foster, and Ken Birman. A Pairwise Abstraction for Round-Based Protocols. In Workshop on Languages for Distributed Algorithms (LADA), Philadelphia, PA, January 2012. [ conference version ]
Christopher Monsanto, Nate Foster, Rob Harrison, and David Walker. A Compiler and Run-time System for Network Programming Languages. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Philadelphia, PA, January 2012. [ conference version ]
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, and Jeffrey S. Foster. Specifying and Verifying the Correctness of Dynamic Software Updates. In International Conference on Verified Software: Theories, Tools, Experiments (VSTTE), Philadelphia, PA, January 2012. [ conference version ]
Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, and David Walker. Frenetic: A Network Programming Language. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Tokyo, Japan, September 2011. [ conference version ]
Kathleen Fisher, Nate Foster, David Walker, and Kenny Q. Zhu. Forest: A Language and Toolkit for Programming With Filestores. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Tokyo, Japan, September 2011. [ conference version ]
Research Group
I work with a great group of students:
- Robert Soulé (Postdoc)
- Arjun Guha (Postdoc, starting June)
- Shrutarshi Basu (PhD)
- Lonnie Princehouse (PhD)
- Raghu Rajkumar (PhD)
- Mark Reitblatt (PhD)
- Timothy English (MEng)
- Norris Xu (MEng)
- Alec Story (undergrad)
- Stephen Gutz (undergrad)
- Kevin Ullmann (undergrad alumnus)
- Lucas Waye (undergrad alumnus)
Teaching
- CS 3110: Data Structures and Functional Programming (Spring 2012)
- CS 6112: Foundations of Concurrency (Fall 2011)
- CS 6110: Advanced Programming Languages (Spring 2011)
- CS 4110: Programming Languages and Logics (Fall 2010)
- CS 7190: Seminar in Programming Languages (Fall 2010, Spring 2011, Fall 2011)
Professional Activities
- XLDI 2012 (PC Member)
- HotSDN 2012 (PC Member)
- TAPP 2012 (PC Member)
- RC 2012 (PC Member)
- POPL 2012 (ERC member)
- WRiPE 2011 (PC member)
- DBPL 2011 (PC Co-Chair)
- DSL 2011 (PC member)
- ICMT 2011 (PC member)
- AGTIVE 2011 (PC member)
- SSGIP 2010 (Lecturer)
- TaPP 2010 (PC member)
- PEPM 2010 (PC member)
- APLAS 2009 (PC member)
- DBPL 2009 (PC member)
- PLAN-X 2009 (PC member)
- GRACE-BX Meeting 2008 (Co-organizer)
- ProPr Workshop 2007 (Co-organizer)
