當前欄目:首頁(yè) > 知識大全 > 大學(xué)教育 > 正文
科目輔導
  • 中國科學(xué)院大學(xué)魏峻教授簡(jiǎn)介
  • 時(shí)間:2022-12-10 13:37:36        編輯:陳心正        點(diǎn)擊量:3702次
  • 歡迎有志于軟件工程、分布式系統研究的學(xué)生加入!

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

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

    近年來(lái)主要工作在新型分布式軟件系統架構(如深度學(xué)習框架、微服務(wù)架構、無(wú)服務(wù)器架構、區塊鏈)的評估與優(yōu)化、大規模復雜分布式系統可靠性保障方面。

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

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

    教育背景

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

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

    工作經(jīng)歷

    工作簡(jiǎn)歷

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

    2000-09~2001-11,香港科技大學(xué), 訪(fǎng)問(wèn)學(xué)者

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

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

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

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

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

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

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

    2014-12-31-2024-12-31,《軟件學(xué)報》編委會(huì ), 責任編委

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

    教授課程

    軟件工程

    高級軟件工程

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

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

    專(zhuān)利與獎勵

    獎勵

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

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

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

    (4) 網(wǎng)絡(luò )軟件基礎架構平臺(網(wǎng)馳ONCE)技術(shù)和系統, 二等獎, 國家級, 2011

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

    (6) 網(wǎng)絡(luò )軟件基礎架構平臺(網(wǎng)馳ONCE), 一等獎, 省級, 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

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

    基于領(lǐng)域知識的Docker鏡像自動(dòng)構建方法, 大數據, 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

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

    REST API設計分析及實(shí)證研究, 軟件學(xué)報, 2021

    面向大數據處理框架的JVM優(yōu)化技術(shù)綜述, 軟件學(xué)報, 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

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

    面向大數據分析作業(yè)的啟發(fā)式云資源供給方法, 軟件學(xué)報, 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應用眾包測試方法, 軟件學(xué)報, 2020

    基于預分區策略的裝備數據分布式存儲方法, 計算機科學(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

    數據驅動(dòng)的軟件智能化開(kāi)發(fā)方法與技術(shù)專(zhuān)題前言, 軟件學(xué)報, 2018

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

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

    基于測試例生成的Android應用數據競爭驗證方法,  計算機科學(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應用跨瀏覽器兼容性檢測, 計算機研究與發(fā)展, 2017

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

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

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

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

    云環(huán)境下基于統計監測的分布式軟件系統故障檢測技術(shù)研究, 計算機學(xué)報, 2017



  • 上一篇:清華大學(xué)李涓子教授簡(jiǎn)介
  • 下一篇:已經(jīng)沒(méi)有了

  • 分享到:
  • 我來(lái)說(shuō)兩句
    登錄后可評論



  • 網(wǎng)易
  • 百度
  • 大眾網(wǎng)