Computing Precise Control Interface Specifications
Eric Hayden Campbell, Hossein Hojjat, Nate Foster
OOPSLA.
To Appear, Oct 2024.
|
P4Cub: A Little Language for Big Routers
Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, and Nate Foster
CPP.
Jan 2023.
|
Kleene Algebra Modulo Theories
Distinguished Paper Award!
Michael Greenberg, Ryan Beckett, and Eric Hayden Campbell
PLDI.
June 2022.
|
Dependently-Typed Data Plane Programming
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
POPL.
January 2022.
|
Avenir: Managing Data Plane Heterogeneity via Control Plane Synthesis
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, J. Nathan Foster
NSDI.
April 2021.
|
Epistemic Semantics in Guarded String Models
Eric Hayden Campbell, Mats Rooth
SCiL.
February 2021.
|
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Matthias Eichholz + Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
ECOOP.
July 2019.
|
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic
Eric Hayden Campbell, Michael Greenberg
arXiv:2107.06045.
|
Infiniteness and Linear Temporal Logic
[Undergraduate Thesis]
Eric Hayden Campbell, advised by Michael Greenberg
Pomona College.
May 2017.
|
Constructing Integer Matrices with Integer Eigenvalues
Christopher Towse and Eric Hayden Campbell
The Mathematical Scientist, UK.
June 2016.
|