Eric Hayden Campbell

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Modulo Theories

Historical Data

Top Venues

Proc. ACM Program. Lang.

Publications

Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster
P4Cub: A Little Language for Big Routers. CPP (2023)
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-Typed Data Plane Programming. CoRR (2022)
Michael Greenberg, Ryan Beckett, Eric Hayden Campbell
Kleene algebra modulo theories: a framework for concrete KATs. PLDI (2022)
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-typed data plane programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI (2021)
Eric Hayden Campbell, Michael Greenberg
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic. CoRR (2021)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP (2019)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR (2019)
Ryan Beckett, Eric Hayden Campbell, Michael Greenberg
Kleene Algebra Modulo Theories. CoRR (2017)