My research focuses on program synthesis Software Defined Networks (SDN). Most recently, I've been working on specifiation inference for data plane programs, and on program synthesis to solve the control plane mapping problem.
email: ehc86 [at] institution [dot] edu
I am graduating and looking for postdoc positions focusing on program synthesis!
|
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.
|
| October 18, 2023 | Visited EPFL! Gave a talk about Avenir in Ed's group and worked with Christoph on some exciting new directions! |
| 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 |
| July 19, 2021 | I gave an invited talk on control plane synthesis at CAV's P4 Verification Workshop |
| May 3, 2021 | My invited talk on control plane synthesis at the Simons Institute is live (watch it here) |
| April 19, 2021 | Cornell's CS News interviewed me about Avenir |
| December 15, 2020 | I passed my thesis proposal! |
| Summer 2023 | Instructor | CS 3 at Jane Street AMP |
| Summer 2022 | Instructor | CS 3 at Jane Street AMP |
| Spring 2018 | TA | OOP and Data Structures at Cornell University |
| Fall 2017 | TA | OOP and Data Structures at Cornell University |
| Spring 2017 | TA | Database Systems at Pomona College |
| Fall 2016 | TA | Programming Languages at Pomona College |
| Spring 2016 | Head TA | Intro to CS at Pomona College |
| Fall 2015 | TA | Intro to CS at Pomona College |
