Eric Hayden Campbell

According to our database, Eric Hayden Campbell authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Computing Precise Control Interface Specifications.

Eric Hayden Campbell, Hossein Hojjat, Nate Foster

Proc. ACM Program. Lang., 2024

2023

P4Cub: A Little Language for Big Routers.

Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Dependently-typed data plane programming.

Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini

Proc. ACM Program. Lang., 2022

Kleene algebra modulo theories: a framework for concrete KATs.

Michael Greenberg, Ryan Beckett, Eric Hayden Campbell

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic.

Eric Hayden Campbell, Michael Greenberg

CoRR, 2021

Avenir: Managing Data Plane Diversity with Control Plane Synthesis.

Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2019

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

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2017

Kleene Algebra Modulo Theories.

Ryan Beckett, Eric Hayden Campbell, Michael Greenberg

CoRR, 2017