Xin Zhang
where else to find them
linkedin:xinzhangibm
what they talk about
all 10 in the filters
where they keep going back
- OOPSLA2 editions2024–2025
- KubeCon + CloudNativeCon North America2 editions2016–2020
all 10 in the filters
on a stage with
all 32 in the filters
who talks about the same things
- Yuanfeng Shi3 talks
- Yifan Zhang4 talks
- Işıl Dillig21 talks
- Zhenjiang Hu15 talks
- Yingfei Xiong9 talks
- Ke Wang11 talks
| title | conference | date |
|---|---|---|
| Abstract Interpretation with Confidence | PLDI 2026 | 2026-06-15 |
Paper defines alarm confidence as the probability of local completeness: the chance that a sampled concrete program, drawn from the set consistent with a given… | ||
| Modern ETL for Text Vector Data Using Apache SeaTunnel and Opensearch | OpenSearchCon China 2026 | 2026-03-17 |
Modern ETL for Text Vector Data Using Apache SeaTunnel and Opensearch - Xin Zhang, Amazon Web Services & Huilin Wu, AWS
In the wave of enterprise intelligence… | ||
| Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages | POPL 2026 | 2026-01-11 |
AMaze automatically refines DSLs to cut synthesis time by estimating enumeration cost instead of running the solver, computing a feature component rank for… | ||
| Fuzzing Guided by Bayesian Program Analysis | POPL 2026 | 2026-01-11 |
Redefines Bayesian program analysis so each alarm gets a probability of being reachable by exploitation fuzzing (99% threshold in evaluation), uses per-target… | ||
| On Abstraction Refinement for Bayesian Program Analysis | OOPSLA 2025 | 2025-10-16 |
Paper proposes an online abstraction search called BSRefine that performs counterexample-guided refinement on Bayesian program analyses by cutting information… | ||
| Combining Formal and Informal Information in Bayesian Program Analysis via Soft(…) | OOPSLA 2025 | 2025-10-16 |
Converts a Datalog analysis into a Bayesian network, attaches rule probabilities, and injects neural-network confidences as soft evidence (implemented via a… | ||
| Demystifying the (In)Security of QR Code-based Login in Real-world Deployments | USENIX Security '25 | 2025-08-13 |
Presents a systematic measurement showing QR code logins across 350 sites, 109 testable, and 43% vulnerable; generalizes the QRLogin workflow, exposes six… | ||
| Achilles: A Formal Framework of Leaking Secrets from Signature Schemes via... | USENIX Security '25 | 2025-08-13 |
Achilles formalizes Rowhammer fault injection against a generalized signature scheme G-sign, automates symbolic differential analysis and secret recovery, and… | ||
| Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural(…) | OOPSLA 2024 | 2024-10-20 |
Applies graph neural networks to Datalog-derived graphs to prune abstraction parameters, then solves the reduced max‑sat refinement problem with a solver… | ||
| Learning Abstraction Selection for Bayesian Program Analysis | OOPSLA 2024 | 2024-10-20 |
Framework learns which abstraction parameters to change by extracting derivation graphs before and after a candidate refinement, computing graph features… | ||
| Accelerating Program Analyses in Datalog by Merging Library Facts | SAS 2021 | 2021-10-17 |
Proposes 4DM, a Datalog transformation that inserts Abstract relations to merge sensitivity-domain values (e.g., contexts) so analyses run fewer times while… | ||
| The Cloud Native Journey of Volcano Engine | KubeCon + CloudNativeCon North America 2020 Virtual | 2020-11-17 |
Claims a production cloud‑native stack that supports 600M DAU and 1.5B MAU across ByteDance apps, built into a reusable one set coherent framework that spans… | ||
| Kubeflow From the End User’s Perspective: The Good, The Bad, and The Ugly | KubeCon + CloudNativeCon China 2018 | 2018-11-13 |
Survey of 50+ Kubeflow users finds concrete wins and concrete blockers: Kubeflow uses Kubernetes for large-scale training and TensorFlow Serving for inference… | ||
| Keynote: A Tale of Using Kubeflow to Make the Electricity Smarter in China | KubeCon + CloudNativeCon China 2018 | 2018-11-13 |
Deploys Kubeflow on Kubernetes to unify TensorFlow and PyTorch pipelines, PV/PVC storage, and orchestrated distributed training; connects to State Grid of… | ||
| Kubernetes on Supporting $8 Trillion Card Payments in China | KubeCon + CloudNativeCon Europe 2018 | 2018-05-02 |
Kubernetes is extended to carry UnionPay’s production traffic that amounts to $8 trillion in card payments per year, deploying a federated control cluster… | ||
| How to Make Kubernetes Smarter | LinuxCon + ContainerCon + CloudOpen China 2017 | 2017-06-19 |
Keynote Lightning Talk: How to Make Kubernetes Smarter - Xin Zhang, CEO, Caicloud
The declarative design pattern presents the central tenet of Kubernetes… | ||
| The Good, the Bad, and the Ugly of Managing Production Systems with Kubernetes | KubeCon + CloudNativeCon North America 2016 | 2016-11-08 |
Concrete failures and fixes from dozens of Chinese enterprise deployments: 70% on‑premise, 30% on Alibaba Cloud; an Ansible offline installer and local Docker… | ||
| nothing matches | ||