个人简介
魏峻,中国科学院软件研究所研究员,博士研究生导师,研究所学位委员会委员,中国科学院大学教授,中国科学院软件研究所软件工程技术研发中心副主任。
2010年前主要工作在分布式软件模型、体系结构及平台运行机理和关键技术方面,研制了大型软件基础架构平台—网驰(ONCE),并构建了国产中间件技术体系,参与推动建立了中间件产业技术生态链“四方国件联盟”。另研制了系列高可信软件生产工具,参与建立了国家软件资源共享与协同开发环境(TRUSTIE)。
近年来主要工作在新型分布式软件系统架构(如微服务架构、无服务器架构)的评估与优化、大规模复杂分布式系统可靠性保障方面。
在TSE, TKDE, JSS, ICSE, FSE, ASE, ISSTA, VLDB, ICDCS, IPDPS, SC, Middleware等国内外重要学术刊物和国际会议上发表学术论文200余篇,获发明专利授权10多项,获得国家技术发明奖二等奖、国家科学技术进步奖二等奖、湖南省技术发明一等奖、中国电子学会电子信息科学技术一等奖、北京市科学技术一等奖。
教育背景
1992-09--1997-07 武汉大学 博士学位
1988-09--1992-07 武汉大学 学士学位
工作简历
2005-08~现在, 中国科学院软件研究所, 研究员
2000-09~2001-11,香港科技大学, 访问学者
1999-12~2005-08,中国科学院软件研究所, 副研究员
1999-10~1999-12,中国科学院软件研究所, 助理研究员
1997-08~1999-10,中国科学院软件研究所, 博士后
教授课程
高级软件工程
网络分布式计算
软件工程前沿技术
软件工程
奖励
(1) 基于网络的软件开发群体化方法及核心技术, 二等奖, 国家级, 2015
(2) 基于网络的可信软件大规模协同开发环境核心技术及其应用, 一等奖, 省级, 2013
(3) 中创软件人才奖, 一等奖, 其他, 2013
(4) 网络软件基础架构平台(网驰ONCE)技术和系统, 二等奖, 国家级, 2011
(5) 国产中间件集成套件“四方国件”及其应用, 一等奖, 部委级, 2011
(6) 网络软件基础架构平台(网驰ONCE), 一等奖, 省级, 2009
专利成果
( 1 ) 一种Java EE应用服务器并发处理方法, 发明, 2011, 第 4 作者, 专利号: ZL200810117820.3
( 2 ) 一种基于有状态方面的BPEL流程运行时监控方法, 发明, 2011, 第 3 作者, 专利号: ZL200810118878.X
( 3 ) 一种ETL流程中异常数据检测方法, 发明, 2010, 第 3 作者, 专利号: ZL200910081511.X
( 4 ) 一种面向Web应用宿主平台的资源供给方法, 发明, 2011, 第 4 作者, 专利号: ZL201010578793.7
( 5 ) 线程池容量自适应调节方法及应用服务器并发控制方法, 发明, 2011, 第 4 作者, 专利号: ZL200810119285.5
( 6 ) 一种基于分布式适配的服务协作方法及其系统, 发明, 2011, 第 2 作者, 专利号: ZL200910084880.4
( 7 ) Web应用部署约束自动检测方法, 发明, 2012, 第 2 作者, 专利号: ZL201010289364.8
( 8 ) 一种基于中间件的组件系统性能预测方法和系统, 发明, 2012, 第 4 作者, 专利号: ZL200810223047.9
( 9 ) 软件程序中变量的不安全使用的检测方法, 发明, 2012, 第 2 作者, 专利号: ZL201010500543.1
( 10 ) 一种软件生产线构造方法及系统, 发明, 2013, 第 1 作者, 专利号: ZL201010279066.0
( 11 ) 一种可定制的Web信息集成方法及系统, 发明, 2013, 第 1 作者, 专利号: ZL201010554432.9
( 12 ) 一种Web应用细粒度性能建模方法及其系统, 发明, 2012, 第 4 作者, 专利号: ZL201010275216.0
( 13 ) 基于OSGi的软件构件监测方法与系统, 发明, 2012, 第 4 作者, 专利号: ZL201010523324.5
( 14 ) 一种Web应用性能异常侦测方法, 发明, 2011, 第 4 作者, 专利号: ZL200910079404.3
( 15 ) 一种基于模型同步的软件工具集成方法, 发明, 2011, 第 5 作者, 专利号: ZL200810119280.2
( 16 ) 一种云应用部署配置构造模型方法, 发明, 2015, 第 3 作者, 专利号: 201510702329.7
( 17 ) 面向浏览器兼容性能检测的客户端Web应用/捕获重放方法, 发明, 2015, 第 2 作者, 专利号: 201510944681.1
( 18 ) 一种Web应用的配置参数关联确定方法, 发明, 2015, 第 3 作者, 专利号: 201510368841.2
( 19 ) 一种基于故障预测的云计算系统自适应监测方法, 发明, 2016, 第 3 作者, 专利号: 201610015230.4
科研项目
( 1 ) 网构化软件运行支撑和在线管理技术与机制, 主持, 国家级, 2012-01--2014-12
( 2 ) 面向终端用户的情境化服务构造与演化关键技术研究, 主持, 国家级, 2012-01--2015-12
( 3 ) 大规模分布式系统故障调试与分析技术研究, 主持, 研究所(学校), 2015-01--2016-12
( 4 ) 面向软件开发运维一体化的运行演化智能支撑技术和环境, 主持, 国家级, 2016-06--2019-06
( 5 ) 大规模软件的自动化分析与测试, 参与, 部委级, 2017-05--2022-05
( 6 ) 面向需求不确定性的智能服务架构研究, 主持, 国家级, 2018-01--2022-12
( 7 ) 深度软件定义的自适应与持续演化软件系统支撑平台研究, 参与, 国家级, 2017-10--2021-09
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
(1) Semi-Supervised Learning Based Tag Recommendation for Docker Repositories, Journal of Computer Science and Technology, 2019, 第 5 作者
(2) An Experimental Evaluation of Garbage Collectors on Big Data Applications, Proceedings of the VLDB Endowment, 2019, 第 5 作者
(3) Detecting atomicity violations for event-driven Node.js applications, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE / ACM 2019, ISBN 978-1-7281-0869-8, 2019, 第 5 作者
(4) SemiTagRec: A Semi-supervised Learning Based Tag Recommendation Approach for Docker Repositories, 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings. Lecture Notes in Computer Science 11602, Springer 2019, ISBN 978-3-030-22887-3, 2019, 第 4 作者
(5) An empirical study of multiple names and email addresses in OSS version control repositories, Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, 26-27 May 2019, Montreal, Canada. IEEE / ACM 2019, ISBN 978-1-7281-3412-3, 2019, 第 2 作者
(6) An Approach to Identifying Error Patterns for Infrastructure as Code, The 29th IEEE Symposium on Software Reliability Engineering (ISSRE 2018), 2018, 第 3 作者
(7) How Are Spreadsheet Templates Used in Practice: A Case Study on Enron, The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE-NIER), 2018, 第 5 作者
(8) STAR: A Specialized Tagging Approach for Repositories on Docker Hub, The 25th Asia-Pacific Software Engineering Conference (APSEC’18), 2018, 第 5 作者
(9) Expandable Group Identification in Spreadsheets, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), 2018, 第 5 作者
(10) Characterizing and diagnosing out of memory errors in MapReduce applications, Journal of Systems and Software, 2018, 第 6 作者
(11) JSTrace: Fast reproducing web application errors, Journal of Systems and Software, 2018, 第 4 作者
(12) Detecting Faulty Empty Cells in Spreadsheets, The 25th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2018), 2018, 第 6 作者
(13) IO dependent SSD cache allocation for elastic Hadoop applications, SCIENCE CHINA Information Sciences, 2018, 第 6 作者
(14) Context-Based Event Trace Reduction in Client-Side JavaScript Applications, the 11th IEEE Conference on Software Testing, Validation and Verification (ICST 2018), 2018, 第 5 作者
(15) X-Diag: Automated Debugging Cross-Browser Issues in Web Applications, ICWS 2018 (research track), 2018, 通讯作者
(16) An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems, The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2018, 通讯作者
(17) Migrating Web Applications from Monolithic Structure to Microservices Architecture, The 10th Asia-Pacific Symposium on Internetware (Internetware 2018), 2018, 第 6 作者
(18) A comprehensive study on real world concurrency bugs in Node.js, the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), 2017, 第 7 作者
(19) Appcheck: A Crowdsouced Testing Service For Android Applications, IEEE 24th International Conference on Web Services (ICWS 2017) (research track), 2017, 第 4 作者
(20) A Hierarchical Categorization Approach for Configuration Management Modules, the 41th IEEE International Computer Software and Application Conference (COMPSAC 2017), 2017, 第 6 作者
(21) Application-centric SSD Cache Allocation for Hadoop Applications, Internetware 2017, 2017, 第 5 作者
(22) 云环境下基于统计监测的分布式软件系统故障检测技术研究, 计算机学报,2017,40(2):397-413, 2017, 第 4 作者
(23) 一种面向软件配置管理制品的层次分类方法, 软件学报,2017,28(6):1389-1404, 2017, 第 5 作者
(24) 虚拟化环境下面向多目标优化的自适应SSD缓存系统, 软件学报,2017,28(8):1982-1998, 2017, 第 4 作者
(25) CACheck: Detecting and Repairing Cell Arrays in Spreadsheets, IEEE Transactions on Software Engineering, 43(3): 226-251 (2017), 2017, 第 4 作者
(26) ReSeer: Efficient search-based replay for multiprocessor virtual machines, Journal of Systems and Software, Volume 126, April 2017, Pages 101–112, 2017, 第 6 作者
(27) Intelligent Development Environment and Software Knowledge Graph, JCST, 32(2): 242-249 (2017), 2017, 第 6 作者
(28) SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based Clustering, MSR 2017, 2017, 第 5 作者
(29) Mining API Type Specifications for JavaScript, the 24th Asia-Pacific Software Engineering Conference (APSEC 2017), 2017, 第 4 作者
(30) FD4C: Automatic Fault Diagnosis Framework for Web Applications in Cloud Computing, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 46(1): 61-75 (2016), 2016, 第 4 作者
(31) 一种基于聚类分组的虚拟机镜像去冗余方法, 软件学报, 2016, 第 3 作者
(32) Crawling Hidden Objects with kNN Queries, IEEE Transactions on Knowledge & Data Engineering, 28(4): 912-924 (2016), 2016, 第 4 作者
(33) X-Check: A Novel Cross-browser Testing Service based on Record/Repaly, ICWS 2016 (research track), 2016, 第 4 作者
(34) MORE: A Model-driven Operation Service for Cloud-based IT Systems, SCC 2016, 2016, 第 4 作者
(35) Detect Cross-browser Issues for JavaScript-based Web Applications based on Record/Replay, ICSME 2016, 2016, 第 4 作者
(36) VEnron: A Versioned Spreadsheet Corpus and Related Evolution Analysis, ICSE 2016 - SEIP, 2016, 第 5 作者
(37) Detecting Table Clones and Smells in Spreadsheets, FSE 2016, 2016, 第 6 作者
(38) Generating Test Cases to Expose Concurrency Bugs in Android Applications, ASE 2016, 2016, 第 3 作者
(39) Hug the Elephant: Migrating a Legacy Data Analytics Application to Hadoop Ecosystem, ICSME 2016, 2016, 第 6 作者
(40) Determine Configuration Entry Correlations for Web Application Systems, COMPSAC 2016, 2016, 第 3 作者
(41) MERC: Match at Edge and Route intra-Cluster for Content-based Publish/Subscribe Systems, Middleware 2015, 2015, 第 3 作者
(42) Discovering User-Defined Event Handlers in Presence of JavaScript Libraries, APSEC 2015, 2015, 第 4 作者
(43) Fast Reproducing Web Application Errors, ISSRE 2015, 2015, 第 4 作者
(44) Cost and accuracy aware scientific workflow retrieval based on distance measure, Information Sciences, 2015, 第 3 作者
(45) Towards Scalable Publish/Subscribe Systems, ICDCS 2015, 2015, 第 3 作者
(46) Fault detection for cloud computing systems with correlation analysis, IM 2015, 2015, 第 3 作者
(47) 一种高效的基于服务功能规约的服务选择方法, 软件学报, 2015, 第 3 作者
(48) 软件配置错误诊断与修复技术研究, 软件学报, 2015, 第 4 作者
(49) Scalable HornLike Rule Inference of Semantic Data Using MapReduce, Knowledge Science, Engineering and Management Lecture Notes in Computer Science Volume 8793, 2014, 第 4 作者
(50) Workloadaware anomaly detection for Web applications, Journal of Systems and Software, 2014, 第 2 作者
(51) PRESC^{2}: efficient selfreconfiguration of cache strategies for elastic caching platforms, Computing, Springer, 2014, 第 4 作者
(52) Automatic mining dataaware Web services properties, ICWS 2014, 2014, 第 2 作者
(53) Inferring Data Contract for WebBased API, ICWS 2014, 2014, 第 2 作者
(54) Is spreadsheet ambiguity harmful - detecting and repairing spreadsheet smells due to ambiguous computation, ICSE 2014, 2014, 第 3 作者
(55) FMEM: A Fine-grained Memory Estimator for MapReduce Jobs, 2013 USENIX Federated Conferences-The 10th International Conference on Autonomic Computing (ICAC 2013), 2013, 第 3 作者
(56) Detecting Performance Anomaly with Correlation Analysis for Internetware, SCIENCE CHINA Information Sciences,Vol.56, No.7,July 2013, 2013, 第 2 作者
(57) Workload-aware Anomaly Detection in Enterprise Applications, Journal of Systems and software, 2013, 第 2 作者
(58) Generating Open API Usage Rule From Error Descriptions, The 7th IEEE International Symposium on Service Oriented System Engineering(SOSE 2013), 2013, 第 2 作者
(59) Consistent Query Answering Based on Repairing Inconsistent Attributes with Nulls, The 18th International Conference on Database Systems for Advanced Applications (DASFAA 2013), 2013, 第 3 作者
(60) 面向多租户Web应用的性能隔离方法, 《中国科学(信息科学)》, 2013, 第 3 作者
(61) 云计算环境下分布式缓存技术的现状与挑战, 《软件学报》, 2013, 第 3 作者
(62) Runtime Verification of Data-Centric Properties in Service based Systems, 2nd International Conference on Runtime Verification (RV 2011), 2011, 第 2 作者
(63) Runtime Monitoring of Data-centric Temporal Properties for Web Services, The 9th IEEE International Conference on Web Services (ICWS 2011), 2011, 第 2 作者
(64) Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs, 11th International Conference On Quality Software (QSIC 2011), 2011, 第 3 作者
(65) A Two-Phase Approach to Subscription Subsumption Checking for Content-Based publish/Subscribe Systems, 24th IEEE International Conference on Advanced Information Networking and Applications, 2010, 第 2 作者
(66) Detecting Data Inconsistency Failure of Composite Web Services through Parametric Stateful Aspect, 2010 IEEE International Conference on Web Services (ICWS 2010), 2010, 第 2 作者
(67) Static Detection of Unsafe Use of Variables in Java Program, 1st International Workshop on Software Trustworthiness, 2010, 第 2 作者
(68) Sequential Event Pattern Based Context-aware Adaptation, The 2th Asia-Pacific Symposium on Internetware 2010, 2010, 第 2 作者
(69) 基于组件模型分析的组件容器产品线体系结构, 软件学报, 2010, 第 2 作者
(70) OnceRMF:一种效用驱动的中间件资源管理框架, 计算机科学与探索, 2010, 第 2 作者