Eric Hayden Campbell

As a PhD candidate at Cornell University, I solve problems with deep programmability in software defined networks. I am advised by Nate Foster, and supported by the NSF GRFP.

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

email: ehc86 [at] institution [dot] edu

Publications

Kleene Algebra Modulo Theories
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.

News

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!
April 28, 2020 My talk on Avenir at the P4 Expert Roundtable Series is live (watch it here!)
June 25, 2019 Kicked off our Career Explorations Conference for High School Students on Networking and Security! [Labs]

Blog Posts

December 29, 2021 Solving Myst Puzzles with Z3:
How I Got Nerd-Sniped Playing VR Myst over Christmas
July 7, 2019 Teaching Networking Experientally:
How to teach 40 high school students to program networks in 3 days
June 22, 2019 Theoretically Feasible, Practically Exceptional:
Reflections on the NPI Workshop on the Foundations of Routing

Teaching

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