
Registered user since Tue 30 Aug 2016
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.
Contributions
2024
2023
SPLASH
PLDI
POPL
- 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)
2022
ICFP
PLDI
- 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
ProLaLa
- 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
2021
2020
PLMW
POPL
- 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
2019
APLAS
ECOOP
- 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