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)

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)

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