Tracking data structures for postmortem analysis. - Xiao Xiao 003; Jinguo Zhou; Charles Zhang 001 (ICSE, 2011)

Stride: Search-based deterministic replay in polynomial time via bounded linkage. - Jinguo Zhou; Xiao Xiao 003; Charles Zhang 001 (ICSE, 2012)

Scaling predictive analysis of concurrent programs by removing trace redundancy. - Jeff Huang 001; Jinguo Zhou; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2013)

Persistent pointer information. - Xiao Xiao 003; Qirun Zhang; Jinguo Zhou; Charles Zhang 001 (PLDI, 2014)

Pinpoint: fast and precise sparse value flow analysis for million lines of code. - Qingkai Shi; Xiao Xiao 003; Rongxin Wu; Jinguo Zhou; Gang Fan; Charles Zhang 001 (PLDI, 2018)

Smoke: scalable path-sensitive memory leak detection for millions of lines of code. - Gang Fan; Rongxin Wu; Qingkai Shi; Xiao Xiao 003; Jinguo Zhou; Charles Zhang 001 (ICSE, 2019)

Efficient Path-Sensitive Data-Dependence Analysis. - Peisen Yao; Jinguo Zhou; Xiao Xiao 003; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (CoRR, 2021)

Precise Divide-By-Zero Detection with Affirmative Evidence. - Yiyuan Guo; Jinguo Zhou; Peisen Yao; Qingkai Shi; Charles Zhang 001 (ICSE, 2022)

Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. - Chengpeng Wang 001; Wenyang Wang; Peisen Yao; Qingkai Shi; Jinguo Zhou; Xiao Xiao 003; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. - Xiaoheng Xie; Gang Fan; Xiaojun Lin; Ang Zhou; Shijie Li; Xunjin Zheng; Yinan Liang; Yu Zhang 036; Na Yu; Haokun Li; Xinyu Chen; Yingzhuang Chen; et al. (CoRR, 2024)

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. - Peisen Yao; Jinguo Zhou; Xiao Xiao 003; Qingkai Shi; Rongxin Wu; Charles Zhang 001 (Proc. ACM Program. Lang., 2024)

Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. - Wensheng Tang; Dejun Dong; Shijie Li; Chengpeng Wang 001; Peisen Yao; Jinguo Zhou; Charles Chuan Zhang (ACM Trans. Softw. Eng. Methodol., 2024)