| 2026 | FM | Selective Concolic Testing. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu |
| 2024 | FASE | FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). | Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang |
| 2023 | APSEC | Symbolic Execution of MPI Programs with One-Sided Communications. | Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang |
| 2023 | APSEC | Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang |
| 2022 | APSEC | Optimal Refinement-based Array Constraint Solving for Symbolic Execution. | Meixi Liu, Ziqi Shuai, Luyao Liu, Kelin Ma, Ke Ma |
| 2022 | APSEC | Symbolic Execution of Floating-point Programs: How far are we? | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai |
| 2022 | APSEC | Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang |
| 2021 | ISSTA | Synthesize solving strategy for symbolic execution. | Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang |
| 2021 | ISSTA | Type and interval aware array constraint solving for symbolic execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang |
| 2021 | QRS | Selective Symbolization Based Efficient Symbolic Execution. | Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai |
| 2021 | SEKE | Optimal Conjunctive Normal Form Encoding for Symbolic Execution. | Weiyu Pan, Ziqi Shuai, Ke Ma, Luyao Liu |
| 2019 | DATE | A Wear Leveling Aware Memory Allocator for Both Stack and Heap Management in PCM-based Main Memory Systems. | Wei Li, Ziqi Shuai, Chun Jason Xue, Mengting Yuan, Qingan Li |