Robert Zhang
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Scott F. Smith3 talks
- Dixin Tang3 talks
- Işıl Dillig21 talks
- Stelios Tsampas7 talks
- Xin Zhang21 talks
- Eric Hayden Campbell6 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… | ||
| A Pure Demand Operational Semantics with Applications to Program Analysis | OOPSLA 2024 | 2024-10-20 |
Defines an operational semantics whose entire machine state is just a call stack plus a source program point or lexical depth, with no environment or… | ||
| Cloud & security | Collision 2018 | 2018-04-30 |
CloudMinds describes a 3-year-old startup building three concrete pieces — cloud AI, a robot connector and a global network — to power household robots and… | ||
| nothing matches | ||