基本信息
赵琛男博导中国科学院软件研究所
电子邮件： zhaochen@iscas.ac.cn
通信地址： 北京市海淀区中关村南四街4号
邮政编码： 100190
部门/实验室：智能软件研究中心
研究领域

招生信息
招生专业081202-计算机软件与理论

招生方向软件测试，编译技术及应用，智能信息处理


教育背景1996-09--2000-07中国科学院软件研究所博士
1990-09--1992-07中国科学院软件研究所硕士
1989-09--1990-07中国地质大学研究生院无
1985-09--1989-07武汉大学计算机系学士

学历
学位

工作经历
工作简历2015-07~现在,中国科学院软件研究所,所长
2008-07~2015-07,中国科学院软件研究所,副所长
2004-07~2015-07,中国科学院软件研究所,总工程师
2001-07~2004-07,中国科学院软件研究所,科技处处长
1996-09~2000-07,中国科学院软件研究所,博士
1992-08~现在,中国科学院软件研究所,历任助理研究员、副研究员、研究员
1990-09~1992-07,中国科学院软件研究所,硕士
1989-09~1990-07,中国地质大学研究生院,无
1985-09~1989-07,武汉大学计算机系,学士

社会兼职

教授课程

专利与奖励
奖励信息（1） 软件过程服务技术与集成管理系统, 二等奖, 国家级, 2005

专利成果（ 1 ） 基于C++映射的TTCN-3测试系统及测试方法, 2008, 第 1 作者, 专利号: ZL4.8
（ 2 ） 基于时间安全输入输出自动机的测试方法及系统, 2008, 第 1 作者, 专利号: ZL6.1
（ 3 ） 一种数据驱动可扩展的智能通用任务调度系统, 2018, 第 3 作者, 专利号: 1.8
（ 4 ） 一种交织器映射和动态内存管理系统及方法, 2018, 第 3 作者, 专利号: 4.X


出版信息
发表论文（1）可微分抽象机混合编程系统,软件学报,2019,第3作者
（2）MixHeter: A Global Scheduler for Mixed Workloads in Heterogeneous Environments,Journal of Parallel and Distributed Computing,2018,第4作者
（3）MemSC: A scan-resistant and compact cache replacement framework for memory-based key-value cache systems,JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2017,第4作者
（4）增强覆盖度与非相似性的标签选择多样化方法,软件学报,2015,第4作者
（5）A synergistic analysis method for explaining failed regression tests,IEEE/ACM International Conference on Software Engineering ,2015,第4作者
（6）Explaining software failures by cascade fault localization,ACM Transactions on Design Automation of Electronic Systems(TODEAS), ,2015,第4作者
（7）Post conditioned symbolic execution,IEEE International Conference on Software Testing, Verification and Validation (ICST),2015,第11作者
（8）基于事件处理函数的GUI测试用例集约简技术,软件学报,2014,第4作者
（9）虚拟机确定性执行重放的模型分析和实现方法,软件学报,2012,第4作者
（10）Deterministic Replay of Multithread Applications Using Virtual Machine,Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops,2012,第4作者
（11）Supporting Flexible Reification of Design Patterns,APSEC2010,2010,第4作者
（12）An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique,Proceedings of the 17th Asia Pacific Software Engineering Conference (APSEC’10), ,2010,第3作者
（13）An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique,APSEC2010,2010,第3作者
（14）Automated test program generation for an industrial optimizing compiler,AST2009,2009,第1作者
（15）一种基于过程图模型的编译优化测试程序自动生成方法,An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph,计算机研究与发展,2009,第2作者
（16）基于时序逻辑证明编译优化程序变换的保义性,Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic,软件学报,2009,第2作者
（17）一种用于软件过程建模的适应性Agent协商,Adaptive Agent Negotiation for Software Process Modeling,软件学报,2009,第4作者
（18）Automated Phase-Ordering of Loop Optimizations Based on Polyhedron Model,HPCC2008,2008,第2作者
（19）一个支持可信主体特权最小化的多级安全模型,A Multi-Level Security Model with Least Privilege Support for Trusted Subject,软件学报,2007,第3作者
（20）一种基于时间自动机的实时系统测试方法,A Method for Testing Real-Time System Based on Timed Automata,软件学报,2007,第3作者
（21）Software Testing Process Automation Based on UTP - A Case Study,ISPW2005,2005,第4作者
（22）一种基于Messy GA的结构测试数据自动生成方法,An Automated Approach for Structural Test Data Generation Based on Messy GA,软件学报,2005,第4作者
（23）多媒体节目时序描述的组合技术,Temporal Specification Composition Techniques for Multimedia Program Design,软件学报,2001,第1作者
（24）基于XYZ/RE的多媒体同步器自动构造方法,A Methodology for Automatically Constructing a Multimedia Synchronize r in XYZ/RE,软件学报,2000,第1作者
（25）动画剧本描述语言SDL/A的设计与实现,The Design and Implementation of Animation Script Description Language SDL/A,软件学报,1996,第4作者
（26）一种面向软件工程的时序逻辑语言,A Temporal Logic Language Oriented Toward Software Engineering,软件学报,1993,第2作者

发表著作

科研活动
科研项目（ 1 ） 云操作系统及关键组件研制, 主持,国家级,2010-07--2013-07
（ 2 ） 智能处理器支撑软件及驱动程序, 参与,国家级,2016-11--2018-06
（ 3 ） 基础软件领域科技发展, 主持,部委级,2018-10--2018-10
（ 4 ） 院JS信息技术领域, 主持,部委级,2018-04--2018-12
（ 5 ） 高安全可信移动终端, 参与,国家级,2017-01--2020-06
（ 6 ） 智能处理器操作系统支持及驱动二期, 参与,国家级,2018-07--2020-06

参与会议

合作情况
项目协作单位

指导学生