Hongkun Yang
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 2 in the filters
on a stage with
- Peng Zhang2×
- Hao Lionce
- Ning Kangonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| NDD: A Decision Diagram for Network Verification | NSDI '25 | 2025-04-28 |
Introduces Network Decision Diagram (NDD), a two-layer structure that groups header bits into fields and builds per-field BDDs while assembling them with nodes… | ||
| APKeep: Realtime Verification for Real Networks | NSDI 2020 | 2020-02-25 |
APKeep claims real-time verification of real networks by building an expressive modular device model that composes forwarding, ACL, NAT and policy elements… | ||
| nothing matches | ||