Chao Wang
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
all 9 in the filters
on a stage with
all 84 in the filters
who talks about the same things
- Ke Wang11 talks
- Jingbo Wang4 talks
- Linzhang Wang6 talks
- Yu Wang16 talks
- Xin Zhang21 talks
- Bo Wang10 talks
| title | conference | date |
|---|---|---|
| Probabilistic Inference for Datalog with Correlated Inputs | PLDI 2026 | 2026-06-15 |
A new Datalog extension called Praline implements probabilistic inference that accounts for arbitrary input correlations by reducing exact inference to a… | ||
| Evolution of Aegis: Fault Diagnosis for AI Model Training Service in Production | NSDI '25 | 2025-04-28 |
Aegis is a production fault diagnosis system for AI model training that evolves from enhanced legacy tools to a customized collective communication library… | ||
| Archer: Adaptive Memory Compression with Page-Association-Rule Awareness for High-Speed.. | FAST '25 | 2025-02-25 |
Archer implements an association-rule-aware memory compression framework integrated into the Linux kernel and ZRAM, with a prototype on Pixel and Huawei… | ||
| An Incremental Algorithm for Algebraic Program Analysis | POPL 2025 | 2025-01-19 |
Method builds an API tree data structure that linearizes CFGs so edits map to leaf insert/delete/update and interpretation values are updated by traversing… | ||
| Practice of Building AI Training Cluster Based on Kubernetes+RoCEv2 | KubeCon + CloudNativeCon + Open Source Summit China 2023 | 2023-09-26 |
基于Kubernetes+RoCEv2构建AI训练集群的实践 | Practice of Building AI Training Cluster Based on Kubernetes+RoCEv2 - Wang DeKui & Wang Chao… | ||
| SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory | OSDI 2023 | 2023-07-10 |
Implements a new hash table for persistent memory that combines a novel Level Segment (LS) layout, two low‑overhead splits including a one-third split, and… | ||
| Synthesizing MILP Constraints for Efficient and Robust Optimization | PLDI 2023 | 2023-06-17 |
Proposes a syntax-guided synthesis pipeline that generates MILP encodings from arbitrary Boolean-linear specs, implementing an extensible DSL, iterative… | ||
| Differential Verification of Deep Neural Networks | VMCAI 2023 | 2023-01-15 |
[VMCAI'23] Differential Verification of Deep Neural Networks
Chao Wang
Deep neural networks have become an integral component of many systems for which… | ||
| Machine Learning Acceleration in an Embedded World | CODES+ISSS 2022 | 2022-10-07 |
Four short systems with concrete claims and artifacts: a crossbar-friendly DNN pruning method that extracts reusable segment shapes to map many filters into… | ||
| Machine Learning in the Age of IoT | CODES+ISSS 2022 | 2022-10-07 |
PervasiveFL proposes a lightweight cloud modulate that pairs with diverse local nets, uses an entropy-based decision gating and ensemble mutual learning… | ||
| Keynote: Accelerating Genome Sequencing via Containers and Kubernetes | KubeCon + CloudNativeCon China 2018 | 2018-11-13 |
X-Turing builds a production genome pipeline stack on Kubernetes that replaces fragile HPC/VM setups, running 5000+ containerized apps and thousands of… | ||
| nothing matches | ||