Haonan Li
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 40 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Bifrost: Alibaba's Next-Generation VPC Network with High-Performance Multipath... | NSDI '26 | 2026-05-04 |
Bifrost moves reliable transport out of the VM into the VPC by inserting a new header and running a transport engine beside AVS on the SmartNIC, using… | ||
| CStar Gateway: Augmenting Public Cloud Infrastructure for Heterogeneous Network... | NSDI '26 | 2026-05-04 |
CStar Gateway shifts NF VM multi-tenancy from the vSwitch into each NF VM using a Tofino-based stateless gateway and GENEVE+VXLAN nested tunneling so each NF… | ||
| Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach | OOPSLA 2024 | 2024-10-20 |
A framework called LLift combines an existing static checker (UBTag) with iterative LLM queries to resolve UBTag’s 53k “undecided” paths, using post-constraint… | ||
| nothing matches | ||