基本信息
李明树 男 博导 软件研究所
电子邮件:mingshu@iscas.ac.cn
通信地址:中关村南四街4号
邮政编码:100190

研究领域

主要研究兴趣为操作系统与基础软件,软硬件协同设计,以及软件工程方法和软件过程技术等。近年来在国内外期刊和会议上先后发表和合作发表学术论文上百篇, 获2005年度国家科技进步奖二等奖1项。指导和合作指导毕业博士、硕士数十人,其中4位获中国科学院院长奖学金。

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
操作系统深度设计,可信软件过程,基础软硬件核心技术与应用

教育背景

1987-09--1993-07 哈尔滨工业大学 计算机系获得工学博士学位
1983-09--1987-07 北京轻工业学院(现北京工商大学) 计算机应用专业获学士学位
学历
-- 研究生
学位
-- 博士

工作经历

   
工作简历
1997-11--今 中国科学院软件研究所 研究员
1995-07--1996-07 英国爱丁堡大学信息学院 博士后研究工作
1995-03--1997-11 中国科学院软件研究所 副研究员
1993-07--1995-03 中国科学院软件研究所 博士后工作

专利与奖励

   
奖励信息
(1) 软件需求演化建模方法及管理系统,二等奖,省级,2011
(2) 软件过程服务技术及集成管理系统,二等奖,国家级,2005
专利成果
( 1 ) 一种预测软件过程执行时间的方法, 发明, 2009, 第 1 作者, 专利号: ZL200910083708.7
( 2 ) 一种自动识别需求依赖关系的方法, 发明, 2008, 第 1 作者, 专利号: ZL200810117633.5
( 3 ) 一种软件缺陷报告分流方法及系统, 发明, 2011, 第 1 作者, 专利号: ZL200910091681.6
( 4 ) 一种针对返工预测软件开发成本和执行时间的方法, 发明, 2014, 第 5 作者, 专利号: CN102103501B
( 5 ) 一种面向海云协同网络计算环境的数据组织方法, 发明, 2017, 第 3 作者, 专利号: ZL201410081199.5
( 6 ) 一种基于大数据的面向个人的应急引导方法及系统, 发明, 2017, 第 5 作者, 专利号: ZL201410080897.3
( 7 ) LPC2468-BASED MVB-WTB GATEWAY AND WORKING METHOD THEREOF(基于LPC2468的MVB-WTB网关及其工作方法), 发明, 2017, 第 2 作者, 专利号: US9,565,270,B2
( 8 ) picoblaze-BASED MVB controller(一种基于PicoBlaze的MVB控制器), 发明, 2017, 第 1 作者, 专利号: US9,563,589,B3

出版信息

   
发表论文
(1) 大数据背景下集群调度结构与研究进展, 计算机研究与发展, 2018, 通讯作者
(2) Who Should Be Selected to Perform a Task in Crowdsourced Testing?, IEEE 41th Annual Computer Software and Applications Conference (COMPSAC ‘17), 2017, 通讯作者
(3) PCSsampler: Sample-based, Private-state Cluster Scheduling, CCGRID 2017, 2017, 通讯作者
(4) Enhancing sample-based scheduler with collaborate-state in big data cluster, SEKE2017, 2017, 通讯作者
(5) Multi-Objective Crowd Worker Selection in Crowdsourced Testing,, The 29th International Conference on Software Engineering and Knowledge Engineering (SEKE ‘17), 2017, 通讯作者
(6) Tiresias: low latency scheduling based on task hopping, IEEE Cluster 2016, 2016, 通讯作者
(7) Perspectives on Refactoring Planning and Practice: An Empirical Study, Empirical Software Engineering: an international journal , 2015, 通讯作者
(8) 数据操作系统的思想、设计和原型验证, DataOS: principle, design and prototype implementation, 中国科学:信息科学, 2015, 第 1 作者
(9) Sparkle: Adaptive sample based scheduling for cluster computing, CloudDP 2015, 2015, 通讯作者
(10) Investigating dependencies in software requirements for change propagation analysis, Advances in Intelligent Systems and Computing, 2014, 通讯作者
(11) Refactoring planning and practice in agile software development: an empirical study, International Conference on Software and Systems Process (ICSSP) , 2014, 通讯作者
(12) Search Based Risk Mitigation Planning in Project Portfolio Management, International Conference on Software and Systems Process, 2013, 通讯作者
(13) Learning Form Evolution History to Predict Future Requirement Changes, International Conference on Requirements Engineering, 2013, 第 3 作者
(14) 轨迹数据库中热门区域发现方法, 软件学报, 2013, 第 4 作者
(15) An Investigation On The Feasibility Of Cross-project Defect Prediction, International Journal of Automated Software Engineering, 2012, 第 4 作者
(16) 一种形式化的基于组件的软件过程建模方法, 软件学报, 2011, 第 4 作者
(17) An Empirical Study on Evolution of API Documentation, Fundamental Approaches to Software Engineering, 2011, 第 4 作者
(18) Attacking Dimensionality Problem of Parameterized Systems via Bounded Reachability Graph , Fundamentals of Software Engineering , 2011, 第 4 作者
(19) 一种软件过程管理工具在中国使用的案例研究, A Case Study on Usage of a Software Process Management Tool in China, Proc. of APSEC, 2010, 通讯作者
(20) 中断多发软件开发环境中的动态资源调度, Dynamic Resource Scheduling in Disruption-Prone Software Development Environments, Proc. of , 2010, 第 4 作者
(21) 一种参数化系统边界验证的切断方法, A cut-off approach for bounded verification of parameterized systems, Proc. of ICSE, 2010, 第 2 作者
(22) 软件开发过程中中断驱动的资源调度, Disruption-Driven Resource Rescheduling in Software Development Processes, Proc. of ICSP, 2010, 第 4 作者
(23) 改进软件测试过程: 通过功能优先级排序满足重要涉众的赢条件,  Improving Software Testing Process: Feature Prioritization to Make Winners of Success-Critical Stakeholders, Journal of Software Maintenance and Evolution: Research and Practice, 2010, 第 3 作者
(24) 理解中国软件工业界中影响开发工作量的因素, Understanding the Influential Factors to Development Effort in Chinese Software Industry, Proc. of PROFES, 2010, 通讯作者
(25) 人员配备模式对软件项目的影响:经验分析,  Effect of staffing pattern on software project: An empirical analysis, Proc. of ESEM, 2009, 第 2 作者
(26) 弥合软件测试过程和业务价值之间的差距——案例研究, Bridge the Gap between Software Test Process and Business Value: A Case Study, Proc. of ICSP, 2009, 第 2 作者
(27) 实现按时交付:一个软件项目量阶段的概率调度策略, Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects, Proc. of ICSP, 2009, 通讯作者
(28) 过程可信作为度量和改进软件可信的能力指标, Process Trustworthiness as a Capability Indicator for Measuring and Improving Software Trustworthiness, Proc. of ICSP, 2009, 第 3 作者
(29) 用遗传算法并基于兼职的多个软件项目调度, Value-Based Multiple Software Projects Scheduling with Genetic Algorithm, Proc. of ICSP, 2009, 第 3 作者
(30) 监测实时的大型路网交通, MOIR/MT: Monitoring Large-Scale Road Network Traffic in Real-Time, Proc. of PVLDB, 2009, 第 4 作者
(31) 基于BiDefect模型的迭代开发量化缺陷管理, Quantitative defects management in iterative development with BiDefect, Journal of Software Process: Improvement and Practice, 2009, 通讯作者

科研活动

   
科研项目
(1) 安全可靠桌面计算机操作系统,参与,国家级,2014-01--2018-12
(2) 开源操作系统内核分析和安全性评估,主持,国家级,2012-01--2015-12
(3) 高速列车网络控制系统,主持,国家级,2009-01--2012-12

指导学生

已指导学生

邹勇  博士研究生  081202-计算机软件与理论  

黄蒙   博士研究生  081202-计算机软件与理论  

孙岩   硕士研究生  081202-计算机软件与理论  

赵欣培  博士研究生  081202-计算机软件与理论  

杨达  博士研究生  081202-计算机软件与理论  

陈伟  博士研究生  081202-计算机软件与理论  

廖渊  博士研究生  081202-计算机软件与理论  

张普  博士研究生  081202-计算机软件与理论  

梁晟  博士研究生  081202-计算机软件与理论  

杨秋松  博士研究生  081202-计算机软件与理论  

武占春   博士研究生  081202-计算机软件与理论  

王继喆  博士研究生  081202-计算机软件与理论  

董颖  博士研究生  081202-计算机软件与理论  

张晓刚  博士研究生  081202-计算机软件与理论  

陶秋铭  博士研究生  081202-计算机软件与理论  

刘霞   博士研究生  081202-计算机软件与理论  

唐磊  博士研究生  081202-计算机软件与理论  

姜楠  博士研究生  081202-计算机软件与理论  

董斐  博士研究生  081202-计算机软件与理论  

黎巎  博士研究生  081202-计算机软件与理论  

袁峰  博士研究生  081202-计算机软件与理论  

肖俊超  博士研究生  081202-计算机软件与理论  

李娟   博士研究生  081202-计算机软件与理论  

童立靖  博士研究生  081202-计算机软件与理论  

赵玉柱  硕士研究生  081202-计算机软件与理论  

朱丹枫  硕士研究生  081202-计算机软件与理论  

王晓曦  硕士研究生  081202-计算机软件与理论  

吴立国  硕士研究生  081202-计算机软件与理论  

汤子楠  硕士研究生  081202-计算机软件与理论  

周博文  硕士研究生  081202-计算机软件与理论  

张普  硕士研究生  081202-计算机软件与理论  

李悦  硕士研究生  081202-计算机软件与理论  

翟健  博士研究生  081202-计算机软件与理论  

袁荣  博士研究生  081202-计算机软件与理论  

李引  博士研究生  081202-计算机软件与理论  

何梅  博士研究生  081202-计算机软件与理论  

刘大鹏  博士研究生  081202-计算机软件与理论  

何海清  硕士研究生  081202-计算机软件与理论  

余侠  硕士研究生  081202-计算机软件与理论  

何磊  硕士研究生  081202-计算机软件与理论  

林中鹏  硕士研究生  081202-计算机软件与理论  

陈嘉  硕士研究生  081202-计算机软件与理论  

张昊鹏  硕士研究生  081202-计算机软件与理论  

杜晶  博士研究生  081202-计算机软件与理论  

孙付伟  硕士研究生  081202-计算机软件与理论  

董佳梁  硕士研究生  081202-计算机软件与理论  

苏杨  硕士研究生  430113-软件工程  

何治民  博士研究生  081202-计算机软件与理论  

石琳  博士研究生  081202-计算机软件与理论  

戴健  博士研究生  081202-计算机软件与理论  

马乐乐  硕士研究生  081202-计算机软件与理论  

汪正康  硕士研究生  081202-计算机软件与理论  

高晓伟  硕士研究生  081202-计算机软件与理论  

现指导学生

陈洁  博士研究生  081202-计算机软件与理论  

崔强  博士研究生  081202-计算机软件与理论  

郝春亮  博士研究生  081202-计算机软件与理论  

王丽淑  硕士研究生  081202-计算机软件与理论  

李威威  博士研究生  081202-计算机软件与理论  

刘庆庆  硕士研究生  083500-软件工程  

冯博文  硕士研究生  083500-软件工程  

王瑜  博士研究生  083500-软件工程  

汪孙律  博士研究生  083500-软件工程  

贺垚  硕士研究生  081202-计算机软件与理论  

赵力  硕士研究生  083500-软件工程  

高伟毅  硕士研究生  083500-软件工程  

岳晓萌  博士研究生  081202-计算机软件与理论  

李正  博士研究生  083500-软件工程