Zhen Zhang
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- VMCAI2 editions2022–2026
all 5 in the filters
on a stage with
- Arnd Hartmannsonce
- Chris Myersonce
- Feng Qinonce
all 17 in the filters
who talks about the same things
- Mingshan Zhao3 talks
- Siyu Wang5 talks
- Xiaoyu Zhang6 talks
- Lei Zhang33 talks
- Rong Zhang7 talks
- Cathy Zhang12 talks
| title | conference | date |
|---|---|---|
| Probabilistic Verification for Modular Network-on-Chip Systems | VMCAI 2026 | 2026-01-12 |
A modular NoC model written in Modest produces DTMCs and uses CTL model checking plus statistical model checking to bound power-supply-noise events up to an… | ||
| DISTMM: Accelerating Distributed Multimodal Model Training | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
DISTIMM implements per-submodule parallelism choices (tensor, data, hybrid), adaptive partitioning and non‑collocated placement to balance M/K/N dimensions and… | ||
| Customize Progressive Delivery for Your Own Workload and Traffic | KubeCon + CloudNativeCon + Open Source Summit China 2023 | 2023-09-26 |
为您自己的工作负载和流量定制渐进式交付 | Customize Progressive Delivery for Your Own Workload and Traffic - Zhang Zhen & Mingshan Zhao, Alibaba Cloud
OpenKruise… | ||
| Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms | VMCAI 2022 | 2022-01-16 |
Refutation-based simulation scales verification from refutation-based simulation on small meshes to an IVy-checked model up to 15x15, implemented with a C++… | ||
| STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking | VMCAI 2022 | 2022-01-16 |
STAMINA 2.0 implements a combined CTMC transient analysis with PRISM to produce min/max probability bounds in one pass, replaces predecessor-sum reachability… | ||
| Managing CRDs and Operators in Practice | KubeCon + CloudNativeCon Europe 2019 | 2019-05-20 |
Runs and maintains more than 100+ CRDs created by 10+ teams where ~70% come from upstream packages, and introduces a company CRD standard that enforces naming… | ||
| Towards a Secure Zero-rating Framework with Three Parties | USENIX Security '18 | 2018-08-15 |
ZFree proposes a practical defense that prevents free‑riding by binding ISP zero‑rating to cryptographic per‑packet tags: server agents mirror outgoing packets… | ||
| nothing matches | ||