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

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

      主要研究领域为智能化软件工程与网络分布式计算，当前研究重点包括：

       1）智能化代码维护与质量保障，如：基于大模型的组件生成研究，基于领域知识的Python生态兼容性研究等；

       2）人机物三元融合场景下，复杂IoT系统的可靠性保障，面向终端用户的开发方法(end-user development)等；

       3）云原生系统开发运维，如：函数服务(FaaS)构建及优化，FaaS部署与执行调度优化等；

       4）深度学习框架质量保障，资源受限环境下的模型部署与执行优化等。

招收对软件分析与测试、机器学习系统、云计算与IoT系统相关研究感兴趣的博士生/硕士生/实习生/访问学生(常年有效)，要求学生对研究具有较强兴趣、较强的动手能力和自我驱动力！

联系方式：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. 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. Accepted. 通讯作者 (CCF B)
2. 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
3. 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)
4. 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)
5. 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)
6. Characterizing and detecting Python version incompatibilities caused by inconsistent version specifications. Journal of Systems and Software (JSS), 2025, 222: 112337. 通讯作者 (CCF B)
7. 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作者 
8. MatchWord with Deed: Maintaining Consistency for IoT Systems with Behavior Models. In 39th IEEE/ACM International Conference on Automated Software Engineering (ASE ’24). 通讯作者
9. 面向Apache Flink流式分析应用的高吞吐优化技术. 软件学报. 2024. 第3作者 (中文 CCF A)
10. FineFlow: FaaS工作流部署优化与执行系统. 软件学报. http://www.jos.org.cn/1000-9825/7146.htm. 2024. 通讯作者  (中文 CCF A)
11. 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
12. Characterizing Flaky Tests in Node.js Applications, 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), NIER Track, 2023. 第 5 作者
13. Generating Scenario-Centric TAP rules for Smart Homes by Mining Historical Event Logs, IEEE International Conference on Web Services (ICWS) 2023. 通讯作者 (CCF B)
14. EasyPip: Detect and Fix Dependency Problems in Python Dependency Declaration, 35th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2023. 第5作者 (CCF C) 
15. 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)
16. 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)
17. 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)
18. Understanding Device Integration Bugs in Smart Home System, 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022. 通讯作者 (CCF A)
19. REST API设计分析及实证研究, 软件学报, 2022, 33(9): 3271-3296. 通讯作者 (中文 CCF A) 入选2022年度 “领跑者5000” 中国精品科技期刊顶尖学术论文
20. Knowledge-Based Environment Dependency Inference for Python Programs, 44th International Conference on Software Engineering (ICSE), 2022. 通讯作者 (CCF A)
21. TAGen: Generating Trigger-Action Rules for Smart Homes by Mining Event Traces, 19th International Conference on Service-Oriented Computing(ICSOC), 2021. 通讯作者 (CCF B)
22. Poster: Automated Repair of Cross Browser Layout Issues Combining Learning and Search-based technique, International Conference on Software Testing, Verification, and Validation, 2021, 第 4 作者
23.  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)
24. DockerGen: A Knowledge Graph based Approach for Software Containerization, COMPSAC, 2021. 通讯作者 (CCF C)
25. DockerKG: A Knowledge Graph of Docker Artifacts, ICSE WORKSHOPS 2020, 2020. 通讯作者
26. Fitness-guided Resilience Testing of Microservice-based Applications, IEEE International Conference on Web Services (ICWS), 2020. 第 4 作者 (CCF B)
27. 一种基于录制/重放的Android应用众包测试方法, Crowdsourcing Test Method for Android Applications Based on Recording/Replay, 软件学报, 2020. 第 3 作者 (中文 CCF A)
28. 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)
29. 基于领域知识的Docker镜像自动构建方法, An approach to automatically building Docker images by using domain knowledge, 大数据, 2020. 第 1 作者
30.  一种基于关联挖掘的服务一致化配置方法, 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届） 字节跳动