EHC

News Blog Vita

Eric Hayden Campbell

Postdoctoral Research Fellow
UToPiA, UTNS @ UT Austin

email: first [.] middle [.] last [at] utexas [.] edu

My research focuses on program semantics, verification, and synthesis for open programs. I believe that hands-off formal methods tools can help us precisely reason about dynamically (re)-configurable code.

During my PhD at Cornell University, I focused on a particular kind of open program, networking data plane programs: type checking them, inferring their specs, and generating their configurations. These days, I'm interested in a broader class of open programs, including databases, operating systems, and AI programming systems.

In my free time, I dabble in linguistics, dance, and music.

Theses

Verified Configuration of Programmable Networks Eric Hayden Campbell, advised by Nate Foster Cornell University. December 2024.

Infiniteness and Linear Temporal Logic Eric Hayden Campbell, advised by Michael Greenberg Pomona College. May 2017.

Conference Papers

Computing Precise Control Interface Specifications Eric Hayden Campbell, Hossein Hojjat, Nate Foster OOPSLA. Oct 2024.

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.

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.

Constructing Integer Matrices with Integer Eigenvalues Christopher Towse and Eric Hayden Campbell The Mathematical Scientist, UK. June 2016.

Other Publications

How I learned to stop worrying and love learned OS policies Diyanshu Saxena, Jiayi Chen, Sujay Yadalam, Yeonju Ro, Rohit Dwivedula, Eric Hayden Campbell, Aditya Akella, Christopher J. Rossbach, Michael Swift HotOS. May 2025.

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.

Epistemic Semantics in Guarded String Models Eric Hayden Campbell, Mats Rooth SCiL. February 2021.

Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic Eric Hayden Campbell, Michael Greenberg arXiv:2107.06045.