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
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