Nate Foster -

Registered user since Tue 30 Aug 2016

Name:Nate Foster

Bio:

Nate Foster is an Professor of Computer Science at Cornell University and a Platform Architect at Intel. 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. 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, the SIGCOMM Rising Star Award, and paper awards at POPL, ICFP, NSDI, CoNEXT, and SIGCOMM.

Country:United States

Affiliation:Cornell University

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

Research interests:Programming Languages, Networking, Databases

Contributions

ECOOP 2023	Author of Automata Learning with an Incomplete Teacher within the Research Papers-track
PLDI 2023	Associate Editor in PLDI Review Committee within the PLDI Research Papers-track Author of Welcome to PLDI within the PLDI Research Papers-track PC Chair in Organizing Committee Session Chair of PLDI: Welcome & Opening Session (part of PLDI Research Papers)
POPL 2023	Session Chair of Thursday Morning Break Session Preview (part of Session Previews) Session Preview Chair in Organizing Committee Panelist of Panel: Next 50 Years of POPL within the POPL-track Speaker of Synthesis II: Session Preview within the Session Previews-track Session Chair of Wednesday Breakfast Session Preview (part of Session Previews)
CPP 2023	Author of P4Cub: A Little Language for Big Routers within the CPP 2023-track
ICFP 2022	Author of Deep Programmability: A New Lens on Networking within the ICFP Papers and Events-track
PLDI 2022	Committee Member in PLDI within the PLDI-track Author of Leapfrog: Certified Equivalence for Protocol Parsers within the PLDI-track Author of (POPL 2022) Dependently-Typed Data Plane Programming within the SIGPLAN Track-track Session Chair of Semantics (part of PLDI) Author of (POPL 2021) Petr4: Formal Foundations for P4 Data Planes within the SIGPLAN Track-track
POPL 2022	Author of Dependently-Typed Data Plane Programming within the POPL-track Industrial Relations in Organizing Committee
ProLaLa 2022	Author of Legal Calculi within the ProLaLa Programming Languages and the Law-track Committee Member in Program Committee within the ProLaLa Programming Languages and the Law-track Author of Littleton: An Educational Environment for Property Law within the ProLaLa Programming Languages and the Law-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track
POPL 2021	Author of Petr4: Formal Foundations for P4 Data Planes within the POPL-track Industrial Relations in Organizing Committee
PLMW @ ICFP 2020	Organizer of Welcome within the PLMW @ ICFP 2020-track Committee Member in Organizing Committee within the PLMW @ ICFP 2020-track
PLDI 2020	Committee Member in External Program Committee within the PLDI Research Papers-track
POPL 2020	Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track Industrial Relations Co-Chair in Organizing Committee Organizer in Organizers within the Ally Skills Session-track Author of [T7] Programming and Reasoning with Kleene Algebra with Tests within the TutorialFest-track
PEPM 2020	Keynote Speaker of Network Verification: Past, Present, and Future within the PEPM 2020-track
APLAS 2019	Author of Transactional Forest: A DSL for Managing Concurrent Filestores within the Research Papers-track Author of Network Verification: Past, Present, and Future within the Keynote Talks-track
SPLASH 2019	Author of Property Conveyances as a Programming Language within the Onward! Papers-track
PLMW @ ICFP 2019	PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP 2019-track
ECOOP 2019	Author 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 2019	Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
DSLDI 2018	Committee Member in Program Committee within the DSLDI 2018-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-track
NetPL 2018	Moderator 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
PPS 2018	Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track
SPLASH 2017	Author of Verifying Network Data Planes within the SPLASH-I-track Session Chair of Compilers (part of SPLASH-I)
DSLDI 2017	Author of Property Law as a Programming Language within the DSLDI 2017-track
PLDI 2017	Committee Member in External Program Committee Tutorial organizer of P4: Programming the Network Data Plane within the PLDI Tutorials-track
POPL 2017	Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track
RDP 2017	Organizing 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
SPLASH 2016	Author of Incremental Forest: A DSL for Efficiently Managing Filestores within the OOPSLA-track
ICFP 2016	Committee Member in Program Committee within the Research Papers-track
PLDI 2016	Author of Event-driven Network Programming within the Research Papers-track
POPL 2016	ERC member in External Reviewing Committee ERC member in External Reviewing Committee within the Research Papers-track
SPLASH 2015	Committee Member in Program Committee within the OOPSLA-track
PLDI 2015	Committee 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