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 | 15 | 2021 |
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 | 14 | 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 |
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 | 12 | 2019 |
Constructing integer matrices with integer eigenvalues C Towse, E Campbell Applied Probability Trust 3, 2016 | 4 | 2016 |
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 | 3 | 2023 |
Infiniteness and Linear Temporal Logic EH Campbell Pomona College, 2017 | 3 | 2017 |
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 4 (1), 81-90, 2021 | 2 | 2021 |
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 | | |