conf.researchr.org / Eric Campbell
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