李明树 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 083500-软件工程 081202-计算机软件与理论招生方向软件分析与系统安全操作系统深度设计，基础软硬件核心技术与应用教育背景 1987-09--1993-07 哈尔滨工业大学计算机系获得工学博士学位 1983-09--1987-07 北京轻工业学院（现北京工商大学）计算机应用专业获学士学位工作简历 1997-11~现在, 中国科学院软件研究所, 研究员 1995-10~1996-10,英国爱丁堡大学人工智能系, 博士后研究工作 1994-10~1997-11,中国科学院软件研究所, 副研究员 1993-07~1995-03,中国科学院软件研究所, 博士后工作奖励奖励信息（1）软件需求演化建模方法及管理系统，二等奖，省级，2011 （2）软件过程服务技术及集成管理系统，二等奖，国家级，2005 科研项目（ 1 ）高速列车网络控制系统, 主持, 国家级, 2009-01--2012-12 （ 2 ）开源操作系统内核分析和安全性评估, 主持, 国家级, 2012-01--2015-12 （ 3 ）安全可靠桌面计算机操作系统, 参与, 国家级, 2014-01--2019-12 （ 4 ）关键软硬件系统安全性分析评估核心技术研发及验证/软硬件系统协同安全体系, 主持, 部委级, 2018-07--2019-06 （ 5 ）应用兼容与微结构性能增强关键技术, 主持, 部委级, 2020-01--2021-12

研究领域

操作系统、中央处理器以及软硬件深度融合与协同设计等。

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） Bluethunder: A 2-level Directional Predictor Based Side-Channel Attack against SGX, IACR Trans. Cryptogr. Hardw. Embed. Syst, 2020, 第 7 作者（2） Enhancing sample-based scheduler with collaborate-state in big data cluster, SEKE2017, 2017, 通讯作者（3） Perspectives on Refactoring Planning and Practice: An Empirical Study, Empirical Software Engineering: an international journal , 2015, 通讯作者（4）数据操作系统的思想、设计和原型验证, DataOS: principle, design and prototype implementation, 中国科学：信息科学, 2015, 第 1 作者（5） Search Based Risk Mitigation Planning in Project Portfolio Management, International Conference on Software and Systems Process, 2013, 通讯作者（6） Learning Form Evolution History to Predict Future Requirement Changes, International Conference on Requirements Engineering, 2013, 第 3 作者（7） An Investigation On The Feasibility Of Cross-project Defect Prediction, International Journal of Automated Software Engineering, 2012, 第 4 作者（8）一种参数化系统边界验证的切断方法, A cut-off approach for bounded verification of parameterized systems, Proc. of ICSE, 2010, 第 2 作者（9）改进软件测试过程: 通过功能优先级排序满足重要涉众的赢条件, Improving Software Testing Process: Feature Prioritization to Make Winners of Success-Critical Stakeholders, Journal of Software Maintenance and Evolution: Research and Practice, 2010, 第 3 作者（10）基于BiDefect模型的迭代开发量化缺陷管理, Quantitative defects management in iterative development with BiDefect, Journal of Software Process: Improvement and Practice, 2009, 通讯作者