IFIX: Fixing Concurrency Bugs While They Are Introduced. - Zan Wang; Haichi Wang; Shuang Liu 007; Jun Sun 001; Haoyu Wang 017; Junjie Chen 003 (ICECCS, 2020)

Towards Generating Thread-Safe Classes Automatically. - Haichi Wang; Zan Wang; Jun Sun 001; Shuang Liu 007; Ayesha Sadiq; Yuan-Fang Li (ASE, 2020)

GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method. - Shuochuan Li; Zan Wang; Mingxu Ma; Xiang Chen 005; Yingquan Zhao; Haichi Wang; Haoyu Wang 017 (Int. J. Softw. Informatics, 2023)

An empirical study of test case prioritization on the Linux Kernel. - Haichi Wang; Ruiguo Yu; Dong Wang 044; Yiheng Du; Yingquan Zhao; Junjie Chen 003; Zan Wang (Autom. Softw. Eng., 2025)