NLocalSAT: Boosting Local Search with Solution Prediction. - Wenjie Zhang 007; Zeyu Sun 004; Qihao Zhu; Ge Li 001; Shaowei Cai 001; Yingfei Xiong 001; Lu Zhang 023 (IJCAI, 2020)

A syntax-guided edit decoder for neural program repair. - Qihao Zhu; Zeyu Sun 004; Yuan-an Xiao; Wenjie Zhang 007; Kang Yuan; Yingfei Xiong 001; Lu Zhang 023 (ESEC/SIGSOFT FSE, 2021)

Dynamic Labeling for Unlabeled Graph Neural Networks. - Zeyu Sun 004; Wenjie Zhang 007; Lili Mou; Qihao Zhu; Yingfei Xiong 001; Lu Zhang 023 (CoRR, 2021)

Syntax Guided Neural Program Repair. - Qihao Zhu; Zeyu Sun 004; Yuan-an Xiao; Wenjie Zhang 007; Kang Yuan; Yingfei Xiong 001; Lu Zhang 023 (CoRR, 2021)

Generalized Equivariance and Preferential Labeling for GNN Node Classification. - Zeyu Sun 004; Wenjie Zhang 007; Lili Mou; Qihao Zhu; Yingfei Xiong 001; Lu Zhang 023 (AAAI, 2022)

FIRA: Fine-Grained Graph-Based Code Change Representation for Automated Commit Message Generation. - Jinhao Dong; Yiling Lou; Qihao Zhu; Zeyu Sun 004; Zhilin Li; Wenjie Zhang 007; Dan Hao 001 (ICSE, 2022)

Lyra: A Benchmark for Turducken-Style Code Generation. - Qingyuan Liang; Zeyu Sun 004; Qihao Zhu; Wenjie Zhang 007; Lian Yu; Yingfei Xiong 001; Lu Zhang 023 (IJCAI, 2022)

Grape: Grammar-Preserving Rule Embedding. - Qihao Zhu; Zeyu Sun 004; Wenjie Zhang 007; Yingfei Xiong 001; Lu Zhang 023 (IJCAI, 2022)

Tare: Type-Aware Neural Program Repair. - Qihao Zhu; Zeyu Sun 004; Wenjie Zhang 007; Yingfei Xiong 001; Lu Zhang 023 (ICSE, 2023)

OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. - Wenjie Zhang 007; Guancheng Wang 001; Junjie Chen 003; Yingfei Xiong 001; Yong Liu 030; Lu Zhang 023 (ASE, 2023)

Learning-based Widget Matching for Migrating GUI Test Cases. - Yakun Zhang 001; Wenjie Zhang 007; Dezhi Ran; Qihao Zhu; Chengfeng Dou; Dan Hao 001; Tao Xie 001; Lu Zhang 023 (ICSE, 2024)

Synthesis-Based Enhancement for GUI Test Case Migration. - Yakun Zhang 001; Qihao Zhu; Jiwei Yan; Chen Liu 041; Wenjie Zhang 007; Yifan Zhao; Dan Hao 001; Lu Zhang 023 (ISSTA, 2024)

ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation. - Jinhao Dong; Jun Sun 001; Wenjie Zhang 007; Jin Song Dong; Dan Hao 001 (CoRR, 2024)

Condor: A Code Discriminator Integrating General Semantics with Code Details. - Qingyuan Liang; Zhao Zhang; Chen Liu 041; Zeyu Sun 004; Wenjie Zhang 007; Yizhou Chen; Zixiao Zhao; Qi Luo; Wentao Wang; Yanjie Jiang; Yingfei Xiong 001; Lu Zhang 023 (CoRR, 2024)

Optimizing local search-based partial MaxSAT solving via initial assignment prediction. - Chanjuan Liu; Guangyuan Liu; Chuan Luo 002; Shaowei Cai 001; Zhendong Lei; Wenjie Zhang 007; Yi Chu; Guojing Zhang (Sci. China Inf. Sci., 2025)

ConTested: Consistency-Aided Tested Code Generation with LLM. - Jinhao Dong; Jun Sun 001; Wenjie Zhang 007; Jin Song Dong; Dan Hao 001 (Proc. ACM Softw. Eng., 2025)