Hossein Hojjat
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| 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 | ||