中国科学院软件研究所 软件工程技术研发中心（ http://tcse.cn/ ）研究员，中国科学院特聘研究岗研究员，博士生/硕士生导师。长期从事软件工程和系统软件相关的研发工作，获得中国电子学会科技进步一等奖 1 项、二等奖 1 项，软件所优秀青年人才等。作为负责人和技术骨干承担和参与多项国家重点研发计划项目 / 课题 / 子课题、国家自然科学基金项目、工信部高质量专项项目、所创新基金重大项目等；长期与国内头部互联网企业、软件研发企事业单位开展合作。在 ICSE、ISSTA、FSE、ASE、IMWUT等顶级会议和国内外高水平学术会议和期刊发表学术论文60余篇，获得 ACM SIGSOFT 杰出论文奖，入选 “ 领跑者 5000” 中国精品科技期刊顶尖学术论文，申请发明专利 20 余项。担任 IEEE Transactions on Software Engineering、IEEE Transactions on Services Computing、IEEE Transactions on Parallel and Distributed Systems、软件学报、计算机科学、ISSTA、ICWS、APSEC、ICSS 等多个学术期刊、国际会议的审稿人和国家自然科学基金同行评议人等。

先后（共同）指导学生二十余人，获得中国软件开源创新大赛特等奖、一等奖，OW2 Programming Contest 一等奖，NASAC原型竞赛优胜奖等，多人次获得国家奖学金和优秀毕业生等荣誉。

     

当前的主要研究兴趣点聚焦在AI Infrastructure and AIoT，具体包括：

1. 大模型部署与推理优化，尤其面向资源受限的边、端计算场景，研究模型轻量化和推理优化相关技术；
2. 深度学习框架和编译器的缺陷分析与质量保障，当前主要聚焦在如PyTorch和TorchDynamo等框架和编译器的缺陷分析与测试；
3. 人机物融合场景下的复杂AIoT系统，当前主要聚焦在基于智能体的Smart Home系统构建及其可靠性保障；
4. 智能化软件工程技术，当前主要关注基于LLM和RAG的漏洞检测，基于LLM的代码检查规则生成等；
5. 云原生系统开发运维，如：函数服务(FaaS)构建及优化，FaaS部署与执行调度优化等。

招收对AI4SE（如：智能化软件分析与测试）、AI Infra and AI Native System（如：深度学习框架、LM推理引擎、agentic system）相关研究感兴趣的 博士生 / 硕士生 / 实习生 / 访问学生(常年有效)，要求学生对研究具有较强兴趣、较强的动手能力和自我驱动力！

联系方式：wchen AT otcaix.iscas.ac.cn

实验室网站：http://tcse.cn/

083500-软件工程

智能软件工程
网络分布式计算
人机物融合泛在计算

2023-10~现在, 中国科学院软件研究所, 研究员
2015-02~2023-10,中国科学院软件研究所, 副研究员
2005-04~2015-02,中国科学院软件研究所, 助理研究员

2019-11-12-今,电子学会会员,
2014-12-30-今,中国计算机学会会员,

奖励信息

（1） 分布式云计算平台系统关键技术与应用，中国电子学会科技进步二等奖，部委级, 2022

（2） 复杂服务计算关键技术研究与应用，中国电子学会科技进步一等奖，部委级, 2021

（3）IEEE/ACM International Conference on Automated Software Engineering (ASE) 杰出论文奖 (ACM SIGSOFT Distinguished Paper Award), 其他，2023

（4）第四届中国软件开源创新大赛（开源项目创新赛命题组）特等奖，其他，2021

（5）第四届中国软件开源创新大赛（开源项目创新赛命题组）一等奖，其他，2021

（6）OW2 Programming Contest，First Prize，Other，2016

近年来发表论文 完整列表见Google Scholar或DBLP

1. 基于LLM智能体的智能家居场景规则自动生成. 软件学报 (已录用). 2026. 通讯作者 (中文 CCF A)
2. 基于路网建模的自动驾驶关键场景生成与自适应演化方法. 软件学报. 2026. 第6作者 (中文 CCF A)
3. Toward Efficient Package Maintenance: An Empirical Study of Patch Sharing across Four Linux Distributions. The IEEE/ACM International Conference on Software Engineering (ICSE), 2026. 第4作者 (CCF A)
4. FaultWeave: Bounded Resilience Testing with Failure Diagnosis Capability for Microservice Applications. The ACM International Conference on the Foundations of Software Engineering (FSE), 2026. 第5作者 (CCF A)
5. VFLAGENT: A Chain-of-Thought-Guided Multi-Agent Collaboration Framework for Vulnerable Function Localization. The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026. 通讯作者 (CCF B)
6. LightLoader: Accelerate Python FaaS Cold-start via Multi-level Source Code Optimization.  The 23rd International Conference on Service-Oriented Computing (ICSOC), 2025.  通讯作者 (CCF B)  Best Student Paper Runner-up
7. LEGO: Synthesizing IoT Device Components based on Static Analysis and Large Language Models. In Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT), 2025. 通讯作者 (CCF A)
8. Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems. 34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA),  2025.  第7作者 (CCF A)
9. HeRo: A State Machine-based, Fault-tolerant Framework for Heterogeneous Multi-Robot Collaboration. 2025 IEEE International Conference on Robotics and Automation (ICRA), accepted. 2025. 第4作者 (CCF B)
10. Characterizing and detecting Python version incompatibilities caused by inconsistent version specifications. Journal of Systems and Software (JSS), 2025, 222: 112337. 通讯作者 (CCF B)
11. LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator. 34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA),  tool demo track, 2025.  第3作者 
12. MatchWord with Deed: Maintaining Consistency for IoT Systems with Behavior Models. In 39th IEEE/ACM International Conference on Automated Software Engineering (ASE ’24). 通讯作者
13. 面向Apache Flink流式分析应用的高吞吐优化技术. 软件学报. 2024. 第3作者 (中文 CCF A)
14. FineFlow: FaaS工作流部署优化与执行系统. 软件学报. http://www.jos.org.cn/1000-9825/7146.htm. 2024. 通讯作者  (中文 CCF A)
15. Detecting Smart Home Automation Application Interferences with Domain Knowledge, 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Research Track, 2023. 通讯作者 (CCF A) ACM SIGSOFT Distinguished Paper Award
16. Characterizing Flaky Tests in Node.js Applications, 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), NIER Track, 2023. 第 5 作者
17. Generating Scenario-Centric TAP rules for Smart Homes by Mining Historical Event Logs, IEEE International Conference on Web Services (ICWS) 2023. 通讯作者 (CCF B)
18. EasyPip: Detect and Fix Dependency Problems in Python Dependency Declaration, 35th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2023. 第5作者 (CCF C) 
19. A Case Study of Dependency Network for Building Packages: The Fedora Linux Distribution, 35th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2023. 第4作者 (CCF C)
20. Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns, 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022. 第 6 作者 (CCF A)
21. MOSAT: Finding Safety Violations of Autonomous Driving Systems Using Multi-Objective Genetic Algorithm, 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering(ESEC/FSE), 2022. 第 6 作者 (CCF A)
22. Understanding Device Integration Bugs in Smart Home System, 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022. 通讯作者 (CCF A)
23. REST API设计分析及实证研究, 软件学报, 2022, 33(9): 3271-3296. 通讯作者 (中文 CCF A) 入选2022年度 “领跑者5000” 中国精品科技期刊顶尖学术论文
24. Knowledge-Based Environment Dependency Inference for Python Programs, 44th International Conference on Software Engineering (ICSE), 2022. 通讯作者 (CCF A)
25. TAGen: Generating Trigger-Action Rules for Smart Homes by Mining Event Traces, 19th International Conference on Service-Oriented Computing(ICSOC), 2021. 通讯作者 (CCF B)
26. Poster: Automated Repair of Cross Browser Layout Issues Combining Learning and Search-based technique, International Conference on Software Testing, Verification, and Validation, 2021, 第 4 作者
27.  X-Check: Improving Effectiveness and Efficiency of Cross-Browser Issues Detection for JavaScript-Based Web Applications, IEEE TRANSACTIONS ON SERVICES COMPUTING (TSC), 2021. 第 3 作者 (CCF A)
28. DockerGen: A Knowledge Graph based Approach for Software Containerization, COMPSAC, 2021. 通讯作者 (CCF C)
29. DockerKG: A Knowledge Graph of Docker Artifacts, ICSE WORKSHOPS 2020, 2020. 通讯作者
30. Fitness-guided Resilience Testing of Microservice-based Applications, IEEE International Conference on Web Services (ICWS), 2020. 第 4 作者 (CCF B)
31. 一种基于录制/重放的Android应用众包测试方法, Crowdsourcing Test Method for Android Applications Based on Recording/Replay, 软件学报, 2020. 第 3 作者 (中文 CCF A)
32. WebRR: self-replay enhanced robust record/replay for web application testing, 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’20), 2020. 第 3 作者 (CCF A)
33. 基于领域知识的Docker镜像自动构建方法, An approach to automatically building Docker images by using domain knowledge, 大数据, 2020. 第 1 作者
34.  一种基于关联挖掘的服务一致化配置方法, Association Mining Based Consistent Service Configuration, 计算机研究与发展, 2020. 第 2 作者 (中文 CCF A)

   

（ 1 ） 复杂物联网系统可靠性保障关键技术研究, 负责人, 国家任务, 2025-01--2028-12
（ 2 ） 云原生软件生态系统智能化开发、测试与运维, 参与, 国家任务, 2024-12--2027-11
（ 3 ） 面向新型架构的软件智能化开发方法, 负责人, 研究所自主部署, 2024-01--2025-12
（ 4 ） 面向开源供应链的包管理机制研究, 参与, 研究所自主部署, 2023-12--2024-11
（ 5 ） 交通基础设施数字化工业软件架构及核心技术标准体系, 负责人, 国家任务, 2021-12--2024-11
（ 6 ） 全场景知识图谱项目, 负责人, 境内委托项目, 2021-04--2022-03
（ 7 ） 智能化开发运维一体化关键技术研究, 负责人, 其他国际合作项目, 2021-01--2022-01
（ 8 ） Docker镜像分析管理系统与知识图谱技术开发, 负责人, 境内委托项目, 2020-01--2021-12
（ 9 ） Intelligent Management and Orchestration of Smart Home, 负责人, 境内委托项目, 2019-01--2020-01
（ 10 ） 跨界服务设计方法与关键技术, 负责人, 国家任务, 2017-12--2020-11
（ 11 ） 面向软件开发运维一体化的运行演化智能支撑技术和环境, 参与, 国家任务, 2016-06--2019-06
（ 12 ） 云应用迁移配置和在线运行管理关键技术研究, 参与, 国家任务, 2016-01--2019-12

   

与华为、中国电子科技集团公司第十五研究所等单位开展项目合作

已指导学生

李世雄  硕士研究生  081202-计算机软件与理论  

徐少鹏  硕士研究生  085212-软件工程  

马新宇  硕士研究生  083500-软件工程  

张康康  硕士研究生  083500-软件工程  

周芯宇  硕士研究生  083500-软件工程  

刘璐  硕士研究生  083500-软件工程  

高浩城  硕士研究生  085405-软件工程  

侯胜明  硕士研究生  085405-软件工程  

邓憧  硕士研究生  085405-软件工程  

现指导学生

徐佳旺  硕士研究生  083500-软件工程  

陈鹏宇  博士研究生  083500-软件工程  

朱佳悦  硕士研究生  085405-软件工程  

1. 汪涛   （博士，2025届）华为2012实验室（“天才少年”计划）
   
2. 邓憧   （硕士，2025届）厦门航空公司 信息中心
3. 候胜明（硕士，2024届）百度
4. 高浩城（硕士，2024届）中科前沿科技研究有限公司
5. 刘璐     (硕士，2023届） 中国电子科技集团公司第二十九研究所
6. 张康康  (硕士，2022届） 阿里云计算有限公司
7. 周芯宇  (硕士，2022届） 联想集团
8. 马新宇  (硕士，2021届） 腾讯
9. 徐少鹏  (硕士，2020届） 阿里云计算有限公司
10. 周家宏  (硕士，2020届） 美团
11. 李世雄  (硕士，2019届） 蚂蚁科技集团股份有限公司
12. 徐培兴  (硕士，2017届） 字节跳动