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
Conference Papers
|
MatchBox: A Semantic Foundation for Data Plane Portability
Distinguished Paper Award! Eric Hayden Campbell, Robert Zhang, Divyanshu Saxena, Aditya Akella, Isil Dillig PLDI. June 2026. 
|
|
Optimal Predicate Pushdown Synthesis
Robert Zhang, Eric Hayden Campbell, Dixin Tang, Isil Dillig PLDI. June 2026.
|
|
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. July 2021.
|
News
| May 26, 2025 | I'll be serving on the OOPSLA '26 PC! |
| November 21, 2024 | Successfully defended my dissertation! |
| November 1, 2024 | Started my postdoc @ UT Austin with Isil and Aditya |
| August 23, 2024 | The AEC for OOPSLA '24 awarded Capisce Functional, Resusable, and Available! |
| October 18, 2023 | Visited EPFL! Gave a talk about Avenir in Ed's group |
| January 20, 2023 | Co-chairing the new session previews track for POPL. Come see my talk on Relational & Automated Verification on Friday! |
| March 10, 2022 | I gave an invited talk on Avenir at Intel |