• <menu id="64gkg"></menu>
  • <menu id="64gkg"></menu>
  • 當前欄目:首頁 > 知識大全 > 大學教育 > 正文
    科目輔導
  • 中國科學院大學魏峻教授簡介
  • 時間:2022-12-10 13:37:36        編輯:陳心正        點擊量:2329次
  • 歡迎有志于軟件工程、分布式系統研究的學生加入!

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

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

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

    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

    出版信息

    近期發表論文

    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

    基于大數據的軟件智能化開發方法與環境, 大數據, 2021

    基于領域知識的Docker鏡像自動構建方法, 大數據, 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, 計算機科學與探索, 2021

    REST API設計分析及實證研究, 軟件學報, 2021

    面向大數據處理框架的JVM優化技術綜述, 軟件學報, 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, 中國科學:信息科學, 2020

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

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

    數據驅動的軟件智能化開發方法與技術專題前言, 軟件學報, 2018

    基于模型的云應用動態配置框架, 計算機科學, 2017

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

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

    虛擬化環境下面向多目標優化的自適應SSD緩存系統, 軟件學報, 2017

    一種面向軟件配置管理制品的層次分類方法, 軟件學報, 2017

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

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

    云環境下基于統計監測的分布式軟件系統故障檢測技術研究, 計算機學報, 2017



  • 上一篇:清華大學李涓子教授簡介
  • 下一篇:已經沒有了

  • 分享至:
  • 我來說兩句
    登錄后可評論



  • 網易
  • 百度
  • 大眾網
  • 99热最新区域名获取,99视频国产精品免费观看,99视频精品全部免费 夜色,99视频精品全部免费品,99视频精品全国免费
  • <menu id="64gkg"></menu>
  • <menu id="64gkg"></menu>
  • <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <文本链> <文本链> <文本链> <文本链> <文本链> <文本链>