Lingqi Guo
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 1 in the filters
on a stage with
- Chenyang Zhaoonce
- Haifeng Sunonce
- Jianxin Liaoonce
all 8 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| EPVerifier: Accelerating Update Storms Verification with Edge-Predicate | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
EPVerifier replaces global equivalence-class models with an edge-predicate model (one BDD-like predicate per link), so only actually affected edges are updated… | ||
| nothing matches | ||