| 2023 | SAS | Mutual Refinements of Context-Free Language Reachability. | Shuo Ding, Qirun Zhang |
| 2022 | ICSE | Static Inference Meets Deep learning: A Hybrid Type Inference Approach for Python. | Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo, Qirun Zhang, Michael R. Lyu |
| 2020 | ICSE | Program debloating via stochastic optimization. | Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso |
| 2020 | PLDI | Debug information validation for optimized code. | Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano |
| 2020 | PLDI | Fast graph simplification for interleaved Dyck-reachability. | Yuanbo Li, Qirun Zhang, Thomas W. Reps |
| 2019 | ICSE | Practical GUI testing of Android applications via model abstraction and refinement. | Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su |
| 2018 | ICSE | Perses: syntax-guided program reduction. | Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su |
| 2018 | PLDI | Calling-to-reference context translation via constraint-guided CFL-reachability. | Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su |
| 2017 | PLDI | Skeletal program enumeration for rigorous compiler testing. | Qirun Zhang, Chengnian Sun, Zhendong Su |
| 2017 | POPL | Context-sensitive data-dependence analysis via linear conjunctive language reachability. | Qirun Zhang, Zhendong Su |
| 2016 | ISSTA | Toward understanding compiler bugs in GCC and LLVM. | Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su |
| 2014 | OOPSLA | Efficient subcubic alias analysis for C. | Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su |
| 2014 | PLDI | Persistent pointer information. | Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang |
| 2013 | PLDI | Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. | Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su |
| 2011 | FASE | Flow-Augmented Call Graph: A New Foundation for Taming API Complexity. | Qirun Zhang, Wujie Zheng, Michael R. Lyu |