Xi Wang
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 5 in the filters
on a stage with
- Aditya Akellaonce
- Arvind Krishnamurthyonce
- Danyang Zhuoonce
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Beyond Static Pods: Dynamic GPU Sharing and Low-Latency Model Switching for LLM ... | KubeCon + CloudNativeCon + OpenInfra Summit + PyTorch Conference China 2026 | 2026-09-07 |
Kubernetes revolutionized microservice orchestration, but Model-as-a-Service exposes a fundamental gap, where MaaS must handle thousands of heterogeneous… | ||
| Automatic Test Generation and Verification for RISC-V Vector Extension | RISC-V Summit 2022 | 2022-12-13 |
A configurable generator and a Sail-based golden model execute and verify the RISC-V Vector extension with its 217 new instructions and 7 new CSRs, handling 32… | ||
| A Formal Foundation for Symbolic Evaluation with Merging | POPL 2022 | 2022-01-16 |
New formal symbolic semantics incorporates state merging and a parameterized symbolic factory and is mechanized in Lean, proving soundness, completeness… | ||
| RISC-V Vector Sail Model and Test Generation | RISC-V Forum: Vector & Machine Learning 2021 | 2021-09-15 |
A machine-readable Sail golden model for RISC‑V Vector (RVV) is implemented with configurable vector register widths, read/write helpers, CSR functions and… | ||
| Automated Verification of Customizable Middlebox Properties with Gravel | NSDI 2020 | 2020-02-25 |
Builds Gravel, a framework that extracts SMT formulas via symbolic execution from unmodified Click elements and verifies element- and system-level properties… | ||
| nothing matches | ||