歡迎有志于軟件工程、分布式系統(tǒng)研究的學(xué)生加入！

魏峻，中國科學(xué)院軟件研究所研究員，博士研究生導(dǎo)師，所學(xué)術(shù)/學(xué)位委員會委員，中國科學(xué)院大學(xué)崗位教授，中國科學(xué)院軟件研究所軟件工程技術(shù)研發(fā)中心副主任。兼任中國計(jì)算機(jī)學(xué)會軟件工程和服務(wù)計(jì)算專業(yè)委員會委員，《軟件學(xué)報(bào)》責(zé)任編委、《計(jì)算機(jī)科學(xué)與探索》執(zhí)行編委、《計(jì)算機(jī)集成制造系統(tǒng)》編委。

研究興趣：軟件工程方法與技術(shù)在云計(jì)算與大數(shù)據(jù)、人工智能、物聯(lián)網(wǎng)、區(qū)塊鏈等分布式系統(tǒng)中的應(yīng)用，解決正確性、可靠性、性能、安全等方面的問題。

近年來主要工作在新型分布式軟件系統(tǒng)架構(gòu)（如深度學(xué)習(xí)框架、微服務(wù)架構(gòu)、無服務(wù)器架構(gòu)、區(qū)塊鏈）的評估與優(yōu)化、大規(guī)模復(fù)雜分布式系統(tǒng)可靠性保障方面。

2010年前主要工作在分布式軟件模型、體系結(jié)構(gòu)及平臺運(yùn)行機(jī)理和關(guān)鍵技術(shù)方面，研制了大型軟件基礎(chǔ)架構(gòu)平臺—網(wǎng)馳（ONCE），并構(gòu)建了國產(chǎn)中間件技術(shù)體系，參與推動建立了中間件產(chǎn)業(yè)技術(shù)生態(tài)鏈“四方國件聯(lián)盟”。另研制了系列高可信軟件生產(chǎn)工具，參與建立了國家軟件資源共享與協(xié)同開發(fā)環(huán)境（TRUSTIE）。

在TSE, TKDE, JSS, ICSE, FSE, ASE, ISSTA, VLDB, ICDCS, IPDPS, SC, Middleware等國內(nèi)外重要學(xué)術(shù)刊物和國際會議上發(fā)表學(xué)術(shù)論文200余篇，獲發(fā)明專利授權(quán)20多項(xiàng)，獲得國家技術(shù)發(fā)明獎(jiǎng)二等獎(jiǎng)、國家科學(xué)技術(shù)進(jìn)步獎(jiǎng)二等獎(jiǎng)、湖南省技術(shù)發(fā)明一等獎(jiǎng)、中國電子學(xué)會電子信息科學(xué)技術(shù)一等獎(jiǎng)、北京市科學(xué)技術(shù)一等獎(jiǎng)。

教育背景

1992-09--1997-07   武漢大學(xué)   博士學(xué)位

1988-09--1992-07   武漢大學(xué)   學(xué)士學(xué)位

工作經(jīng)歷

工作簡歷

2005-08~現(xiàn)在, 中國科學(xué)院軟件研究所, 研究員

2000-09~2001-11,香港科技大學(xué), 訪問學(xué)者

1999-12~2005-08,中國科學(xué)院軟件研究所, 副研究員

1999-10~1999-12,中國科學(xué)院軟件研究所, 助理研究員

1997-08~1999-10,中國科學(xué)院軟件研究所, 博士后

學(xué)術(shù)兼職

2020-01-01-2023-12-31,計(jì)算機(jī)學(xué)會軟件工程專業(yè)委員會, 常務(wù)委員

2020-01-01-2023-12-31,計(jì)算機(jī)學(xué)會服務(wù)計(jì)算專業(yè)委員會, 委員

2018-11-01-今,《計(jì)算機(jī)集成制造系統(tǒng)》編委會, 委員

2014-12-31-2024-12-31,《軟件學(xué)報(bào)》編委會, 責(zé)任編委

2007-06-06-今,《計(jì)算機(jī)科學(xué)與探索》編委會, 委員

教授課程

軟件工程

高級軟件工程

網(wǎng)絡(luò)分布式計(jì)算

軟件工程前沿技術(shù)

專利與獎(jiǎng)勵(lì)

獎(jiǎng)勵(lì)

（1） 基于網(wǎng)絡(luò)的軟件開發(fā)群體化方法及核心技術(shù), 二等獎(jiǎng), 國家級, 2015

（2） 基于網(wǎng)絡(luò)的可信軟件大規(guī)模協(xié)同開發(fā)環(huán)境核心技術(shù)及其應(yīng)用, 一等獎(jiǎng), 省級, 2013

（3） 中創(chuàng)軟件人才獎(jiǎng), 一等獎(jiǎng), 其他, 2013

（4） 網(wǎng)絡(luò)軟件基礎(chǔ)架構(gòu)平臺（網(wǎng)馳ONCE）技術(shù)和系統(tǒng), 二等獎(jiǎng), 國家級, 2011

（5） 國產(chǎn)中間件集成套件“四方國件”及其應(yīng)用, 一等獎(jiǎng), 部委級, 2011

（6） 網(wǎng)絡(luò)軟件基礎(chǔ)架構(gòu)平臺（網(wǎng)馳ONCE), 一等獎(jiǎng), 省級, 2009

出版信息

近期發(fā)表論文

Characterizing and Detecting Bugs in WeChat Mini-Programs, 44th ACM/IEEE International Conference on Software Engineering (ICSE), 2022

Knowledge-Based Environment Dependency Inference for Python Programs, 44th International Conference on Software Engineering (ICSE), 2022

Common Data Guided Crash Injection for Cloud Systems, 44th ACM/IEEE International Conference on Software Engineering (ICSE), DemoTrack, 2022

MOSAT: Finding Safety Violations of Autonomous Driving Systems Using Multi-Objective Genetic Algorithm, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering(ESEC/FSE), 2022

Understanding Device Integration Bugs in Smart Home System, 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022

Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing, 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022

DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022

LPW: An Efficient Data-Aware Cache Replacement Strategy for Apache Spark, Science China Information Sciences, 2022

TAGen: Generating Trigger-Action Rules for Smart Homes by Mining Event Traces, 19th International Conference on Service-Oriented Computing(ICSOC), 2021

基于大數(shù)據(jù)的軟件智能化開發(fā)方法與環(huán)境, 大數(shù)據(jù), 2021

基于領(lǐng)域知識的Docker鏡像自動構(gòu)建方法, 大數(shù)據(jù), 2021

The Impact Analysis of Multiple Miners and Propagation Delay on Selfish Mining, 45th IEEE Computers, Software, and Applications Conference (COMPSAC), 2021

Automated Repair of Cross Browser Layout Issues Combining Learning and Search-based technique, International Conference on Software Testing, Verification, and Validation, 2021

DockerGen: A Knowledge Graph based Approach for Software Containerization, COMPSAC, 2021

Repair Cross Browser Layout Issues by Combining Learning and Search-based technique, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021

Semantic Table Structure Identification in Spreadsheets, 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021), 2021

基于預(yù)分區(qū)策略的裝備數(shù)據(jù)分布式存儲方法, Distributed Storage Method for Equipment Data Based on Pre-partitioning Strategy, 計(jì)算機(jī)科學(xué)與探索, 2021

REST API設(shè)計(jì)分析及實(shí)證研究, 軟件學(xué)報(bào), 2021

面向大數(shù)據(jù)處理框架的JVM優(yōu)化技術(shù)綜述, 軟件學(xué)報(bào), 2021

DeepCon: Contribution Coverage Testing for Deep Learning Systems, 28th International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2021

Race Detection for Event-Driven Node.js Applications, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), 2021

WebRR: self-replay enhanced robust record/replay for web application testing, 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’20), 2020

Learning to detect table clones in spreadsheets, ISSTA 2020, 2020

WebRTS: A Dynamic Regression Test Selection Tool for Java Web Applications, ICSME, 2020

面向大規(guī)模集群的柔性配置更新推送方法, Flexible configuration update delivery for large clusters, 中國科學(xué):信息科學(xué), 2020

面向大數(shù)據(jù)分析作業(yè)的啟發(fā)式云資源供給方法, 軟件學(xué)報(bào), 2020

Detecting Cache-Related Bugs in Spark Applications, ISSTA,  2020

DockerKG: A Knowledge Graph of Docker Artifacts, ICSE (Workshops) , 2020

DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering Algorithms, The 40th IEEE International Conference on Distributed Computing Systems (ICDCS), 2020

Fitness-guided Resilience Testing of Microservice-based Applications, IEEE International Conference on Web Services, 2020

一種基于錄制/重放的Android應(yīng)用眾包測試方法, 軟件學(xué)報(bào), 2020

基于預(yù)分區(qū)策略的裝備數(shù)據(jù)分布式存儲方法, 計(jì)算機(jī)科學(xué)與探索, 2020

Detecting Atomicity Violations for Event-Driven Node.js Applications, ICSE, 2019

Semi-Supervised Learning Based Tag Recommendation for Docker Repositories, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2019

An Experimental Evaluation of Garbage Collectors on Big Data Applications, The 45th International Conference on Very Large Data Bases (VLDB), 2019

An empirical study of multiple names and email addresses in OSS version control repositories, MSR, 2019

IO dependent SSD cache allocation for elastic Hadoop applications, SCIENCE CHINA-INFORMATION SCIENCES, 2018

Detecting Faulty Empty Cells in Spreadsheets, SANER, 2018

Expandable Group Identification in Spreadsheets, ASE, 2018

An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems, ESEC/FSE'18, 2018

Characterizing and diagnosing out of memory errors in MapReduce applications, The Journal of Systems and Software (JSS), 2018

STAR: A Specialized Tagging Approach for Repositories on Docker Hub, The 25th Asia-Pacific Software Engineering Conference (APSEC), 2018

X-Diag: Automated Debugging Cross-Browser Issues in Web Applications, 2018 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (IEEE ICWS), 2018

Migrating Web Applications from Monolithic Structure to Microservices Architecture, INTERNETWARE, 2018,

IO dependent SSD cache allocation for elastic Hadoop applications, SCIENCE CHINA-INFORMATION SCIENCES, 2018

Context-Based Event Trace Reduction in Client-Side JavaScript Applications, IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2018

An Approach to Identifying Error Patterns for Infrastructure as Code, 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2018

JSTrace: Fast reproducing web application errors, JOURNAL OF SYSTEMS AND SOFTWARE, 2018

How Are Spreadsheet Templates Used in Practice: A Case Study on Enron, ESEC/FSE, 2018

數(shù)據(jù)驅(qū)動的軟件智能化開發(fā)方法與技術(shù)專題前言, 軟件學(xué)報(bào), 2018

基于模型的云應(yīng)用動態(tài)配置框架, 計(jì)算機(jī)科學(xué), 2017

ReSeer: Efficient search-based replay for multiprocessor virtual machines, JOURNAL OF SYSTEMS AND SOFTWARE, 2017

基于測試?yán)傻腁ndroid應(yīng)用數(shù)據(jù)競爭驗(yàn)證方法,  計(jì)算機(jī)科學(xué), 2017

Appcheck: A Crowdsouced Testing Service For Android Applications, IEEE 24th International Conference on Web Services (ICWS ) , 2017

A Hierarchical Categorization Approach for Configuration Management Modules,COMPSAC, 2017

Intelligent Development Environment and Software Knowledge Graph, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2017

Mining API Type Specifications for JavaScript, APSEC 2017

A Comprehensive Study on Real World Concurrency Bugs in Node.js, ASE, 2017

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017

基于捕獲/重放的Web應(yīng)用跨瀏覽器兼容性檢測, 計(jì)算機(jī)研究與發(fā)展, 2017

虛擬化環(huán)境下面向多目標(biāo)優(yōu)化的自適應(yīng)SSD緩存系統(tǒng), 軟件學(xué)報(bào), 2017

一種面向軟件配置管理制品的層次分類方法, 軟件學(xué)報(bào), 2017

Application-centric SSD Cache Allocation for Hadoop Applications, Internetware, 2017

SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based Clustering, MSR, 2017,

云環(huán)境下基于統(tǒng)計(jì)監(jiān)測的分布式軟件系統(tǒng)故障檢測技術(shù)研究, 計(jì)算機(jī)學(xué)報(bào), 2017