当前位置 >>  首页 >> 研究队伍 >> 研究员

李炼

撰稿: 摄影: 发布时间:2014年09月25日

科研人员
性别
职称 研究员
所属部门 计算机体系结构国家重点实验室
研究方向 嵌入式系统的编译技术、系统可靠性和安全性分析、并行技术
联系方式 lian.li@gmail.com
研究经验

多年以来一直从事程序设计语言相关方面的系统研究,在针对嵌入式系统的编译技术、系统可靠性和安全性分析以及并行技术等方面都做出了一定的成果。近年来先后在ACM/IEEE Trans.等国际权威期刊和会议发表论文20 篇,其中以第1 作者发表的论文11 篇,单篇最高他引78 次(谷歌学术搜索)。其研究成果多已开发出原型系统并应用到相关领域中,包括自动管理嵌入式系统高速暂存存储器的编译系统、针对大型系统程序的静态分析查错软件。

学术职务

PC member SCAM'09、SCAM'10、 SCAM'11 (IEEE International Working Conference on Source Code Analysis and Manipulation)
PC member PPPJ'09、 PPPJ'10 (International Conference on Principles and Practises of Programming in Java)
PC member ASWEC'10、 ASWEC’13 (Australian Software Engineering Conference)
PC member LCTES’13 (International conference on Languages, Compilers and Tools for Embedded Systems)

代表论著 ? 程序分析和查错
1.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)
2. 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)
3.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)

? 嵌入式系统的高速暂存存储器(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)

? 嵌入式系统低能耗计算
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)
学科类别 计算机系统结构
专家类别 正高
备注 博导 计算机系统结构
附件下载: