Charles 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
- OOPSLA3 editions2021–2023
all 5 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Xin Zhang21 talks
- Ahmed Khaled Zaher3 talks
- Robert Zhang4 talks
- Kerim Kochekov2 talks
- Qingkai Shi5 talks
- Zachary Kincaid9 talks
| title | conference | date |
|---|---|---|
| ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection | LMPL 2025 | 2025-10-12 |
ClearAgent builds an agentic binary-analysis pipeline that wires LLMs to a binary language server and a context manager, using a symbolic lifter (plankton)… | ||
| Building X-Ray for enterprise-scale software | SOAP 2025 | 2025-06-16 |
Clearblue lifts production binaries into LMIR and builds a whole‑program PDG stored on disk to answer value‑flow queries; it analyzes the Linux kernel… | ||
| A Cocktail Approach to Practical Call Graph Construction | OOPSLA 2023 | 2023-10-23 |
Build named Coral prototype combines a cheap pre-analysis, a two-stage flow-insensitive pipeline and selective expensive refinement to resolve function-pointer… | ||
| Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate... | USENIX ATC '23 | 2023-07-10 |
PINOLO synthesizes queries that are guaranteed to be over-approximations or under-approximations of a seed SQL query by applying concrete mutators (predicate… | ||
| Complexity-guided container replacement synthesis | OOPSLA 2022 | 2022-12-05 |
Cres automatically synthesizes container-type replacements using static, allocation-based and flow-sensitive points-to analysis to collect container properties… | ||
| Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis | OOPSLA 2022 | 2022-12-05 |
This paper presents a cheap reduction that transforms extended Dyck-CFL reachability to conventional graph reachability, builds a two-copy indexed graph with… | ||
| Program Analysis via Efficient Symbolic Abstraction | OOPSLA 2021 | 2021-10-17 |
Two algorithms compute most-precise abstractions for quantifier-free bit-vector formulas over the interval and a convex polyhedral-like domain, using… | ||
| Enterprise-scale static analysis: A Pinpoint experience | SPLASH 2020 REBASE | 2020-11-16 |
Pinpoint is an LLVM-based cross-language platform that deploys to Tencent, Baidu, Huawei, Alibaba and daily-scans million+‑line repos. It implements a sparse… | ||
| nothing matches | ||