• Sign in
  • Sign up
conf.researchr.org / Eric Campbell
  • ECOOP 2019 profile
  • PLDI 2022 profile
  • POPL 2022 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

PLDI 2022 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 2022 Author of Dependently-Typed Data Plane Programming within the POPL-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

Share
xSat 21 May 08:26
using conf.researchr.org (v1.55.6)
Support page
Sign Up