邮箱登录 | 所务办公 | 收藏本站 | English | 中国科学院
 
首页 计算所概况 新闻动态 科研成果 研究队伍 国际交流 技术转移 研究生教育 学术出版物 党群园地 创新文化 科学传播
研究队伍
院士专家
杰出青年
研究员
副研究员
人才招聘
高层次人才引进
现在位置:首页 > 中文 > 计算所人才库
导师介绍
姓名 李炼  性别 男 
联系方式 lianli@ict.ac.cn  职称 研究员 
研究方向 程序分析、软件安全 
个人介绍
简历:

教育经历

本科 清华大学工程物理系 09 1993 – 06 1998

博士 新南威尔士大学计算机系 03 2003 – 08 2007
(论文题目: Scratchpad Memory Management for Static Data Aggregates)

工作经历

中科院计算技术研究所 助理研究员 (Research Assistant) 09 1998 – 07 2001

思略微电子有限公司 软件工程师 (Software Engineer) 08 2001 – 10 2002

新南威尔士大学 博士后 (Postdoc) 09 2007 – 05 2008

升阳公司实验室 高级研究员 (Senior Member of Technical Staff) 06 2008 – 06 2011

甲骨文公司实验室 首席研究员 (Principal Member of Technical Staff) 07 2011 – 03 2015

中科院计算技术研究所 百人计划研究员,博士生导师 04 2015 – [End Date]
(100 talents plan Research Professor)

研究方向:
程序分析、软件安全
社会任职:
获奖及荣誉:
代表论著:

申请专利

[1] Lian Li, Cristina Cifuentes and Nathan Keynes: System and Method for Overow Detection using Symbolic Analysis
(Granted in 2011)
[2] Lian Li, Cristina Cifuentes and Nathan Keynes: Pointer Analysis as Value Flow (Granted in 2013)李炼 PAGE 3
[3] Lian Li, Cristina Cifuentes and Nathan Keynes: A Context-sensitive Analysis Framework using Value Flows (Granted
in 2013)
[4] Nathan Keynes, Cristina Cifuentes and Lian Li: Method for Performing Fast Backwards-driven Path-sensitive Data-flow
Analysis (Granted in 2014)
[5] Lian Li and Cristina Cifuentes: A Practical Inter-procedural Path-sensitive Analysis Framework for Bug Checking
(Filed in 2014)
[6] Lian Li and Andrew Santosa: System and Method for Dynamic Symbolic Execution of Object-Oriented Libraries (Filed
in 2014)

发表论文

程序分析和查错
1. Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue: Understanding and Detecting
Evolution-induced Compatibility Issues in Android Apps in The 33rd IEEE/ACM International Conference on
Automated Software Engineering (ASE’18)
2. Jie Lu, Feng Li, Lian Li, and Xiaobing Feng: CloudRaid: Hunting Concurrency Bugs in the Cloud via LogMining in The 2018 ACM Joint European Software Engineering Conference and Symposium on the
Foundations of Software Engineering (ESEC/FSE’18)
3.QinZhou,Lian Li, Lei Wang, Jingling Xue and Xiaobin Feng: May-Happen-in-Parallel Analysis using Static
Vector Clocks in 2018 International Symposium on Code Generation and Optimization (CGO’18)
4.Lian Li, Yi Lu and Jingling Xue: Dynamic Symbolic Execution for Polymorphism in 2017 International
Conference on Compiler Construction (CC’17)
5.Lian Li, Cristina Cifuentes and Nathan Keyes: Precise and Scalable Context-sensitive Pointer Analysis via
Value Flow Graph in 2013 ACM Sigplan International Symposium on Memory Management (ISMM’13)
6.Lian Li, Cristina Cifuentes and Nathan Keynes: Boosting the Performance of Flow-sensitive Pointer Analysis
using Value Flow in 2011 ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'11)
7.Lian Li, Cristina Cifuentes, and Nathan Keynes: Practical and Effective Symbolic Analysis for Buffer Overow
Detection in 2010 ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'10)
8.Kirsten Winter, Chenyi Zhang, Ian Hayes, Nathan Keynes, Cristina Cifuentes and Lian Li. Path-Sensitive Data
Flow Analysis Simplified in 15th International Conference on Formal Engineering Methods (ICFEM’13)
9.Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes and Manuel Valdivezo Basauri: Through the
Looking Glass: Transitioning Parfait into a Development Tool in IEEE Security & Privacy Journal 10(3), 2012
10.Cristina Cifuentes, Nathan Keynes, Lian Li et al.: Static Deep Error Checking in Large System Applications
using Parfait in 2011 ACM SIGSOFT Symposium on the Foundations of Software Engineering (Tool Demo,
FSE'11)
11.Cristina Cifuentes, Nathan Keynes, Lian Li and Bernhard Scholz: Program Analysis for Bug Detection using
Parfait in 2009 Workshop on Partial Evaluation and Semantic-Based Program Manipulation (Invited Talk,
PEPM'09)
12.Cristina Cifuentes, Christiann Hoermann, Nathan Keynes, Lian Li et al.: BegBunch: Benchmarking for C Bug
Detection Tools in 2009 Workshop on Defects in Large Software Systems(Defects'09)

嵌入式系统的高速暂存存储器(Scratchpad)管理
1.Lian Li, Jingling Xue and Jens Knoop: Scratchpad Memory Allocation for Data Aggregates via Interval
Coloring in Superperfect Graphs in ACM Transaction on Embedded Computing Systems (TECS) 10(2), 2010
2.Lian Li, Hui Feng and Jingling Xue: Compiler-directed Scratchpad Memory Management via Graph
Coloring in ACM Transaction on Architecture and Code Optimisation (TACO) 6(3), 2009
3.Lian Li, Hui Wu and Jingling Xue: Towards Data Tiling for Whole Programs in Scratchpad Memory
Allocation in 2007 Asia-Pacfic Computer Systems Architecture Conference (ACSAC'07)
4.Lian Li, Quan Hoang Nguyen and Jingling Xue: Scratchpad Allocation for Data Aggregates in Superperfect
Graphs in 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
(LCTES'07)
5.Lian Li, Lin Gao and Jingling Xue: Memory Coloring: A Compiler Approach for Scratchpad Memory
Management in 2005 International Conference on Parallel Architecture and Compilation Techniques (PACT'05)李炼 PAGE 4

嵌入式系统低能耗计算
1.Lian Li and Jingling Xue: Trace-based leakage energy optimisations at link time in Journal of Systems
Architecture 53(1), 2007
2.Lian Li and Jingling Xue: Trace-Based Data Cache Leakage Reduction at Link Time in 2006 Asia-Paci_c
Computer Systems Architecture Conference (ACSAC'06)
3.Lian Li and Jingling Xue: A trace-based binary compilation framework for energy-aware computing in 2004
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04)

投机并行技术
1.Lin Gao, Lian Li, Jingling Xue and Pen-Chung Yew: SEED: A Statically-Greedy and Dynamically-Adaptive
Approach for Speculative Loop Execution in IEEE Transaction on Computers (TC) 2012
2.Lin Gao, Lian Li, Jingling Xue and Tin-Fook Ngai: Exploiting Speculative TLP in Recursive Pro-grams by
Dynamic Thread Prediction in 2009 International Conference on Compiler Construction (CC'09)
3. Lin Gao, Quan Hoang Nguyen, Lian Li, Jingling Xue and Tin-Fook Ngai: Thread-Sensitive Modulo Scheduling
for Multi-core Processors in 2008 International Conference on Parallel Processing (ICPP'08)
4. Lin Gao, Lian Li, Jingling Xue and Tin-Fook Ngai: Loop recreation for thread-level speculation
in 2007 International Conference on Parallel and Distributed Systems (ICPADS'07)

承担科研项目情况:

(1)百人计划 A 类(择优支持),主持, 部委级, 2015-04--2017-12
(2)基于程序分析技术的软件质量保障体系,所重点课题, 2015-07--2017-12
(3)Static Data Race Detection for Pthread Programs,Oracle 研究资助, 2016-01--2017-06

学科类别:
计算机体系结构
所属部门:
计算机体系结构国家重点实验室
专家类别:
正高
杰青入选时间:
百人入选时间:
2015-04-01 00:00:00
其他备注:
博导计算机系统结构
其他备注2:
其他备注3:
 
网站地图 | 联系我们 | 意见反馈 | 所长信箱
 
欢迎访问中国科学院计算技术研究所 京ICP备05002829号
地址:北京海淀区中关村科学院南路6号 邮编:100190 电话:010-62601166 邮箱:xuanchuanban@ict.ac.cn