Nate Foster

Registered user since Tue 30 Aug 2016

Name: Nate Foster

Bio: Nate Foster is an Associate Professor of Computer Science at Cornell University. The goal of his research is to develop languages and tools that make it easy for programmers to build secure and reliable systems. His current work focuses on the design and implementation of languages for programming software-defined networks. In the past he has also worked on bidirectional languages (also known as “lenses”), database query languages, data provenance, type systems, mechanized proof, and formal semantics. He received a PhD in Computer Science from the University of Pennsylvania, an MPhil in History and Philosophy of Science from Cambridge University, and a BA in Computer Science from Williams College. His awards include a Sloan Research Fellowship, an NSF CAREER Award, a Most Influential POPL Paper Award, a Tien ’72 Teaching Award, a Google Research Award, a Yahoo! Academic Career Enhancement Award, a Cornell Engineering Research Excellence Award, and the Morris and Dorothy Rubinoff Award.

Country: United States

Affiliation: Cornell University

Personal website: http://www.cs.cornell.edu/~jnfoster/

Research interests: Programming Languages, Networking, Databases

Contributions

PLMW @ ICFP 2019PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP 2019-track
POPL 2020Industrial Relations Co-Chair in Organizing Committee
ECOOP 2019Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track
Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track
Author of Formal Methods and Computer Networks: A Match Made in Heaven? within the Curry On-track
PLDI 2019Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
DSLDI 2018Committee Member in Program Committee within the DSLDI 2018-track
PPS 2018Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track
NetPL 2018Moderator of Panel within the NetPL 2018-track
Organizing Committee in Organizing Committee within the NetPL 2018-track
Organization Co-chair of Wrap Up within the NetPL 2018-track
DSLDI 2017Author of Property Law as a Programming Language within the DSLDI 2017-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
RDP 2017Organizing Chair in Program Committee within the RDP-track
Session Chair of Welcome (part of RDP)
Session Chair of Session III (part of RDP)
Author of Discussion within the RDP-track
Author of Welcome within the RDP-track
POPL 2017Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track
SPLASH 2017Author of Verifying Network Data Planes within the SPLASH-I-track
Session Chair of Compilers (part of SPLASH-I)
PLDI 2017Committee Member in External Program Committee
Tutorial organizer of P4: Programming the Network Data Plane within the PLDI Tutorials-track
ICFP 2016Committee Member in Program Committee within the Research Papers-track
PLDI 2016Author of Event-driven Network Programming within the Research Papers-track
SPLASH 2016Author of Incremental Forest: A DSL for Efficiently Managing Filestores within the OOPSLA-track
POPL 2016ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
PLDI 2015Committee Member in Program Committee within the Research Papers-track
Session Chair of Logic (part of Research Papers)
Author of Efficient Synthesis of Network Updates within the Research Papers-track