何欣程Xincheng He

研究兴趣 ResearchResearch Interests

我的研究以程序分析与软件质量为根基,向 AI 智能软件工程与智能体可信安全延伸,当前沿三个方向展开:My research is rooted in program analysis and software quality, extending toward AI-powered software engineering and trustworthy agents. It currently unfolds along three directions:

经历 ExperienceExperience

• 💼校聘副教授Associate Professor (University-appointed)📅 2026-05 ~ 至今present 🏛️ 江南大学 · 人工智能与计算机学院,无锡School of Artificial Intelligence and Computer Science, Jiangnan University, Wuxi
• 💼企业研发 · AI for Software EngineeringIndustry Research · AI for Software Engineering📅 2023-10 ~ 2026-04 (工作内容已脱敏,仅保留研究方向Work details omitted for confidentiality; research focus only)
• 🎓工学博士(推免直博)Ph.D. in Computer Science (direct-entry program)📅 2018-09 ~ 2023-09 🏛️ 南京大学 · 计算机学院(A+),导师:徐宝文 教授School of Computer Science, Nanjing University (A+ ranked); supervisor: Prof. Baowen Xu 研究:动态语言 API 缺陷管理、程序分析与 IDE 智能编程辅助Research: API misuse management for dynamic languages, program analysis, and intelligent IDE assistance
• 🎓理学学士B.Sc. in Computer Science📅 2014-09 ~ 2018-06 🏛️ 南京大学 · 计算机学院School of Computer Science, Nanjing University

科研项目 ProjectsResearch Projects

• 🧑‍🏫 [主持PI] 基于语义契约的智能体工具调用静默语义异常检测与归因方法研究Silent Semantic Anomaly Detection and Attribution for Agent Tool Calls Based on Semantic Contracts📅 2026-06 ~ 2028-06 南京大学软件新技术国家重点实验室 · 开放子课题(已获批)Open Project of the State Key Laboratory for Novel Software Technology, Nanjing University (approved)

学术成果 PublicationsPublications

已发表/录用学术论文 10 篇,授权国家发明专利 5 项。全部论文如下(粗体为本人在作者列表中):📕CCF-A · 📘CCF-B/C · 📗期刊/其他10 accepted/published papers and 5 granted Chinese patents. All papers are listed below (bold marks my name):📕CCF-A · 📘CCF-B/C · 📗journal/other

📚 论文Papers

• [1]📕CCF-AChenxi Wang, Lei Xu, Xincheng He, Gaozhan Yu, Ye Wang. HyBinMAS: LLM-Powered Hybrid Analysis for Function Name Recovery of Stripped Binaries. ASE 2026 (41st IEEE/ACM International Conference on Automated Software Engineering). 二进制函数名恢复与安全binary function-name recovery & security
• [2]📗IF 30.4Hongcheng Fan, Jielun Wu, Xincheng He, Yang Feng, Yibiao Yang, Baowen Xu, Qingkai Shi. A Survey of Symbol Name Recovery in Software Reverse Engineering. ACM Computing Surveys (CSUR), 2026. 符号名恢复综述与逆向工程survey of symbol-name recovery & reverse engineering
• [3]📘CCF-BXincheng He, Xiaojin Liu, Lei Xu, Baowen Xu. How Dynamic Features Affect API Usages? An Empirical Study of API Misuses in Python Programs. SANER 2023 (IEEE International Conference on Software Analysis, Evolution and Reengineering). Python API 误用实证研究empirical study of Python API misuses
• [4]📘CCF-CXincheng He, Xiaojin Liu, Lei Xu. Python API Misuse Mining and Classification Based on Hybrid Analysis and Attention Mechanism. IJSEKE, 2023, 33(10): 1567-1597. API 误用挖掘与分类API misuse mining & classification
• [5]📘CCF-CXinmeng Xia, Yanyan Yan, Xincheng He, Di Wu, Lei Xu, Baowen Xu. An Empirical Study on the Impact of Python Dynamic Typing on the Project Maintenance. IJSEKE, 2022. 动态类型对可维护性影响的实证研究impact of dynamic typing on maintainability
• [6]📘CCF-BHongquan Zhu, Xincheng He, Lei Xu. HatCUP: Hybrid Analysis and Attention based Just-In-Time Comment Updating. ICPC 2022 (30th IEEE/ACM International Conference on Program Comprehension). 即时注释更新just-in-time comment updating
• [7]📕CCF-AXincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu. PyART: Python API Recommendation in Real-Time. ICSE 2021 (IEEE/ACM 43rd International Conference on Software Engineering). 实时 Python API 推荐real-time Python API recommendation
• [8]📗LNCSBinger Li, Feifei Li, Xin-Lin Huang, Xincheng He, Lei Xu. Transferring Java Comments Based on Program Static Analysis. WISA 2019 (LNCS, International Conference on Web Information Systems and Applications). Java 注释迁移Java comment transfer
• [9]📘CCF-CXincheng He, Lei Xu, Chunliu Cha. Malicious JavaScript Code Detection Based on Hybrid Analysis. APSEC 2018 (25th Asia-Pacific Software Engineering Conference). 恶意 JavaScript 代码检测malicious JavaScript detection
• [10]📗LNCSXinmeng Xia, Xincheng He, Yanyan Yan, Lei Xu, Baowen Xu. An Empirical Study of Dynamic Types for Python Projects. SATE 2018 (LNCS, Software Analysis, Testing, and Evolution). Python 动态类型实证研究empirical study of Python dynamic types

🔒 授权发明专利Granted Patents

• [1]检测方法和电子设备Detection method and electronic device — Xincheng He. ZL202411497355.6, 2026-02-24
• [2]函数名恢复方法和电子设备Function-name recovery method and electronic device — Xincheng He, Ning An. ZL202411907503.7, 2025-07-18
• [3]代码检测方法、设备、存储介质和程序产品Code detection method, device, storage medium and program product — Xincheng He, Peng Guo. ZL202410881552.1, 2024-12-13
• [4]一种基于上下文分析的 Python API 实时推荐方法Context-analysis-based real-time Python API recommendation method — Lei Xu, Xincheng He, Baowen Xu. ZL202010957757.5, 2025-08-15
• [5]一种内存泄露检测方法、电子设备及存储介质Memory-leak detection method, electronic device and storage medium — Peng Guo, Xincheng He. ZL202411803195.3, 2025-05-13

荣誉奖项 HonorsHonors & Awards

• 2026省级Provincial · 江苏省青年科技人才托举工程Jiangsu Young Science and Technology Talent Support Program
• 2024企业级Corporate · 荣耀优秀个人-部长奖Honor Excellence Award - Director's Award (individual)
• 2022省级Provincial · 江苏省三好学生Jiangsu Province Merit Student (Three-Good Student)
• 2018省级Provincial · 江苏省优秀毕业设计(论文)Jiangsu Province Outstanding Graduation Project (Thesis)
• 2018校级University · 南京大学优秀毕业论文特等奖Nanjing University Outstanding Graduation Thesis, Grand Prize
• 2018国家级National · 第四届中国「互联网+」大学生创新创业大赛 团队赛全国银奖4th China "Internet+" College Students Innovation & Entrepreneurship Competition, National Silver Award (team)
• 2017国家级National · 第三届中国「互联网+」大学生创新创业大赛 团队赛全国铜奖3rd China "Internet+" College Students Innovation & Entrepreneurship Competition, National Bronze Award (team)

联系 ContactContact