conf.researchr.org / Nate Foster
Registered user since Tue 30 Aug 2016
Name:Nate Foster
Bio:
Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street. During the 2023-24 academic year he is also a Visiting Professor at EPFL in the Data Center Systems Laboratory. He is the recipient of the NSF CAREER Award, Sloan Research Fellowship, ACM SIGCOMM Rising Star Award, and ACM SIGPLAN Robin Milner Award.
Country:United States
Affiliation:Cornell University and Jane Street
Personal website: http://www.cs.cornell.edu/~jnfoster/
X (Twitter): https://x.com/natefoster
GitHub: https://github.com/jnfoster
Research interests:Programming Languages, Networking
Contributions
2025
2024
RTFM
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