基本信息
李炼  男    中国科学院计算技术研究所
电子邮件: lianli@ict.ac.cn
通信地址: 中科院计算所国家重点实验室
邮政编码:

研究领域

我们小组专注通过程序分析技术来帮助保障软件系统的可靠性和安全性。我们的目标是研究独创的方法并实现切实有效的开发工具,来帮助程序开发人员和测试人员有效解决软件可靠性和安全性问题。我们开发了针对C/C++程序的静态分析检错工具Wukong,能够从Bash, gcc, sed,Apache等常见开源软件中发现大量已有商业工具无法检测到的深层错误和潜在安全漏洞。我们目前开发研究的工具还包括基于Log的分布式系统调试工具,以及对Android APP的安全性分析工具。

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
程序分析

教育背景

2003-03--2007-08   University of New South Wales, Australia   博士
1993-09--1998-06   清华大学工程物理系   学士
学历
   
学位
   

工作经历

   
工作简历
2015-04~现在, 中国科学院计算技术研究所, 百人计划研究员
2011-06~2015-03,甲骨文公司澳大利亚实验室, 主管研究员 (Principal member of technical staff)
2008-06~2011-06,升阳公司实验室, 高级研究员(Senior Member of Technical Staff)
2007-09~2008-05,University of New South Wales, Australia, PostDoc
2001-08~2002-10,Celestry公司北京分公司, 软件工程师
1998-07~2001-07,中国科学院计算技术研究所, 助理研究员
社会兼职
   

教授课程

编译程序高级教程

专利与奖励

   
奖励信息
   
专利成果
( 1 ) System and method for overflow detection using symbolic analysis, 发明, 2012, 第 1 作者, 专利号: US 12/642,729
( 2 ) Points-to analysis as value flow, 发明, 2012, 第 1 作者, 专利号: US 13/117,058
( 3 ) Context-sensitive analysis framework using value flows, 发明, 2012, 第 1 作者, 专利号: US 13/117,078
( 4 ) cifuentes,Path-sensitive analysis framework for bug checking, 发明, 2015, 第 1 作者, 专利号: US 14/188,552
( 5 ) Method and system for performing backward-driven path-sensitive dataflow analysis, 发明, 2013, 第 3 作者, 专利号: US 13/192,349

出版信息

   
发表论文
(1) CloudRaid : Hunting Concurrency Bugs in the Cloud via Log-Mining, ACM conference on the Foundations of Software Engineering (FSE'18), 2018, 通讯作者
(2) Understanding and Detecting Evolution-induced Compatibility Issues in Android Apps, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE'18), 2018, 通讯作者
(3) May-Happen-in-Parallel Analysis with Static Vector Clocks, International Symposium on Code Generation and Optimization (CGO'18), 2018, 通讯作者
(4) Dynamic Symbolic Execution for Polymorphism, 26th International Conference on Compiler Construction (CC'17), 2017, 通讯作者
(5) Symbolic Execution with Value-range Analysis for Floating-point Exception Detection, 24th Asia-Pacific Software Engineering Conference, 2017, 第 2 作者
(6) Memos: A Full Hierarchy Hybrid Memory Management Framework, The 34th International Conference on Computer Design, 2016, 第 5 作者
(7) Precise and Scalable Context-sensitive Pointer Analysis via Value Flow Graph, International Symposium on Memory Management, 2013, 通讯作者
(8) Path-Sensitive Data Flow Analysis Simplified, International Conference on Formal Engineering Methods, 2013, 第 4 作者
(9) Through the Looking Glass: Transitioning Parfait into a Development Tool, IEEE Security & Privacy Journal, 2012, 第 3 作者
(10) SEED: A Statically-Greedy and Dynamically-Adaptive Approach for Speculative Loop Execution, IEEE Transaction on Computers, 2012, 第 2 作者
(11) Boosting the Performance of Flow-sensitive Pointer Analysis using Value Flow, ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2011, 通讯作者
(12) Static Deep Error Checking in Large System Applications using Parfait, ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2011, 第 3 作者
(13) Practical and Effective Symbolic Analysis for Buffer Overow Detection, ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2010, 第 1 作者
(14) Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs, ACM Transaction on Embedded Computing Systems, 2010, 第 1 作者
(15) Program Analysis for Bug Detection using Parfait, Workshop on Partial Evaluation and Semantic-Based Program Manipulation, 2009, 第 3 作者
(16) BegBunch: Benchmarking for C Bug Detection Tools, Workshop on Defects in Large Software Systems, 2009, 第 4 作者
(17) Compiler-directed Scratchpad Memory Management via Graph Coloring, ACM Transaction on Architecture and Code Optimisation, 2009, 第 1 作者
(18) Exploiting Speculative TLP in Recursive Pro-grams by Dynamic Thread Prediction, International Conference on Compiler Construction, 2009, 第 2 作者
(19) Thread-Sensitive Modulo Scheduling for Multi-core Processors, International Conference on Parallel Processing, 2008, 第 3 作者
(20) Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation, Asia-Pacfic Computer Systems Architecture Conference, 2007, 第 1 作者
(21) Scratchpad Allocation for Data Aggregates in Superperfect Graphs, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, 2007, 第 1 作者
(22) Trace-based leakage energy optimisations at link time, Journal of Systems Architecture, 2007, 第 1 作者
(23) Loop recreation for thread-level speculation, International Conference on Parallel and Distributed Systems, 2007, 第 2 作者
(24) Trace-Based Data Cache Leakage Reduction at Link Time, Asia-Paci_c Computer Systems Architecture Conference, 2006, 第 1 作者
(25) Memory Coloring: A Compiler Approach for Scratchpad Memory Management, International Conference on Parallel Architecture and Compilation Techniques, 2005, 第 1 作者
(26) A trace-based binary compilation framework for energy-aware computing, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, 2004, 第 1 作者
发表著作
   

科研活动

   
科研项目
( 1 ) 百人计划A类(择优支持), 主持, 部委级, 2015-04--2017-12
( 2 ) 基于程序分析技术的软件质量保障体系, 主持, 市地级, 2015-07--2017-12
( 3 ) Static Data Race Detection for Pthread Programs, 主持, 院级, 2016-01--2017-06
参与会议
   

合作情况

   
项目协作单位
   

指导学生