网络分布式软件理论与构造方法

网络分布式软件的互操作理论与技术

网络分布式软件系统运行机理和关键技术

   

083500-软件工程
081202-计算机软件与理论
085400-电子信息

网络分布计算理论与技术
分布式软件理论与技术
分布式软件系统工程

1991-09--1994-06   中国科技大学   博士学位
1988-09--1991-07   中国科技大学   硕士学位
1983-09--1988-07   中国科技大学   学士学位

-- 研究生

-- 博士

   

1994-07~现在, 中国科学院软件研究所, 副所长

   

（1） 网络软件基础架构平台（网驰Once）技术和系统, 二等奖, 国家级, 2011
（2） 北京市科技进步奖, 一等奖, 省级, 2009
（3） 网络分布技术支撑平台及石化应用, 二等奖, 国家级, 2002
（4） 制造业 CIMS集成平台, 二等奖, 院级, 2001

（ 1 ） 一种基于有状态方面的BPEL流程运行时监控方法, 发明, 2011, 第 2 作者, 专利号: ZL200810118878.X
（ 2 ） 一种面向应用服务器的资源敏感性能优化方法及其系统, 发明, 2011, 第 2 作者, 专利号: ZL200810119278.5
（ 3 ） 一种ETL流程中异常数据检测方法, 发明, 2010, 第 4 作者, 专利号: ZL200910081511.X
（ 4 ） Web应用部署约束自动检测方法, 发明, 2012, 第 3 作者, 专利号: ZL201010289364.8
（ 5 ） 一种基于分布式适配的服务协作方法及其系统, 发明, 2011, 第 3 作者, 专利号: ZL200910084880.4
（ 6 ） 一种基于中间件的组件系统性能预测方法和系统, 发明, 2012, 第 5 作者, 专利号: ZL200810223047.9
（ 7 ） 一种基于内存数据网格的流式数据处理程序错误的数据溯源定位方法, 发明, 2016, 第 1 作者, 专利号: 201610186177.4
（ 8 ） 一种基于内存数据网格的实时流式数据处理失效恢复系统及方法, 发明, 2016, 第 1 作者, 专利号: 201610186150.5
（ 9 ） 一种基于混合存储的流式数据自适应持久化方法及系统, 发明, 2016, 第 1 作者, 专利号: 201610197157.7
（ 11 ） 一种基于混合模式的分布式云管理系统及方法, 发明, 2016, 第 4 作者, 专利号: 201611122409.6
（ 12 ） 一种基于状态更新传播的流式图计算系统及方法, 发明, 2018, 第 2 作者, 专利号: 201810721794.9
（ 13 ） 一种大数据流处理框架的性能基准测试系统及方法, 发明, 2018, 第 1 作者, 专利号: 201810461515.X
（ 14 ） 一种边缘计算调度优化方法及系统, 发明, 2019, 第 3 作者, 专利号: 201910804909.5

   

（1） Detecting Atomicity Violations for Event-Driven Node.js Applications, ICSE 2019, 2019, 第 6 作者
（2） 一种基于分片复用的多版本容器镜像加载方法, 软件学报, 2019, 第 3 作者
（3） How Are Spreadsheet Templates Used in Practice: A Case Study on Enron, ESEC/FSE 2018, 2018, 第 6 作者
（4） 种基于录制/重放的Android应用众包测试方法, 软件学报, 2018, 第 5 作者
（5） Detecting Faulty Empty Cells in Spreadsheets, SANER 2018, 2018, 第 6 作者
（6） O dependent SSD cache allocation for elastic Hadoop applications, SCIENCE CHINA Information Sciences （中国科学 信息科学）, 2018, 第 6 作者
（7） 基于捕获/重放的Web应用跨浏览器兼容性检测, 计算机研究与发展, 2017, 第 5 作者
（8） Mining API Type Specifications for JavaScript, APSEC2017, 2017, 第 5 作者
（9） AppCheck: A Crowdsourced Testing Service for Android Applications, ICWS2017, 2017, 第 6 作者
（10） 基于测试例生成的Android应用数据竞争验证方法, 计算机科学, 2017, 第 6 作者
（11） 虚拟化环境下面向多目标优化的自适应SSD缓存系统, 软件学报, 2017, 第 5 作者
（12） SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based Clustering, 第39界软件工程国际会议（第14届软件仓库挖掘国际会议）, 2017, 第 6 作者
（13） 一种基于聚类分组的虚拟机镜像去冗余方法, 软件学报, 2016, 第 5 作者
（14） Clustering-based acceleration for virtual machine image deduplication in the cloud environment, Journal of Systems and Software, 2016, 第 5 作者
（15） Crawling Hidden Objects with kNN Queries, IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2016, 第 4 作者
（16） Crawling hidden objects with kNN queries, ICDE 2016, 2016, 第 4 作者
（17） VEnron: a versioned spreadsheet corpus and related evolution analysis, ICSE 2016, 2016, 第 6 作者
（18） 一种基于遗传算法的虚拟机镜像自适应备份策略, 计算机学报, 2016, 第 4 作者
（19） 一种高效的基于服务功能规约的服务选择方法, 软件学报, 2015, 第 4 作者
（20） Aggregate Estimation in Hidden Databases with Checkbox Interfaces, IEEE Transactions on Knowledge and Data Engineering, 2015, 第 4 作者
（21） VMon:Monitoring and Quantifying Virtual Machine Interference via Hardware Performance, International Computer Software and Applications Conference, 2015, 通讯作者
（22） Runtime Enforcement of Data-centric Properties for Concurrent, The 22th International Conference on Web Services(ICWS14) , 2014, 第 4 作者
（23） Inferring Data Contract for Web-based API, The 22th International Conference on Web Services(ICWS14), 2014, 第 4 作者
（24） A lightweight virtual machine image deduplication backup approach in cloud environment , IEEE 38th Annual International Computers, Software and Applications Conference (COMPSAC 2014), 2014, 通讯作者
（25） 一种基于虚拟化技术的程序执行过程重放方法,  Journal of Frontiers of Computer Science and Technology, 2014, 通讯作者
（26） 基于日志挖掘的移动应用用户访问模型建模技术研究, 计算机科学, 2014, 通讯作者
（27） 一种基于隐马尔可夫模型的虚拟机失效恢复方法, 软件学报, 2014, 通讯作者
（28） 云计算环境下分布式缓存技术的现状与挑战 , 软件学报, 2013, 通讯作者
（29） 一种收益敏感的虚拟资源按需提供方法 , 软件学报, 2013, 通讯作者
（30） 面向多租户Web应用的性能隔离方法, 中国科学, 2013, 第 2 作者
（31） Detecting performance anomaly with correlation analysis for Internetnetware , science china information sciences, 2013, 通讯作者
（32） PRESC2: efficient self-reconfiguration of cache strategies for elastic caching platforms, Computing Journal, Springer, 2013, 通讯作者
（33） Workload-Aware Anomaly Detection for Web Applications, Journal of Systems and Software, 2013, 通讯作者
（34） VM image update notification mechanism based on pub/sub paradigm in cloud , Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013, 通讯作者
（35）  Profit-aware Virtual Machine Deployment Optimization Framework for Cloud Platform Providers, 2012 IEEE Fifth International Conference on Cloud Computing, 2012, 第 4 作者
（36） VMFDF: A Virtualization-based Multi-Level Fault Detection Framework for High Availability Computing, 2012 Ninth IEEE International conference on e-Business Engineering, 2012, 第 4 作者
（37） A Two-level Virtual Machine Self-reconfiguration Mechanism for the Cloud, 2012 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing , 2012, 第 4 作者
（38） Towards a Cost-Aware Data Migration Approach for Key-Value Stores, 2012 IEEE International Conference on Cluster Computing, 2012, 通讯作者
（39） Optimizing Data Migration for Cloud-based, 21st ACM International Conference on Information and Knowledge Management, 2012, 通讯作者
（40） W4H: 一个面向软件部署的技术分析框架, 软件学报, 2012, 第 3 作者
（41） 一种面向性能剖析的Web应用自动性能建模方法, 软件学报, 2012, 通讯作者
（42） A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms, QSIC 2011, 2011, 通讯作者
（43） An Adaptive Performance Modeling Approach to Performance Profiling of Multi-Service Web Applications, COMPSAC2011, 2011, 通讯作者
（44） High Performance Approach for Server Side SOAP Processing, International Journal of Web Services Research, 2009, 第 4 作者
（45） Runtime Monitoring Composite Web Services through Stateful Aspect Extension, Journal of Computer Science and Technology, 2009, 第 1 作者
（46） Efficient Approach for Web Services Selection with Multi-QoS Constraints, International Journal of Cooperative Information System (IJCIS), 2008, 第 1 作者
（47） An Ontology-Based Approach for Semantic Conflict Resolution in Database Integration, Journal of Computer Science and Technology, 2007, 第 2 作者
（48） An Application Semantics Based Relaxed Transaction Model for Internetware, Science in China (Series F - Information Sciences), 2006, 第 1 作者
（49） 
（50） 

（1） 网络分布计算和软件工程, Internet Computing, 科学出版社, 2011-05, 第 2 作者

   

已指导学生

张文博  博士研究生  081202-计算机软件与理论  

张勇  博士研究生  081202-计算机软件与理论  

陈宁江  博士研究生  081202-计算机软件与理论  

乔晓强  博士研究生  081202-计算机软件与理论  

刘强  博士研究生  081202-计算机软件与理论  

马建刚  博士研究生  081202-计算机软件与理论  

李洋  博士研究生  081202-计算机软件与理论  

顾彬  硕士研究生  081202-计算机软件与理论  

崔晓玲  硕士研究生  081202-计算机软件与理论  

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

王帅  硕士研究生  081202-计算机软件与理论  

周瑾  硕士研究生  081202-计算机软件与理论  

花磊  硕士研究生  081202-计算机软件与理论  

王欣明  硕士研究生  081202-计算机软件与理论  

刘丽  硕士研究生  081202-计算机软件与理论  

陈从武  硕士研究生  081202-计算机软件与理论  

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

林晨  博士研究生  081202-计算机软件与理论  

王伟  博士研究生  081202-计算机软件与理论  

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

陈伟  博士研究生  081202-计算机软件与理论  

黄翔  博士研究生  081202-计算机软件与理论  

段智全  硕士研究生  081202-计算机软件与理论  

白琳  博士研究生  081202-计算机软件与理论  

秦秀磊  博士研究生  081202-计算机软件与理论  

郭祥丰  博士研究生  081202-计算机软件与理论  

刘国梁  博士研究生  081202-计算机软件与理论  

余兴亮  博士研究生  081202-计算机软件与理论  

殷晓岚  博士研究生  081202-计算机软件与理论  

曹冬磊  博士研究生  081202-计算机软件与理论  

周晓炜  硕士研究生  081202-计算机软件与理论  

吴恒  博士研究生  081202-计算机软件与理论  

张建华  博士研究生  081202-计算机软件与理论  

徐继伟  博士研究生  081202-计算机软件与理论  

罗涛  硕士研究生  081202-计算机软件与理论  

田斐  硕士研究生  081202-计算机软件与理论  

吴雨龙  硕士研究生  081202-计算机软件与理论  

陈三川  硕士研究生  081202-计算机软件与理论  

王卅  博士研究生  081202-计算机软件与理论  

高嘉泽  硕士研究生  081202-计算机软件与理论  

王彦士  硕士研究生  081202-计算机软件与理论  

王帅  博士研究生  081202-计算机软件与理论  

唐震  博士研究生  081202-计算机软件与理论  

朱锋  博士研究生  081202-计算机软件与理论  

任凯  硕士研究生  083500-软件工程  

袁鑫晨  硕士研究生  083500-软件工程  

徐良  博士研究生  083500-软件工程  

曹羽中  博士研究生  085271-电子与信息  

佘艺  硕士研究生  081202-计算机软件与理论  

现指导学生

陆志刚  博士研究生  083500-软件工程  

花磊  博士研究生  085271-电子与信息  

孙晓晨  博士研究生  083500-软件工程  

常晓宁  博士研究生  083500-软件工程  

杨健  博士研究生  081202-计算机软件与理论  

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

汪涛  博士研究生  083500-软件工程  

汤磊  硕士研究生  081200-计算机科学与技术  

曲慕子  博士研究生  081200-计算机科学与技术  

       1994年获中国科学技术大学计算机软件专业博士学位。1992~1993年作为合培博士工作于奥地利应用知识处理研究所。现为中国科学院软件研究所研究员，博士生导师，享受政府特殊津贴，新世纪百千万人才工程国家级人选，中科院软件所学位委员会主席、学术委员会委员。兼任国家“核高基”重大科技专项实施专家组成员、“十二五”国家863计划制造服务技术主题专家组成员、工信部电子科学技术委员会委员、全国信息技术标准化技术委员会委员、中国计算机学会系统软件专委会委员、中国科学院研究生院计算机科学与控制工程学位委员会副主席、国际开源中间件技术联盟OW2战略成员和技术指导委员会成员、第一届创业板专家咨询委员会委员、《软件学报》执行编委、《计算机研究与发展》、《计算机集成制造系统》等期刊编委等职。
        作为负责人或技术负责人先后承担多项国家973基础研究计划项目、国家自然科学基金重大、重点项目、国家863高技术计划重大、重点项目，以及国际合作科研课题。在网络分布式软件理论与构造方法、网络分布式软件的互操作理论与技术、以及网络分布式软件系统运行机理和关键技术等方面开展了系统深入的研究。出版学术著作1部，在国内外著名学术期刊和会议上发表论文100多篇，他引近350次（单篇论文最高他引56次），技术发明专利授权12项，获国家科技进步二等奖2次，中国科学院科技进步一等奖1次，北京市科技进步一等奖1次，中国高校科学技术二等奖1次，中创软件人才奖。