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

POPL 2023	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 2023	Author of P4Cub: A Little Language for Big Routers within the CPP 2023-track
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