| 2026 | COMPSAC | CovCraft: LLM-Guided Intelligent Framework for Constraint-Based Testing of Deep Learning Compiler Pipelines. | Yifei He, Fangyuan Yang, Ting Su, Yueling Zhang, Geguang Pu |
| 2025 | ICSE | IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. | Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu |
| 2025 | ICSE | HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions. | Lingfeng Zhang, Zhaohui Wang, Yueling Zhang, Min Zhang, Jiangtao Wang |
| 2025 | ISSRE | Runtime Verification of Tactical Data Link. | Qian Wang, Zhiyuan Hu, Wei Ma, Qiang Chen, Yueling Zhang, Geguang Pu |
| 2024 | ICANN | CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. | Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu |
| 2024 | ICML | Double Variance Reduction: A Smoothing Trick for Composite Optimization Problems without First-Order Gradient. | Hao Di, Haishan Ye, Yueling Zhang, Xiangyu Chang, Guang Dai, Ivor W. Tsang |
| 2023 | CVPR | Boosting Verified Training for Robust Image Classifications via Abstraction. | Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang |
| 2023 | TACAS | OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. | Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang |
| 2021 | ICANN | Approximated Masked Global Context Network for Skin Lesion Segmentation. | Chunguang Jiang, Yueling Zhang, Jiangtao Wang, Weiting Chen |
| 2021 | ICONIP | Generating Adversarial Examples by Distributed Upsampling. | Shunkai Zhou, Yueling Zhang, Guitao Cao, Jiangtao Wang |
| 2021 | ISSTA | Efficient white-box fairness testing through gradient search. | Lingfeng Zhang, Yueling Zhang, Min Zhang |
| 2020 | ICANN | EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps. | Bangfeng Xia, Yueling Zhang, Weiting Chen, Xiangfeng Wang, Jiangtao Wang |
| 2019 | AAAI | SAT-Based Explicit LTLf Satisfiability Checking. | Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi |
| 2019 | ICFEM | SMTBCF: Efficient Backbone Computing for SMT Formulas. | Yueling Zhang, Geguang Pu, Min Zhang |
| 2018 | CAV | Syntax-Guided Termination Analysis. | Grigory Fedyukovich, Yueling Zhang, Aarti Gupta |
| 2017 | ICCAD | Safety model checking with complementary approximations. | Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi |
| 2017 | TASE | Optimizing backbone filtering. | Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song |