Canary: practical static detection of inter-thread value-flow bugs. - Yuandao Cai; Peisen Yao; Charles Zhang 001 (PLDI, 2021)

Peahen: fast and precise static deadlock detection via context reduction. - Yuandao Cai; Chengfeng Ye; Qingkai Shi; Charles Zhang 001 (ESEC/SIGSOFT FSE, 2022)

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. - Yuandao Cai; Peisen Yao; Chengfeng Ye; Charles Zhang 001 (USENIX Security Symposium, 2023)

A Cocktail Approach to Practical Call Graph Construction. - Yuandao Cai; Charles Zhang 001 (Proc. ACM Program. Lang., 2023)

GIANTSAN: Efficient Memory Sanitization with Segment Folding. - Hao Ling; Heqing Huang 002; Chengpeng Wang 001; Yuandao Cai; Charles Zhang 001 (ASPLOS (2), 2024)

Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries. - Chengfeng Ye; Yuandao Cai; Anshunkang Zhou; Heqing Huang 002; Hao Ling; Charles Zhang 001 (ASPLOS (4), 2024)

Plankton: Reconciling Binary Code and Debug Information. - Anshunkang Zhou; Chengfeng Ye; Heqing Huang 002; Yuandao Cai; Charles Zhang 001 (ASPLOS (2), 2024)

Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information. - Yuandao Cai; Yibo Jin 004; Charles Zhang 001 (USENIX Security Symposium, 2024)

When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux. - Chengfeng Ye; Yuandao Cai; Charles Zhang 001 (USENIX Security Symposium, 2024)

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? - Cheng Wen 002; Yuandao Cai; Bin Zhang; Jie Su 002; Zhiwu Xu 001; Dugang Liu; Shengchao Qin; Zhong Ming 001; Cong Tian (ACM Trans. Knowl. Discov. Data, 2024)

Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries. - Yongchao Wang; Yuandao Cai; Charles Zhang 001 (ICSE, 2025)