| Avenir: Managing data plane diversity with control plane synthesis EH Campbell, WT Hallahan, P Srikumar, C Cascone, J Liu, ... 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2021 | 20 | 2021 |
| How to avoid making a billion-dollar mistake: Type-safe data plane programming with SafeP4 M Eichholz, E Campbell, N Foster, G Salvaneschi, M Mezini arXiv preprint arXiv:1906.07223, 2019 | 17 | 2019 |
| Dependently-typed data plane programming M Eichholz, EH Campbell, M Krebs, N Foster, M Mezini Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022 | 15 | 2022 |
| Kleene algebra modulo theories: a framework for concrete KATs M Greenberg, R Beckett, E Campbell Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 12* | 2022 |
| P4cub: A little language for big routers R Peterson, EH Campbell, J Chen, N Isak, C Shyu, R Doenges, P Ataei, ... Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023 | 5 | 2023 |
| Infiniteness and Linear Temporal Logic EH Campbell Pomona College, 2017 | 3 | 2017 |
| Constructing integer matrices with integer eigenvalues C Towse, E Campbell Applied Probability Trust 3, 2016 | 3 | 2016 |
| Injecting finiteness to prove completeness for finite linear temporal logic E Campbell, M Greenberg arXiv preprint arXiv:2107.06045, 2021 | 2 | 2021 |
| Epistemic semantics in guarded string models EH Campbell, M Rooth Proceedings of the Society for Computation in Linguistics 2021, 81-90, 2021 | 2 | 2021 |
| Computing Precise Control Interface Specifications EH Campbell, H Hojjat, N Foster Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 905-934, 2024 | 1 | 2024 |
| Verified Configuration of Programmable Networks EH Campbell Cornell University, 2024 | | 2024 |
| Collection of forwarding rules A Horn, E Campbell, MR Prasad US Patent 10,728,147, 2020 | | 2020 |
| Kleene Algebra Modulo Theories M Greenberg, R Beckett, E Campbell | | 2020 |
| INJECTING FINITENESS TO PROVE FINITE LINEAR TEMPORAL LOGIC COMPLETE E CAMPBELL, M GREENBERG | | |
| Completeness for Logics on Finite Traces E Campbell, M Greenberg | | |