基本信息
赵琛  男  博导  中国科学院软件研究所
电子邮件: 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) 基于XYZ/RE的多媒体同步器自动构造方法, 软件学报, [[[2000]]], 
(2) 一种面向软件工程的时序逻辑语言, 软件学报, [[[1994]]], 
(3) 一种Linux安全漏洞修复补丁自动识别方法, Identify Linux Security Vulnerability Fix Patches Automatically, 计算机研究与发展, 2022, 第 3 作者
(4) Multi-peak Graph-based Multi-instance Learning for Weakly Supervised Object Detection, ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS, 2021, 第 7 作者
(5) RISC-V指令集架构研究综述, 软件学报, 2021, 第 4 作者
(6) Development of a Core Outcome Set for the Benefits and Adverse Events of Acute Heart Failure in Clinical Trials of Traditional Chinese Medicine and Western Medicine: A Study Protocol, FRONTIERS IN MEDICINE, 2021, 第 8 作者
(7) 一种融合程序员和神经网络的自动化程序生成方法, A Programming Paradigm Combining Programmer and Neural Network to Promote Automated Program Generation, 计算机研究与发展, 2021, 第 3 作者
(8) 金融业关键基础软件砥砺前行, Key Basic Software Is Forging Ahead in Age of Digitized Capital Construction, 金融电子化, 2020, 第 2 作者
(9) Attention Convolutional Binary Neural Tree for Fine-Grained Visual Categorization, 2020, 
(10) Multi-Peak Graph based Multi-Instance Learning for Weakly Supervised Object Detection., ACM Transactions on Multimedia Computing Communications and Applications, 2020, 
(11) 面向GPU平台的复杂网络core分解方法研究, Accelerating Core Decomposition in Complex Network on GPUs, 软件学报, 2020, 第 5 作者
(12) 面向操作系统可靠性保障的开源软件供应链, Open Source Software Supply Chain for Reliability Assurance of Operating Systems, 软件学报, 2020, 第 4 作者
(13) 可微分抽象机混合编程系统, Hybrid Programming System of Differentiable Abstract Machines, 软件学报, 2019, 第 3 作者
(14) Prefetch-aware fingerprint cache management for data deduplication systems, Prefetch-aware fingerprint cache management for data deduplication systems, 中国计算机科学前沿:英文版, 2019, 第 4 作者
(15) Learning Semantic Neural Tree for Human Parsing, 2019, 
(16) Prefetch-aware fingerprint cache management for data deduplication systems, FRONTIERS OF COMPUTER SCIENCE, 2019, 第 4 作者
(17) Observation and Intercomparison of Wave Motion and Wave Measurement Using Shore-Based Coherent Microwave Radar and HF Radar, IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, 2019, 通讯作者
(18) High-Performance Photodetectors Based Single All-Inorganic CsPbBr3 Perovskite Microwire, ACS PHOTONICS, 2018, 第 2 作者
(19) Eliminating Path Redundancy via Postconditioned Symbolic Execution, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 第 6 作者
(20) MixHeter: A global scheduler for mixed workloads in heterogeneous environments, JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2018, 
(21) Indium-doped ZnO horizontal nanorods for high on-current field effect transistors, RSC ADVANCES, 2017, 第 4 作者
(22) MemSC: A Scan-Resistant and Compact Cache Replacement Framework for Memory-Based Key-Value Cache Systems, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2017, 第 4 作者
(23) Interference Suppression Based on Joint Time-Frequency Analysis and Fractional Fourier Domain in LFM HF Radar, FUZZY SYSTEMS AND DATA MINING III (FSDM 2017), 2017, 
(24) Reducing Hysteresis and Enhancing Performance of Perovskite Solar Cells Using Low-Temperature Processed Y-Doped SnO2 Nanosheets as Electron Selective Layers, SMALL, 2017, 
(25) Enhanced Multi-target Detection for HFSWR by Sparse-Recovery-Based 2-D MUSIC, OCEANS 2017 - ANCHORAGE, 2017, 
(26) Flexible coaxial-type fiber solid-state asymmetrical supercapacitor based on Ni3S2 nanorod array and pen ink electrodes, JOURNAL OF POWER SOURCES, 2016, 第 6 作者
(27) Improved performance in Ag2S/P3HT hybrid solar cells with a solution processed SnO2 electron transport layer, RSC ADVANCES, 2016, 第 4 作者
(28) Efficient planar Sb2S3 solar cells using a low-temperature solution-processed tin oxide electron conductor, PHYSICAL CHEMISTRY CHEMICAL PHYSICS, 2016, 第 10 作者
(29) An Improved Method to Estimate the Doppler Spectrum Centroid of Microwave Radar, OCEANS 2016 - SHANGHAI, 2016, 
(30) Three-dimensional hierarchical NiCo hydroxide@Ni3S2 nanorod hybrid structure as high performance positive material for asymmetric supercapacitor, ELECTROCHIMICA ACTA, 2016, 
(31) 增强覆盖度与非相似性的标签选择多样化方法, Diversifying Tag Selection Result by Improving Both Coverage and Dissimilarity, 软件学报, 2015, 第 4 作者
(32) 面向C4350AL处理器的GCC移植与优化, Porting and Optimization of GCC on C4350AL, 计算机系统应用, 2015, 第 4 作者
(33) 基于事件处理函数的GUI测试用例集约简技术, GUI Test Suite Reduction Techniques Based on Event Handler Functions, 软件学报, 2015, 第 4 作者
(34) A Synergistic Analysis Method for Explaining Failed Regression Tests, 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1, 2015, 
(35) Post conditioned symbolic execution, IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015, 通讯作者
(36) Performance enhancement of perovskite solar cells with Mg-doped TiO2 compact film as the hole-blocking layer, APPLIED PHYSICS LETTERS, 2015, 第 5 作者
(37) Performance enhancement of polymer solar cells with high work function CuS modified ITO as anodes, ORGANIC ELECTRONICS, 2015, 第 6 作者
(38) Fabrication and Characterization of Alternating-Current-Driven ZnO-Based Ultraviolet Light-Emitting Diodes, ELECTRONIC MATERIALS LETTERS, 2015, 第 3 作者
(39) 数据操作系统的思想、设计和原型验证, DataOS: principle, design and prototype implementation, 中国科学. 信息科学, 2015, 第 2 作者
(40) Explaining Software Failures by Cascade Fault Localization, ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2015, 第 4 作者
(41) High Expression of Bcl-2 Protein Predicts Favorable Outcome in Non-small Cell Lung Cancer: Evidence from a Systematic Review and Meta-analysis, ASIAN PACIFIC JOURNAL OF CANCER PREVENTION, 2014, 第 4 作者
(42) Photosensitive and temperature-dependent I-V characteristics of p-NiO film/n-ZnO nanorod array heterojunction diode, MATERIALS SCIENCE AND ENGINEERING B-ADVANCED FUNCTIONAL SOLID-STATE MATERIALS, 2014, 第 7 作者
(43) Enhanced ultraviolet electroluminescence and spectral narrowing from ZnO quantum dots/GaN heterojunction diodes by using high-k HfO2 electron blocking layer, APPLIED PHYSICS LETTERS, 2014, 第 5 作者
(44) Enhanced electroluminescence using Ta2O5/ZnO/HfO2 asymmetric double heterostructure in ZnO/GaN-based light emitting diodes, OPTICS EXPRESS, 2014, 第 5 作者
(45) One-chip multicolor electroluminescence from an isotype heterojunction light-emitting diode, APPLIED PHYSICS LETTERS, 2014, 第 1 作者
(46) Unusual electroluminescence from n-ZnO@i-MgO core-shell nanowire color-tunable light-emitting diode at reverse bias, PHYSICAL CHEMISTRY CHEMICAL PHYSICS, 2014, 第 6 作者
(47) Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity, 14th International Conference on Web Information Systems Engineering (WISE), 2013, 第 5 作者
(48) Electroluminescence from ZnO-nanorod-based double heterostructured light-emitting diodes, APPLIED PHYSICS LETTERS, 2013, 第 6 作者
(49) 一种基于事件处理函数的GUI测试方法, Approach for GUI Testing Based on Event Handler Function, 软件学报, 2013, 第 3 作者
(50) Metabolic and Functional Genomic Studies Identify Deoxythymidylate Kinase as a target in LKB1 Mutant Lung Cancer, CANCER DISCOVERY, 2013, 
(51) 虚拟机确定性执行重放的模型分析和实现方法, Model Analysis and Implementation Method of Deterministic Execution Replay Based on Virtual Machine, 软件学报, 2012, 第 4 作者
(52) 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 作者
(53) Deterministic replay of multithread applications using virtual machine, Proceedings - 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, 2012, 第 5 作者
(54) 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 作者
(55) Performance-based control interfaces using mixture of factor analyzers, VISUAL COMPUTER, 2011, 第 5 作者
(56) G-quadruplex formation at the 3' end of telomere DNA inhibits its extension by telomerase, polymerase and unwinding by helicase, NUCLEIC ACIDS RESEARCH, 2011, 第 3 作者
(57) Molecular crowding creates an essential environment for the formation of stable G-quadruplexes in long double-stranded DNA, NUCLEIC ACIDS RESEARCH, 2010, 第 2 作者
(58) Supporting flexible reification of design patterns, Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2010, 
(59) An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique, 17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, 
(60) 一种用于软件过程建模的适应性Agent协商, Adaptive Agent Negotiation for Software Process Modeling, 软件学报, 2009, 
(61) 一种基于过程图模型的编译优化测试程序自动生成方法, An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph, 计算机研究与发展, 2009, 第 2 作者
(62) 一种编译优化测试用例自动生成方法的设计与实现, Design and Implementation of an Automatic Test Case Generation Method for Compiler Optimization, 小型微型计算机系统, 2009, 第 3 作者
(63) 围绕主题的同步交互学习支持工具的设计与实现, Design and implementation of learning tool on theme-based synchronous interaction, 计算机工程与设计, 2009, 第 3 作者
(64) 基于时序逻辑证明编译优化程序变换的保义性, Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic, 软件学报, 2009, 第 2 作者
(65) Reduced or Diminished Stabilization of the Telomere G-Quadruplex and Inhibition of Telomerase by Small Chemical Ligands under Molecular Crowding Condition, JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, 2009, 第 1 作者
(66) Automated test program generation for an industrial optimizing compiler, Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009, 2009, 
(67) Preparation of Magnetic Chitosan Nanoparticles and Immobilization of Laccase, Preparation of Magnetic Chitosan Nanoparticles and Immobilization of Laccase, 武汉理工大学学报:材料科学英文版, 2009, 
(68) Preparation of magnetic chitosan nanoparticles and immobilization of laccase, JOURNAL OF WUHAN UNIVERSITY OF TECHNOLOGY-MATERIALS SCIENCE EDITION, 2009, 第 5 作者
(69) 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 作者
(70) 一种基于访问控制的安全Web服务发现机制, Secure Web Services Discovery Method Based on Access Control, 计算机工程, 2008, 第 3 作者
(71) 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, 
(72) 基于时间自动机的测试用例自动生成及执行方法, Testcase automatic generation and execution method based on timed automata, 计算机工程与设计, 2008, 第 3 作者
(73) 基于时序逻辑的编译优化测试用例生成方法, Test Case Generation for Compiler Optimization Based on Temporal Logic, 计算机应用研究, 2007, 第 3 作者
(74) 一种基于时间自动机的实时系统测试方法, A Method for Testing Real-Time System Based on Timed Automata, 软件学报, 2007, 第 3 作者
(75) 一种面向TTCN-3测试系统的共享内存管理框架, Shared-Memory Management Framework for TTCN-3 Test System, 计算机应用研究, 2007, 第 3 作者
(76) 基于CTL的循环优化变换描述方法, Loop Optimization Transformation Using CTL Specifications, 计算机应用研究, 2007, 第 4 作者
(77) 基于中间表示的可复用程序分析系统, Retargetable Program Analysis System Based on Intermediate Representation, 计算机工程, 2007, 第 3 作者
(78) 一个支持可信主体特权最小化的多级安全模型, A Multi-Level Security Model with Least Privilege Support for Trusted Subject, 软件学报, 2007, 第 3 作者
(79) 一种用于测试编译优化的程序控制结构生成算法, Program Control Structure Generation Algorithm for Compiling Optimization Testing, 计算机应用研究, 2006, 第 2 作者
(80) 一种基于Messy GA的结构测试数据自动生成方法, An Automated Approach for Structural Test Data Generation Based on Messy GA, 软件学报, 2006, 第 4 作者
(81) Software testing process automation based on utp - a case study, UNIFYING THE SOFTWARE PROCESS SPECTRUM, 2005, 
(82) 异常处理机制研究, 计算机应用研究, 2005, 第 2 作者
(83) 多媒体节目时序描述的组合技术, 软件学报, 2001, 第 1 作者
(84) 多媒体节目时序描述的完全性和协调性, 计算机学报, 2000, 第 1 作者
(85) XYZ系统在多媒体领域的应用研究, 2000, 第 1 作者
(86) 基于时序逻辑的超文本描述, 计算机辅助设计与图形学学报, 1999, 第 2 作者
(87) 面向媒体时序描述的带时间自动机的自动构造方法, 计算机学报, 1999, 第 1 作者
(88) 动画剧本描述语言SDL/A的设计与实现, 软件学报, 1996, 第 4 作者

科研活动

   
科研项目
( 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 ) 圣赛博智能信息平台, 负责人, 企业委托, 2021-03--2024-03