Kleene Algebra Modulo Theories. - Ryan Beckett; Eric Hayden Campbell; Michael Greenberg 002 (CoRR, 2017)

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. - Matthias Eichholz 001; Eric Hayden Campbell; Nate Foster; Guido Salvaneschi; Mira Mezini (ECOOP, 2019)

Avenir: Managing Data Plane Diversity with Control Plane Synthesis. - Eric Hayden Campbell; William T. Hallahan; Priya Srikumar; Carmelo Cascone; Jed Liu; Vignesh Ramamurthy; Hossein Hojjat; Ruzica Piskac; Robert Soulé; Nate Foster (NSDI, 2021)

Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic. - Eric Hayden Campbell; Michael Greenberg 002 (CoRR, 2021)

Kleene algebra modulo theories: a framework for concrete KATs. - Michael Greenberg 002; Ryan Beckett; Eric Hayden Campbell (PLDI, 2022)

Dependently-typed data plane programming. - Matthias Eichholz 001; Eric Hayden Campbell; Matthias Krebs; Nate Foster; Mira Mezini (Proc. ACM Program. Lang., 2022)

P4Cub: A Little Language for Big Routers. - Rudy Peterson; Eric Hayden Campbell; John Chen; Natalie Isak; Calvin Shyu; Ryan Doenges; Parisa Ataei; Nate Foster (CPP, 2023)

Computing Precise Control Interface Specifications. - Eric Hayden Campbell; Hossein Hojjat; Nate Foster (Proc. ACM Program. Lang., 2024)