Yifei Yuan
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 3 in the filters
on a stage with
all 18 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Reasoning about Network Traffic Load Property at Production Scale | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
NSDI '24 - Reasoning about Network Traffic Load Property at Production Scale
Ruihan Li, Peking University and Alibaba Cloud; Fangdan Ye, Yifei Yuan, Ruizhen… | ||
| NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification | NSDI 2020 | 2020-02-25 |
NetSMC is a custom symbolic model checker that encodes stateful NFs using an existential first-order encoding and analyzes a one-packet-at-a-time model that… | ||
| Efficient and Correct Test Scheduling for Ensembles of Network Policies | NSDI '18 | 2018-04-09 |
Mikado is a scheduling layer that takes test traces from black‑box tools (bust, ATPG, simnet per uploader) and guarantees correctness by formalizing stateful… | ||
| nothing matches | ||