• Sign in
  • Sign up
conf.researchr.org / Eric Campbell
  • ECOOP 2019 profile
  • PLDI 2022 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • SPLASH 2024 profile
  • SPLASH/ISSTA 2026 profile
Eric Campbell

Registered user since Mon 15 Jul 2019

Name:Eric Campbell
Country:United States
Affiliation:Cornell University
Personal website: https://ericthewry.github.io/
Research interests:Programming Languages, Networking, Formal Methods, Domain Specific Languages, Logic

Contributions

2026

SPLASH

  • Committee Member in OOPSLA Review Committee within the OOPSLA-track

2024

SPLASH

  • Author of Computing Precise Control Interface Specifications within the OOPSLA 2024-track

2023

POPL

  • Session Chair of Wednesday Morning Break Session Preview (part of Session Previews)
  • Speaker of Relational & Automated Verification: Session Preview within the Session Previews-track
  • Session Chair of Thursday Breakfast Session Preview (part of Session Previews)

CPP

  • Author of P4Cub: A Little Language for Big Routers within the CPP 2023-track

2022

PLDI

  • Author of (POPL 2022) Dependently-Typed Data Plane Programming within the SIGPLAN Track-track
  • Author of Kleene Algebra Modulo Theories: A Framework for Concrete KATs within the PLDI-track

POPL

  • Author of Dependently-Typed Data Plane Programming within the POPL-track

2019

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
Share
xTue 10 Jun 15:11
using conf.researchr.org (v1.69.0)
Support page
Sign Up