Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection. - Zongyin Hao; Faming Lu (Int. J. Softw. Informatics, 2021)

Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. - Zongyin Hao; Quanfeng Huang; Chengpeng Wang 001; Jianfeng Wang; Yushan Zhang; Rongxin Wu; Charles Zhang 001 (USENIX ATC, 2023)

SQLess: Dialect-Agnostic SQL Query Simplification. - Li Lin; Zongyin Hao; Chengpeng Wang 001; Zhuangda Wang; Rongxin Wu; Gang Fan (ISSTA, 2024)