Eric Hayden Campbell
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 23 in the filters
who talks about the same things
- Nate Foster24 talks
- David Walker15 talks
- Robert Zhang4 talks
- Işıl Dillig21 talks
- Jonathan Ragan-Kelley12 talks
- Tobias Kappé4 talks
| title | conference | date |
|---|---|---|
| MatchBox: A Semantic Foundation for Data Plane Portability | PLDI 2026 | 2026-06-15 |
MatchBox provides a provable translation pipeline that turns source match-action tables into compact, semantically equivalent target tables using a new… | ||
| Optimal Predicate Pushdown Synthesis | PLDI 2026 | 2026-06-15 |
Systematically moves filters through stateful fold-based UDFs by synthesizing the strongest pre-filter Q and weakest residual P' that preserve semantics via a… | ||
| Computing Precise Control Interface Specifications | OOPSLA 2024 | 2024-10-20 |
Algorithm computes precise control interface specs for data-plane programs by lifting GCL programs, applying quantifier elimination, and using a path-based… | ||
| P4Cub: A Little Language for Big Routers | CPP 2023 | 2023-01-16 |
P4Cub is an IR for P4 with a Petr4 front end and a claim of easier mechanized metatheory: it is mechanized in Coq with both large- and small-step semantics and… | ||
| Dependently-Typed Data Plane Programming | POPL 2022 | 2022-01-16 |
A dependently-typed P4 called pi4 dependently-typed P4 defines heap types and refinement transformers (a “chomp” Brzozowski derivative) to track bit-level… | ||
| Avenir: Managing Data Plane Diversity with Control Plane Synthesis | NSDI ’21 | 2021-04-12 |
Avenir automatically synthesizes control-plane operations to make diverse data planes behave uniformly, proving soundness and completeness and implementing the… | ||
| nothing matches | ||