ConTesa: Directed Test Suite Augmentation for Concurrent Software. - Tingting Yu 001; Zunchen Huang; Chao Wang 001 (IEEE Trans. Software Eng., 2020)

Symbolic Predictive Cache Analysis for Out-of-Order Execution. - Zunchen Huang; Chao Wang 001 (FASE, 2022)

Understanding Concurrency Vulnerabilities in Linux Kernel. - Zunchen Huang; Shengjian Guo; Meng Wu 001; Chao Wang 001 (CoRR, 2022)

Constraint Based Program Repair for Persistent Memory Bugs. - Zunchen Huang; Chao Wang 001 (ICSE, 2024)

Discovering Likely Program Invariants for Persistent Memory. - Zunchen Huang; Srivatsan Ravi; Chao Wang 001 (ASE, 2024)