基本信息
赵琛  男  博导  中国科学院软件研究所
电子邮件: zhaochen@iscas.ac.cn
通信地址: 北京市海淀区中关村南四街4号
邮政编码: 100190

招生信息

   
招生专业
083500-软件工程
081202-计算机软件与理论
085400-电子信息
招生方向
智能基础理论与系统
编程语言与编译技术
编程语言与编译工具链

教育背景

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 ) 基于API文档图谱的操作系统智能编程方法及装置.ZL202111174889.1, 2021, 第 2 作者, 专利号: ZL202111174889.1

( 2 ) 一种基于鸿蒙分布式能力的裸眼3D直播方法, 2021, 第 2 作者, 专利号: 202111197279.3

( 3 ) 轻量级OpenHarmony操作系统应用开发对象管理系统及其应用方法, 2021, 第 2 作者, 专利号: 2021111535039

( 4 ) 一种实现智能虚拟数字动物的可学习能力模型个性化的训练学习方法与系统, 2020, 第 3 作者, 专利号: CN110866588A

( 5 ) Picoblaze processor based multifunction vehicle bus (pMVB) controller system, 2017, 专利号: US9563589(B2)

( 6 ) PICOBLAZE-BASED MVB CONTROLLER, 2015, 专利号: US20150261703(A1)

( 7 ) LPC2468-BASED MVB-WTB GATEWAY AND WORKING METHOD THEREOF, 2015, 专利号: US20150237156(A1)

( 8 ) 一种基于FPGA的多功能输入输出模块及输入输出方法, 2014, 第 2 作者, 专利号: CN104049554A

( 9 ) 一种基于移动智能终端地理位置信息的数据保护方法, 2014, 第 5 作者, 专利号: CN103561384A

( 10 ) 基于嵌入式处理器的MVB网卡模块及数据传输方法, 2014, 第 4 作者, 专利号: CN104144026A

( 11 ) 一种基于CPLD的IO站数字量输入模块及输入方法, 2014, 第 3 作者, 专利号: CN103901795A

( 12 ) 一种基于PC104接口的在线配置方法及系统, 2014, 第 4 作者, 专利号: CN103870418A

( 13 ) 基于用户兴趣挖掘的微博词云生成方法及访问支持系统, 2014, 第 5 作者, 专利号: CN103793481A

( 14 ) 一种高速列车故障处理方法, 2014, 第 4 作者, 专利号: CN103793589A

( 15 ) 一种基于PicoBlaze的MVB控制器, 2014, 第 2 作者, 专利号: CN103728928A

( 16 ) 基于LPC2468的MVB-WTB网关及其工作方法, 2014, 第 1 作者, 专利号: CN103731343A

( 17 ) 高速列车网络控制系统的软件可靠性检测方法, 2014, 第 2 作者, 专利号: CN103678101A

( 18 ) 一种基于MPC860的MVB-WTB网关, 2014, 第 7 作者, 专利号: CN103684999A

( 19 ) 一种MVB协议分析仪及其工作方法, 2014, 第 3 作者, 专利号: CN103684891A

( 20 ) 一种WTB协议分析仪及其工作方法, 2014, 第 2 作者, 专利号: CN103684892A

( 21 ) 一种有效的层次化错误定位方法, 2014, 第 4 作者, 专利号: CN103559131A

( 22 ) 一种基于MVB总线的人机界面交互设备, 2014, 第 2 作者, 专利号: CN103500155A

( 23 ) 一种基于代理的RTEMS系统调试方法, 2013, 第 2 作者, 专利号: CN102945202A

( 24 ) 云环境下基于二维码的移动智能终端安全漏洞修复方法, 2013, 第 5 作者, 专利号: CN102945351A

( 25 ) 云环境下基于二维码的移动智能终端漏洞查询与推送方法, 2013, 第 5 作者, 专利号: CN102932782A

( 26 ) 一种基于虚拟机的移动介质网银安全认证方法, 2011, 第 5 作者, 专利号: CN102096782A

( 27 ) 一种TTCN语言与数据描述语言的集成方法, 2010, 第 1 作者, 专利号: CN101930362A

( 28 ) 用于业务密集型领域的业务过程管理方法和系统, 2007, 第 2 作者, 专利号: CN1967572

( 29 ) 工作流管理中参与者的动态分配方法, 2006, 第 3 作者, 专利号: CN1786996

( 30 ) 基于时序逻辑的业务过程建模方法, 2006, 第 3 作者, 专利号: CN1786995

出版信息

   
发表论文
(1) ChattyGraph: 面向异构多协处理器环境的高可扩展图计算系统, 软件学报, 2022, 第 5 作者
(2) 一种Linux安全漏洞修复补丁自动识别方法, Identify Linux Security Vulnerability Fix Patches Automatically, 计算机研究与发展, 2022, 第 3 作者
(3) RISC-V指令集架构研究综述, 软件学报, 2021, 第 4 作者
(4) 一种融合程序员和神经网络的自动化程序生成方法, A Programming Paradigm Combining Programmer and Neural Network to Promote Automated Program Generation, 计算机研究与发展, 2021, 第 3 作者
(5) Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization, 2020, 第 6 作者
(6) Multi-Peak Graph based Multi-Instance Learning for Weakly Supervised Object Detection., ACM Transactions on Multimedia Computing Communications and Applications, 2020, 
(7) 面向GPU平台的复杂网络core分解方法研究, Accelerating Core Decomposition in Complex Network on GPUs, 软件学报, 2020, 第 5 作者
(8) 面向操作系统可靠性保障的开源软件供应链, Open Source Software Supply Chain for Reliability Assurance of Operating Systems, 软件学报, 2020, 第 4 作者
(9) 可微分抽象机混合编程系统, Hybrid Programming System of Differentiable Abstract Machines, 软件学报, 2019, 第 3 作者
(10) Prefetch-aware fingerprint cache management for data deduplication systems, Prefetch-aware fingerprint cache management for data deduplication systems, 中国计算机科学前沿:英文版, 2019, 第 4 作者
(11) Learning Semantic Neural Tree for Human Parsing, 2019, 第 6 作者
(12) Prefetch-aware fingerprint cache management for data deduplication systems, FRONTIERS OF COMPUTER SCIENCE, 2019, 第 4 作者
(13) Eliminating Path Redundancy via Postconditioned Symbolic Execution, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 第 6 作者
(14) MixHeter: A global scheduler for mixed workloads in heterogeneous environments, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2018, 第 4 作者
(15) MemSC: A Scan-Resistant and Compact Cache Replacement Framework for Memory-Based Key-Value Cache Systems, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2017, 第 4 作者
(16) 面向C4350AL处理器的GCC移植与优化, Porting and Optimization of GCC on C4350AL, 计算机系统应用, 2015, 第 4 作者
(17) 增强覆盖度与非相似性的标签选择多样化方法, Diversifying Tag Selection Result by Improving Both Coverage and Dissimilarity, 软件学报, 2015, 第 4 作者
(18) 基于事件处理函数的GUI测试用例集约简技术, GUI Test Suite Reduction Techniques Based on Event Handler Functions, 软件学报, 2015, 第 4 作者
(19) A Synergistic Analysis Method for Explaining Failed Regression Tests, 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1, 2015, 第 4 作者
(20) Post conditioned symbolic execution, IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015, 通讯作者
(21) 数据操作系统的思想、设计和原型验证, DataOS: principle, design and prototype implementation, 中国科学. 信息科学, 2015, 第 2 作者
(22) Explaining Software Failures by Cascade Fault Localization, ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2015, 第 4 作者
(23) Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity, 14th International Conference on Web Information Systems Engineering (WISE), 2013, 第 5 作者
(24) 一种基于事件处理函数的GUI测试方法, Approach for GUI Testing Based on Event Handler Function, 软件学报, 2013, 第 3 作者
(25) Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity, WEB INFORMATION SYSTEMS ENGINEERING - WISE 2013, PT II, 2013, 第 5 作者
(26) 虚拟机确定性执行重放的模型分析和实现方法, Model Analysis and Implementation Method of Deterministic Execution Replay Based on Virtual Machine, 软件学报, 2012, 第 4 作者
(27) Virtual machine replay update: improved implementation for modern hardware architecture, PROCEEDINGS OF THE 2012 IEEE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY COMPANION, SERE-C 2012, 2012, 第 4 作者
(28) Deterministic replay of multithread applications using virtual machine, PROCEEDINGS - 26TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS, WAINA 2012, 2012, 第 5 作者
(29) An empirical study on test driven development process for android applications, PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, SEA 2011, 2011, 第 3 作者
(30) Performance-based control interfaces using mixture of factor analyzers, VISUAL COMPUTER, 2011, 第 5 作者
(31) Supporting flexible reification of design patterns, PROCEEDINGS - ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC, 2010, 第 4 作者
(32) An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique, 17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, 第 3 作者
(33) 一种用于软件过程建模的适应性Agent协商, Adaptive Agent Negotiation for Software Process Modeling, 软件学报, 2009, 第 3 作者
(34) 一种基于过程图模型的编译优化测试程序自动生成方法, An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph, 计算机研究与发展, 2009, 第 2 作者
(35) 一种编译优化测试用例自动生成方法的设计与实现, Design and Implementation of an Automatic Test Case Generation Method for Compiler Optimization, 小型微型计算机系统, 2009, 第 3 作者
(36) 围绕主题的同步交互学习支持工具的设计与实现, Design and implementation of learning tool on theme-based synchronous interaction, 计算机工程与设计, 2009, 第 3 作者
(37) 基于时序逻辑证明编译优化程序变换的保义性, Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic, 软件学报, 2009, 第 2 作者
(38) Automated test program generation for an industrial optimizing compiler, PROCEEDINGS OF THE 2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST, AST 2009, 2009, 第 1 作者
(39) Efficient and automatic instrumentation for packed binaries, ADVANCES IN INFORMATION SECURITY AND ASSURANCE, 2009, 第 3 作者
(40) Preparation of magnetic chitosan nanoparticles and immobilization of laccase, JOURNAL OF WUHAN UNIVERSITY OF TECHNOLOGY-MATERIALS SCIENCE EDITION, 2009, 第 5 作者
(41) Automated phase-ordering of loop optimizations based on polyhedron model, PROCEEDINGS - 10TH IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, HPCC 2008, 2008, 第 2 作者
(42) 一种基于访问控制的安全Web服务发现机制, Secure Web Services Discovery Method Based on Access Control, 计算机工程, 2008, 第 3 作者
(43) Design of LXI Bus Interface for High-Frequency Ground Wave Radar Based on ARM, 2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, 通讯作者
(44) 基于时间自动机的测试用例自动生成及执行方法, Testcase automatic generation and execution method based on timed automata, 计算机工程与设计, 2008, 第 3 作者
(45) 基于时序逻辑的编译优化测试用例生成方法, Test Case Generation for Compiler Optimization Based on Temporal Logic, 计算机应用研究, 2007, 第 3 作者
(46) 一种基于时间自动机的实时系统测试方法, A Method for Testing Real-Time System Based on Timed Automata, 软件学报, 2007, 第 3 作者
(47) 一种面向TTCN-3测试系统的共享内存管理框架, Shared-Memory Management Framework for TTCN-3 Test System, 计算机应用研究, 2007, 第 3 作者
(48) 基于中间表示的可复用程序分析系统, Retargetable Program Analysis System Based on Intermediate Representation, 计算机工程, 2007, 第 3 作者
(49) 基于CTL的循环优化变换描述方法, Loop Optimization Transformation Using CTL Specifications, 计算机应用研究, 2007, 第 4 作者
(50) 一个支持可信主体特权最小化的多级安全模型, A Multi-Level Security Model with Least Privilege Support for Trusted Subject, 软件学报, 2007, 第 3 作者
(51) 一种用于测试编译优化的程序控制结构生成算法, Program Control Structure Generation Algorithm for Compiling Optimization Testing, 计算机应用研究, 2006, 第 2 作者
(52) 一种基于Messy GA的结构测试数据自动生成方法, An Automated Approach for Structural Test Data Generation Based on Messy GA, 软件学报, 2006, 第 4 作者
(53) Software testing process automation based on utp - a case study, UNIFYING THE SOFTWARE PROCESS SPECTRUM, 2005, 
(54) 异常处理机制研究, 计算机应用研究, 2005, 第 2 作者
(55) 多媒体节目时序描述的组合技术, 软件学报, 2001, 第 1 作者
(56) 多媒体节目时序描述的完全性和协调性, 计算机学报, 2000, 第 1 作者
(57) 基于时序逻辑的超文本描述, 计算机辅助设计与图形学学报, 1999, 第 2 作者
(58) 面向媒体时序描述的带时间自动机的自动构造方法, 计算机学报, 1999, 第 1 作者
(59) 动画剧本描述语言SDL/A的设计与实现, 软件学报, 1996, 第 4 作者
发表著作
( 1 ) 图灵宇宙:原初纪元——计算机科学发展简史, 电子工业出版社, 2022-09, 第 3 作者

科研活动

   
科研项目
( 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
( 7 ) 小数据猜测理论与可解释性, 负责人, 国家任务, 2019-02--2021-12
( 8 ) RISC-V基础软件(先导专项), 负责人, 中国科学院计划, 2022-11--2025-12