| 2025 | CCS | Membership Inference Attacks as Privacy Tools: Reliability, Disparity and Ensemble. | Zhiqi Wang, Chengyu Zhang, Yuetian Chen, Nathalie Baracaldo, Swanand Ravindra Kadhe, Lei Yu |
| 2025 | ISSTA | Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report). | Yihua Xu, Chengyu Zhang, Geguang Pu |
| 2025 | PRICAI | SWD-HTM: A Novel Hierarchical Temporal Memory Model Integrating Optimal Transport and Sparse Autoencoder. | Dejiao Niu, Chengyu Zhang, Tao Cai, Lei Li, Yuxuan Yang, Ye Wang |
| 2025 | SMC | Non-Rigid 3D model classification based on Laplace-Beltrami eigenfunctions. | Huijia Nie, Dongmei Niu, Zhenyu Diao, Xiaofan Han, Chengyu Zhang |
| 2024 | ECCV | Scalable Indoor Novel-View Synthesis Using Drone-Captured 360 Imagery with 3D Gaussian Splatting. | Yuanbo Chen, Chengyu Zhang, Jason Wang, Xuefan Gao, Avideh Zakhor |
| 2024 | ICER | An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. | Sverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su |
| 2024 | ICSE | DivLog: Log Parsing with Prompt Enhanced In-Context Learning. | Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang, Pinjia He |
| 2023 | ISSTA | Testing Graph Database Engines via Query Partitioning. | Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su |
| 2023 | TACAS | FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. | Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu |
| 2021 | ICCAD | Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. | Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu |
| 2020 | ICSE | Stress testing SMT solvers via type-aware mutation. | Chengyu Zhang |
| 2020 | PLDI | Validating SMT solvers via semantic fusion. | Dominik Winterer, Chengyu Zhang, Zhendong Su |
| 2018 | ICSE | Smartunit: empirical evaluations for automated unit testing of embedded software in industry. | Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu |