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

简介

欢迎有志于软件工程、分布式系统研究的学生加入!


魏峻,中国科学院软件研究所研究员,博士研究生导师,所学术/学位委员会委员,中国科学院大学岗位教授,中国科学院软件研究所软件工程技术研发中心副主任。兼任中国计算机学会软件工程和服务计算专业委员会委员,《软件学报》责任编委、《计算机科学与探索》执行编委、《计算机集成制造系统》编委。

研究兴趣:软件工程方法与技术在云计算与大数据、人工智能、物联网、区块链等分布式系统中的应用,解决正确性、可靠性、性能、安全等方面的问题。

近年来主要工作在新型分布式软件系统架构(如深度学习框架、微服务架构、无服务器架构、区块链)的评估与优化、大规模复杂分布式系统可靠性保障方面。

2010年前主要工作在分布式软件模型、体系结构及平台运行机理和关键技术方面,研制了大型软件基础架构平台网驰(ONCE),并构建了国产中间件技术体系,参与推动建立了中间件产业技术生态链四方国件联盟。另研制了系列高可信软件生产工具,参与建立了国家软件资源共享与协同开发环境(TRUSTIE)。

    在TSE, TKDE, JSS, ICSE, FSE, ASE, ISSTA, VLDB, ICDCS, IPDPS, SC, Middleware等国内外重要学术刊物和国际会议上发表学术论文200余篇,获发明专利授权20多项,获得国家技术发明奖二等奖、国家科学技术进步奖二等奖、湖南省技术发明一等奖、中国电子学会电子信息科学技术一等奖、北京市科学技术一等奖。


教育背景

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,中国科学院软件研究所, 博士后
学术兼职
2020-01-01-2023-12-31,计算机学会软件工程专业委员会, 常务委员
2020-01-01-2023-12-31,计算机学会服务计算专业委员会, 委员
2018-11-01-今,《计算机集成制造系统》编委会, 委员
2014-12-31-2024-12-31,《软件学报》编委会, 责任编委
2007-06-06-今,《计算机科学与探索》编委会, 委员

教授课程

软件工程
高级软件工程
网络分布式计算
软件工程前沿技术

专利与奖励

   
奖励
(1) 基于网络的软件开发群体化方法及核心技术, 二等奖, 国家级, 2015
(2) 基于网络的可信软件大规模协同开发环境核心技术及其应用, 一等奖, 省级, 2013
(3) 中创软件人才奖, 一等奖, 其他, 2013
(4) 网络软件基础架构平台(网驰ONCE)技术和系统, 二等奖, 国家级, 2011
(5) 国产中间件集成套件“四方国件”及其应用, 一等奖, 部委级, 2011
(6) 网络软件基础架构平台(网驰ONCE), 一等奖, 省级, 2009

出版信息

   
近期发表论文

  1. Model Checking Guided Testing for Distributed Systems, The 18th European Conference on Computer Systems (EuroSys), 2023

  2. Coverage Guided Fault Injection for Cloud Systems, 45th IEEE/ACM International Conference on Software Engineering (ICSE), 2023

  3. Randomized Differential Testing of RDF Stores, International Conference on Software Engineering (ICSE), 2023

  4. Detecting Isolation Bugs via Transaction Oracle Construction, 45th IEEE/ACM International Conference on Software Engineering (ICSE), 2023

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

  6. Testing Database Systems via Differential Query Execution, 45th IEEE/ACM International Conference on Software Engineering (ICSE), 2023

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

  8. Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns, 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022

  9. 共用数据导向的分布式系统失效恢复缺陷检测, 软件学报, 2022

  10. Differentially Testing Database Transactions for Fun and Profit, 37th IEEE/ACM International Conference on Automated Software Engineering(ASE), 2022

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

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

  13. REST API设计分析及实证研究, 软件学报, 2022

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

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

  16. 面向大数据处理框架的JVM优化技术综述, 软件学报, 2022

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

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

  19. TAGen: Generating Trigger-Action Rules for Smart Homes by Mining Event Traces, 19th International Conference on Service-Oriented Computing(ICSOC), 2021
  20. 基于大数据的软件智能化开发方法与环境, 大数据, 2021
  21. 基于领域知识的Docker镜像自动构建方法, 大数据, 2021
  22.  The Impact Analysis of Multiple Miners and Propagation Delay on Selfish Mining, 45th IEEE Computers, Software, and Applications Conference (COMPSAC), 2021
  23. Automated Repair of Cross Browser Layout Issues Combining Learning and Search-based technique, International Conference on Software Testing, Verification, and Validation, 2021
  24. DockerGen: A Knowledge Graph based Approach for Software Containerization, COMPSAC, 2021
  25. Repair Cross Browser Layout Issues by Combining Learning and Search-based technique, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021
  26. Semantic Table Structure Identification in Spreadsheets, 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021), 2021
  27. 基于预分区策略的装备数据分布式存储方法, 计算机科学与探索, 2021
  28. DeepCon: Contribution Coverage Testing for Deep Learning Systems, 28th International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2021
  29. Race Detection for Event-Driven Node.js Applications, 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), 2021
  30. 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
  31. Learning to detect table clones in spreadsheets, ISSTA 2020, 2020
  32. WebRTS: A Dynamic Regression Test Selection Tool for Java Web Applications, ICSME, 2020
  33. 面向大规模集群的柔性配置更新推送方法, 中国科学:信息科学, 2020
  34. 面向大数据分析作业的启发式云资源供给方法, 软件学报, 2020
  35. Detecting Cache-Related Bugs in Spark Applications, ISSTA,  2020
  36. DockerKG: A Knowledge Graph of Docker Artifacts, ICSE (Workshops) , 2020
  37. DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering Algorithms, The 40th IEEE International Conference on Distributed Computing Systems (ICDCS), 2020
  38. Fitness-guided Resilience Testing of Microservice-based Applications, IEEE International Conference on Web Services, 2020
  39. 一种基于录制/重放的Android应用众包测试方法, 软件学报, 2020
  40. Detecting Atomicity Violations for Event-Driven Node.js Applications, ICSE, 2019
  41. Semi-Supervised Learning Based Tag Recommendation for Docker Repositories, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2019
  42. An Experimental Evaluation of Garbage Collectors on Big Data Applications, The 45th International Conference on Very Large Data Bases (VLDB), 2019
  43. An empirical study of multiple names and email addresses in OSS version control repositories, MSR, 2019
  44. IO dependent SSD cache allocation for elastic Hadoop applications, SCIENCE CHINA-INFORMATION SCIENCES, 2018
  45. Detecting Faulty Empty Cells in Spreadsheets, SANER, 2018
  46. Expandable Group Identification in Spreadsheets, ASE, 2018
  47. An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems, ESEC/FSE'18, 2018
  48. Characterizing and diagnosing out of memory errors in MapReduce applications, The Journal of Systems and Software (JSS), 2018
  49. STAR: A Specialized Tagging Approach for Repositories on Docker Hub, The 25th Asia-Pacific Software Engineering Conference (APSEC), 2018
  50. X-Diag: Automated Debugging Cross-Browser Issues in Web Applications, 2018 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (IEEE ICWS), 2018
  51. Migrating Web Applications from Monolithic Structure to Microservices Architecture, INTERNETWARE, 2018, 
  52. IO dependent SSD cache allocation for elastic Hadoop applications, SCIENCE CHINA-INFORMATION SCIENCES, 2018
  53. Context-Based Event Trace Reduction in Client-Side JavaScript Applications, IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2018
  54. An Approach to Identifying Error Patterns for Infrastructure as Code, 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2018
  55. JSTrace: Fast reproducing web application errors, JOURNAL OF SYSTEMS AND SOFTWARE, 2018
  56. How Are Spreadsheet Templates Used in Practice: A Case Study on Enron, ESEC/FSE, 2018
  57. 数据驱动的软件智能化开发方法与技术专题前言, 软件学报, 2018
  58. 基于模型的云应用动态配置框架, 计算机科学, 2017
  59. ReSeer: Efficient search-based replay for multiprocessor virtual machines, JOURNAL OF SYSTEMS AND SOFTWARE, 2017
  60. 基于测试例生成的Android应用数据竞争验证方法,  计算机科学, 2017
  61. Appcheck: A Crowdsouced Testing Service For Android Applications, IEEE 24th International Conference on Web Services (ICWS ) , 2017
  62. A Hierarchical Categorization Approach for Configuration Management Modules,COMPSAC, 2017
  63. Intelligent Development Environment and Software Knowledge Graph, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2017
  64. Mining API Type Specifications for JavaScript, APSEC 2017
  65. A Comprehensive Study on Real World Concurrency Bugs in Node.js, ASE, 2017
  66. CACheck: Detecting and Repairing Cell Arrays in Spreadsheets, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017
  67. 基于捕获/重放的Web应用跨浏览器兼容性检测, 计算机研究与发展, 2017
  68. 虚拟化环境下面向多目标优化的自适应SSD缓存系统, 软件学报, 2017
  69. 一种面向软件配置管理制品的层次分类方法, 软件学报, 2017
  70. Application-centric SSD Cache Allocation for Hadoop Applications, Internetware, 2017
  71. SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based Clustering, MSR, 2017, 
  72.  云环境下基于统计监测的分布式软件系统故障检测技术研究, 计算机学报, 2017