Eric Hayden Campbell

11 papers A* 1A 2B 1Misc 1Journal 6
YearRankTypeTitle / Venue / Authors
2025 A conf
How I learned to stop worrying and love learned OS policies.
HotOS
Divyanshu Saxena, Jiayi Chen, Sujay Yadalam, Yeonju Ro, Rohit Dwivedula, Eric Hayden Campbell, Aditya Akella, Christopher J. Rossbach, Michael Swift
2024 J jnl
Computing Precise Control Interface Specifications.
Proc. ACM Program. Lang.
Eric Hayden Campbell, Hossein Hojjat, Nate Foster
2023 B conf
P4Cub: A Little Language for Big Routers.
CPP
Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster
2022 J jnl
Dependently-Typed Data Plane Programming.
CoRR
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
2022 J jnl
Dependently-typed data plane programming.
Proc. ACM Program. Lang.
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
2022 A* conf
Kleene algebra modulo theories: a framework for concrete KATs.
PLDI
Michael Greenberg, Ryan Beckett, Eric Hayden Campbell
2021 Misc conf
Avenir: Managing Data Plane Diversity with Control Plane Synthesis.
NSDI
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
2021 J jnl
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic.
CoRR
Eric Hayden Campbell, Michael Greenberg
2019 A conf
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
ECOOP
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019 J jnl
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
CoRR
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2017 J jnl
Kleene Algebra Modulo Theories.
CoRR
Ryan Beckett, Eric Hayden Campbell, Michael Greenberg