Verifying ReLU Neural Networks from a Model Checking Perspective. - Wan-Wei Liu; Fu Song; Tanghaoran Zhang; Ji Wang 001 (J. Comput. Sci. Technol., 2020)

FENSE: A feature-based ensemble modeling approach to cross-project just-in-time defect prediction. - Tanghaoran Zhang; Yue Yu 001; Xinjun Mao; Yao Lu 003; Zhixing Li; Huaimin Wang (Empir. Softw. Eng., 2022)

MUSE: A Multi-Feature Semantic Fusion Method for ROS Node Search Based on Knowledge Graph. - Yuxin Zhao; Xinjun Mao; Tanghaoran Zhang; Zhang Zhang 005 (APSEC, 2023)

An Extensive Study of the Structure Features in Transformer-based Code Semantic Summarization. - Kang Yang 001; Xinjun Mao; Shangwen Wang; Yihao Qin; Tanghaoran Zhang; Yao Lu 003; Kamal Al-Sabahi (ICPC, 2023)

An Effective Method for Constructing Knowledge Graph to Search Reusable ROS Nodes (S). - Yuxin Zhao; Xinjun Mao; Sun Bo; Tanghaoran Zhang; Shuo Yang 005 (SEKE, 2023)

Enhancing Code Intelligence Tasks with ChatGPT. - Kang Yang 001; Xinjun Mao; Shangwen Wang; Tanghaoran Zhang; Bo Lin; Yanlin Wang 001; Yihao Qin; Zhang Zhang 005; Xiaoguang Mao (CoRR, 2023)

An Empirical Study of Cross-Project Pull Request Recommendation in GitHub. - Wenyu Xu; Yao Lu 003; Xunhui Zhang; Tanghaoran Zhang; Bo Lin; Xinjun Mao (APSEC, 2024)

How Do Developers Adapt Code Snippets to Their Contexts? An Empirical Study of Context-Based Code Snippet Adaptations. - Tanghaoran Zhang; Yao Lu 003; Yue Yu 001; Xinjun Mao; Yang Zhang 026; Yuxin Zhao (IEEE Trans. Software Eng., 2024)

Instruct or Interact? Exploring and Eliciting LLMs' Capability in Code Snippet Adaptation Through Prompt Engineering. - Tanghaoran Zhang; Yue Yu 001; Xinjun Mao; Shangwen Wang; Kang Yang 001; Yao Lu 003; Zhang Zhang 005; Yuxin Zhao (ICSE, 2025)

Large Language Models Are Qualified Benchmark Builders: Rebuilding Pre-Training Datasets for Advancing Code Intelligence Tasks. - Kang Yang 001; Xinjun Mao; Shangwen Wang; Yanlin Wang 001; Tanghaoran Zhang; Bo Lin; Yihao Qin; Zhang Zhang 005; Yao Lu 003; Kamal Al-Sabahi (ICPC, 2025)

Improving API Knowledge Comprehensibility: A Context-Dependent Entity Detection and Context Completion Approach Using LLM. - Zhang Zhang 005; Xinjun Mao; Shangwen Wang; Kang Yang 001; Tanghaoran Zhang; Fei Gao; Xunhui Zhang (SANER, 2025)