我们小组专注于研究通过程序分析技术来帮助提高软件系统的可靠性和安全性。我们的目标是研究创新的程序分析方法并实现切实有效的开发工具，来帮助程序开发人员和测试人员有效解决软件中普遍存在的可靠性和安全性问题。我们开发了静态分析检测系统Wukong。 Wukong实现了一系列深度程序分析方法，能够检测跨函数、跨组件、涉及复杂依赖关系的深度安全漏洞。 Wukong支持主流 C/C++、 Java、 Android等编程语言及开发环境， 并能够从谷歌Chromium、 Bash、 sed、 大数据处理系统Hadoop等常见开源软件中发现数千已有商业工具无法检测到的深层错误和潜在安全漏洞， 其中数百个严重错误已经被开源社区确认，获得超过50个CVE。我们研究的方法和工具已经发表在系统、软工以及安全领域内顶级会议包括 SOSP、FSE、ASE、CGO、USENIX SECURITY、CCS上，获得过ASE2019杰出论文奖以及CCS2022最佳论文提名。更多信息请访问我们小组主页：ICT-PAG - Home. 

   

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] 施程航, 李昊峰, YuLei Sui, 陆杰, 李炼, xue jingling. Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). 2023, 第 11 作者
[2] 李昊峰, 陆杰, 孟海宁, 曹立庆, 黄永恒, 李炼, 高琳. Generic sensitivity: customizing context-sensitive pointer analysis for generics. the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2022, 第 11 作者
[3] 李昊峰, 孟海宁, 郑恒杰, 曹立庆, 李炼. ������������������������������������������������������. 软件学报[J]. 2022, 第 5 作者33(1): 78-101, http://lib.cqvip.com/Qikan/Article/Detail?id=7106515290.
[4] 陆杰, 李昊峰, 刘晨, 李炼, 程琨. Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems (Best paper honorable mention). the 2022 ACM SIGSAC Conference on Computer and Communications Security. 2022, 第 11 作者
[5] 顾芳铭, 郭青丽, 李炼, 彭峙酿, 林巍, 杨晓波, 龚晓锐. COMRACE: Detecting Data Race Vulnerabilities in COM Objects. Usenix Security. 2022, 第 11 作者
[6] 李昊峰, 陆杰, 孟海宁, 曹立庆, 黄永恒, 李炼, 高琳. Generic sensitivity: customizing context-sensitive pointer analysis for generics. the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2022, 第 6 作者  通讯作者  
[7] 李昊峰, 孟海宁, 郑恒杰, 曹立庆, 李炼. 面向对象程序的上下文敏感指针分析研究. 软件学报[J]. 2022, 第 5 作者33(1): 78-101, http://lib.cqvip.com/Qikan/Article/Detail?id=7106515290.
[8] 陆杰, 李昊峰, 刘晨, 李炼, 程琨. Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems (Best paper honorable mention). the 2022 ACM SIGSAC Conference on Computer and Communications Security. 2022, 第 4 作者  通讯作者  
[9] 顾芳铭, 郭青丽, 李炼, 彭峙酿, 林巍, 杨晓波, 龚晓锐. COMRACE: Detecting Data Race Vulnerabilities in COM Objects. Usenix Security. 2022, 第 3 作者  通讯作者  
[10] 陆杰, 李丰, 李炼, 冯晓兵, xue jingling. CloudRaid: Detecting Distributed Concurrency Bugs via Log-Mining and Enhancement. IEEE Transactions on Software Engineering[J]. 2021, 第 11 作者
[11] 刘晨, 陆杰, 李广威, 袁挺, 李炼, 杨军, 游亮, 谭峰, 薛京灵. Detecting TensorFlow Program Bugs in Real-World Industrial Environment. The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21). 2021, 第 5 作者
[12] 李广威, 袁挺, 陆杰, 李炼, Xiaobin Zhang, Xu Song, Kejun Zhang. Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution. the 28th Asia-Pacific Software Engineering Conference. 2021, 第 11 作者
[13] Yuan, Ting, Li, Guangwei, Lu, Jie, Liu, Chen, Li, Lian, Xue, Jingling, Lee, JW, Soffa, ML, Zaks, A. GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. CGO '21: PROCEEDINGS OF THE 2021 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO). 2021, 第 11 作者187-199, 
[14] 李昊峰, 孟海宁, 郑恒杰, 曹立庆, 陆杰, 李炼, 高琳. Scaling Up the IFDS Algorithm with Efficient Disk-assisted Computing. IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2021, 第 11 作者
[15] 陆杰, 李丰, 李炼, 冯晓兵, xue jingling. CloudRaid: Detecting Distributed Concurrency Bugs via Log-Mining and Enhancement. IEEE Transactions on Software Engineering[J]. 2021, 第 3 作者  通讯作者  
[16] 刘晨, 陆杰, 李广威, 袁挺, 李炼, 杨军, 游亮, 谭峰, 薛京灵. Detecting TensorFlow Program Bugs in Real-World Industrial Environment. The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21). 2021, 第 5 作者
[17] 李广威, 袁挺, 陆杰, 李炼, Xiaobin Zhang, Xu Song, Kejun Zhang. Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution. the 28th Asia-Pacific Software Engineering Conference. 2021, 第 4 作者  通讯作者  
[18] Yuan, Ting, Li, Guangwei, Lu, Jie, Liu, Chen, Li, Lian, Xue, Jingling, Lee, JW, Soffa, ML, Zaks, A. GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. CGO '21: PROCEEDINGS OF THE 2021 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO). 2021, 第 5 作者  通讯作者  187-199, 
[19] 李昊峰, 孟海宁, 郑恒杰, 曹立庆, 陆杰, 李炼, 高琳. Scaling Up the IFDS Algorithm with Efficient Disk-assisted Computing. IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2021, 第 6 作者  通讯作者  
[20] Lu Jie, Chen Liu, Li Lian, Feng Xiaobing. Understanding Node Change Bugs for Distributed Systems. 2019 IEEE 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER)[J]. 2019, 第 3 作者  通讯作者  399-410, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000469754100039.
[21] 张健, 张超, 玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦. 程序分析研究进展. 软件学报[J]. 2019, 第 7 作者30(1): 80-109, http://lib.cqvip.com/Qikan/Article/Detail?id=7001388130.
[22] Lu, Jie, Liu, Chen, Li, Lian, Feng, Xiaobing, Tan, Feng, Yang, Jun, You, Liang, ACM. CrashTuner: Detecting Crash-Recovery Bugs in Cloud Systems via Meta-Info Analysis. PROCEEDINGS OF THE TWENTY-SEVENTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '19). 2019, 第 3 作者  通讯作者  114-130, http://dx.doi.org/10.1145/3341301.3359645.
[23] He, Dongjie, Li, Haofeng, Wang, Lei, Meng, Haining, Zheng, Hengjie, Liu, Jie, Hu, Shuangwei, Li, Lian, Xue, Jingling, IEEE. Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019). 2019, 第 8 作者267-279, http://dx.doi.org/10.1109/ASE.2019.00034.
[24] 王蕾, 周卿, 何冬杰, 李炼, 冯晓兵. 面向Android应用隐私泄露检测的多源污点分析技术. 软件学报[J]. 2019, 第 4 作者30(2): 211-230, http://lib.cqvip.com/Qikan/Article/Detail?id=7001417566.
[25] 王蕾, 何冬杰, 李炼, 冯晓兵. ���������������������������������������������������. 计算机研究与发展[J]. 2019, 第 3 作者56(3): 480-495, http://lib.cqvip.com/Qikan/Article/Detail?id=7001418100.
[26] Jie Lu, Feng Li, Lian Li. AgamottoEye:Recovering Request Flow for Cloud Systems via Log Analysis. 计算机科学研究(英文)[J]. 2019, 第 3 作者1(2): 30-34, http://lib.cqvip.com/Qikan/Article/Detail?id=7100607709.
[27] 张健, 张超, 玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦. ������������������������. 软件学报[J]. 2019, 第 7 作者30(1): 80-109, http://lib.cqvip.com/Qikan/Article/Detail?id=7001388130.
[28] Lu Jie, Chen Liu, Li Lian, Feng Xiaobing. Understanding Node Change Bugs for Distributed Systems. 2019 IEEE 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER)[J]. 2019, 第 11 作者399-410, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000469754100039.
[29] Lu, Jie, Liu, Chen, Li, Lian, Feng, Xiaobing, Tan, Feng, Yang, Jun, You, Liang, ACM. CrashTuner: Detecting Crash-Recovery Bugs in Cloud Systems via Meta-Info Analysis. PROCEEDINGS OF THE TWENTY-SEVENTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '19). 2019, 第 11 作者114-130, http://dx.doi.org/10.1145/3341301.3359645.
[30] He, Dongjie, Li, Haofeng, Wang, Lei, Meng, Haining, Zheng, Hengjie, Liu, Jie, Hu, Shuangwei, Li, Lian, Xue, Jingling, IEEE. Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019). 2019, 第 8 作者267-279, http://dx.doi.org/10.1109/ASE.2019.00034.
[31] 王蕾, 周卿, 何冬杰, 李炼, 冯晓兵. ������Android���������������������������������������������������. 软件学报[J]. 2019, 第 4 作者30(2): 211-230, http://lib.cqvip.com/Qikan/Article/Detail?id=7001417566.
[32] 王蕾, 何冬杰, 李炼, 冯晓兵. 基于稀疏框架的静态污点分析优化技术. 计算机研究与发展[J]. 2019, 第 3 作者56(3): 480-495, http://lib.cqvip.com/Qikan/Article/Detail?id=7001418100.
[33] Jie Lu, Feng Li, Lian Li. AgamottoEye:Recovering Request Flow for Cloud Systems via Log Analysis. 计算机科学研究(英文)[J]. 2019, 第 3 作者1(2): 30-34, http://lib.cqvip.com/Qikan/Article/Detail?id=7100607709.
[34] Lu, Jie, Li, Feng, Li, Lian, Feng, Xiaobing, Leavens, GT, Garcia, A, Pasareanu, CS. CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining. ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING. 2018, 第 3 作者  通讯作者  3-14, http://dx.doi.org/10.1145/3236024.3236071.
[35] 周卿, 李炼, 冯晓兵. 基于静态调度的多线程程序分析方法. 高技术通讯[J]. 2018, 第 2 作者28(7): 575-582, http://lib.cqvip.com/Qikan/Article/Detail?id=676633919.
[36] He, Dongjie, Li, Lian, Wang, Lei, Zheng, Hengjie, Li, Guangwei, Xue, Jingling, Huchard, M, Kastner, C, Fraser, G. Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps. PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18). 2018, 第 2 作者  通讯作者  167-177, 
[37] 冯晓兵. May-happen-in-parallel analysis with static vector clocks. Proceedings of the 2018 International Symposium on Code Generation and Optimization. 2018, 
[38] Lu, Jie, Li, Feng, Li, Lian, Feng, Xiaobing, Leavens, GT, Garcia, A, Pasareanu, CS. CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining. ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING. 2018, 第 11 作者3-14, http://dx.doi.org/10.1145/3236024.3236071.
[39] 周卿, 李炼, 冯晓兵. ������������������������������������������������. 高技术通讯[J]. 2018, 第 2 作者28(7): 575-582, http://lib.cqvip.com/Qikan/Article/Detail?id=676633919.
[40] He, Dongjie, Li, Lian, Wang, Lei, Zheng, Hengjie, Li, Guangwei, Xue, Jingling, Huchard, M, Kastner, C, Fraser, G. Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps. PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18). 2018, 第 11 作者167-177, 
[41] 冯晓兵. May-happen-in-parallel analysis with static vector clocks. Proceedings of the 2018 International Symposium on Code Generation and Optimization. 2018, 
[42] 王蕾, 李丰, 李炼, 冯晓兵. 污点分析技术的原理和实践应用. 软件学报[J]. 2017, 第 3 作者28(4): 860-882, http://lib.cqvip.com/Qikan/Article/Detail?id=671917931.
[43] Jian Zhang. Symbolic Execution with Value-range Analysis for Floating-point Exception Detection. 24th Asia-Pacific Software Engineering Conference (APSEC'17). 2017, 
[44] Li Lian, Lu Yi, Xue Jingling, Wu P, Hack S. Dynamic Symbolic Execution for Polymorphism. CC'17: PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION. 2017, 第 1 作者  通讯作者  120-130, http://dx.doi.org/10.1145/3033019.3033029.
[45] 王蕾, 李丰, 李炼, 冯晓兵. ������������������������������������������. 软件学报[J]. 2017, 第 3 作者28(4): 860-882, http://lib.cqvip.com/Qikan/Article/Detail?id=671917931.
[46] Jian Zhang. Symbolic Execution with Value-range Analysis for Floating-point Exception Detection. 24th Asia-Pacific Software Engineering Conference (APSEC'17). 2017, 
[47] Li Lian, Lu Yi, Xue Jingling, Wu P, Hack S. Dynamic Symbolic Execution for Polymorphism. CC'17: PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION. 2017, 第 11 作者120-130, http://dx.doi.org/10.1145/3033019.3033029.
[48] Li, Lian, Cifuentes, Cristina, Keynes, Nathan. Precise and Scalable Context-Sensitive Pointer Analysis via Value Flow Graph. ACM SIGPLAN NOTICES[J]. 2013, 第 1 作者  通讯作者  48(11): 85-96, https://www.webofscience.com/wos/woscc/full-record/WOS:000329972200009.
[49] Gao, Lin, Li, Lian, Xue, Jingling, Yew, PenChung. SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution. IEEE TRANSACTIONS ON COMPUTERS[J]. 2013, 第 2 作者62(5): 1004-1016, https://www.webofscience.com/wos/woscc/full-record/WOS:000317010700013.
[50] Winter Kirsten, Zhang Chenyi, Hayes Ian J, Keynes Nathan, Cifuentes Cristina, Li Lian, Groves L, Sun J. Path-Sensitive Data Flow Analysis Simplified. FORMAL METHODS AND SOFTWARE ENGINEERING. 2013, 第 6 作者8144: 415-430, 
[51] Li, Lian, Cifuentes, Cristina, Keynes, Nathan. Precise and Scalable Context-Sensitive Pointer Analysis via Value Flow Graph. ACM SIGPLAN NOTICES[J]. 2013, 第 11 作者48(11): 85-96, https://www.webofscience.com/wos/woscc/full-record/WOS:000329972200009.
[52] Gao, Lin, Li, Lian, Xue, Jingling, Yew, PenChung. SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution. IEEE TRANSACTIONS ON COMPUTERS[J]. 2013, 第 2 作者62(5): 1004-1016, https://www.webofscience.com/wos/woscc/full-record/WOS:000317010700013.
[53] Winter Kirsten, Zhang Chenyi, Hayes Ian J, Keynes Nathan, Cifuentes Cristina, Li Lian, Groves L, Sun J. Path-Sensitive Data Flow Analysis Simplified. FORMAL METHODS AND SOFTWARE ENGINEERING. 2013, 第 6 作者8144: 415-430, 
[54] Li Lian. Through the Looking Glass: Transitioning Parfait into a Development Tool. IEEE Security & Privacy Journal. 2012, 第 1 作者
[55] Li Lian. Through the Looking Glass: Transitioning Parfait into a Development Tool. IEEE Security & Privacy Journal. 2012, 第 1 作者
[56] Li Lian. Boosting the Performance of Flow-sensitive Pointer Analysis using Value Flow. ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2011, 第 1 作者  通讯作者  
[57] Li Lian. Static Deep Error Checking in Large System Applications using Parfait. ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2011, 第 1 作者
[58] Li Lian. Boosting the Performance of Flow-sensitive Pointer Analysis using Value Flow. ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2011, 第 11 作者
[59] Li Lian. Static Deep Error Checking in Large System Applications using Parfait. ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2011, 第 1 作者
[60] Li, Lian, Xue, Jingling, Knoop, Jens. Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS[J]. 2010, 第 1 作者  通讯作者  10(2): https://www.webofscience.com/wos/woscc/full-record/WOS:000285875500014.
[61] Li Lian. Practical and Effective Symbolic Analysis for Buffer Overow Detection. ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2010, 第 1 作者
[62] Li, Lian, Xue, Jingling, Knoop, Jens. Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS[J]. 2010, 第 11 作者10(2): https://www.webofscience.com/wos/woscc/full-record/WOS:000285875500014.
[63] Li Lian. Practical and Effective Symbolic Analysis for Buffer Overow Detection. ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2010, 第 1 作者
[64] Li Lian. BegBunch: Benchmarking for C Bug Detection Tools. Workshop on Defects in Large Software Systems. 2009, 第 1 作者
[65] Li, Lian, Feng, Hui, Xue, Jingling. Compiler-Directed Scratchpad Memory Management via Graph Coloring. ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION[J]. 2009, 第 1 作者6(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000271212500001.
[66] Li Lian. Program Analysis for Bug Detection using Parfait. Workshop on Partial Evaluation and Semantic-Based Program Manipulation. 2009, 第 1 作者
[67] Li Lian. Exploiting Speculative TLP in Recursive Pro-grams by Dynamic Thread Prediction. International Conference on Compiler Construction. 2009, 第 1 作者
[68] Li Lian. BegBunch: Benchmarking for C Bug Detection Tools. Workshop on Defects in Large Software Systems. 2009, 第 1 作者
[69] Li, Lian, Feng, Hui, Xue, Jingling. Compiler-Directed Scratchpad Memory Management via Graph Coloring. ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION[J]. 2009, 第 1 作者6(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000271212500001.
[70] Li Lian. Program Analysis for Bug Detection using Parfait. Workshop on Partial Evaluation and Semantic-Based Program Manipulation. 2009, 第 1 作者
[71] Li Lian. Exploiting Speculative TLP in Recursive Pro-grams by Dynamic Thread Prediction. International Conference on Compiler Construction. 2009, 第 1 作者
[72] Li Lian. Thread-Sensitive Modulo Scheduling for Multi-core Processors. International Conference on Parallel Processing. 2008, 第 1 作者
[73] Li Lian. Thread-Sensitive Modulo Scheduling for Multi-core Processors. International Conference on Parallel Processing. 2008, 第 1 作者
[74] Li, an Li, Xue, Jingling. Trace-based leakage energy optimisations at link time. JOURNAL OF SYSTEMS ARCHITECTURE[J]. 2007, 第 1 作者53(1): 1-20, http://dx.doi.org/10.1016/j.sysarc.2006.05.002.
[75] Li Lian, Nguyen Quan Hoang, Xue Jingling, ACM. Scratchpad Allocation for Data Aggregates in Superperfect Graphs. LCTES'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN-SIGBED CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS. 2007, 第 1 作者207-216, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000266485800030.
[76] Li Lian, Wu Hui, Feng Hui, Xue Jingling, Choi L, Paek Y, Cho S. Towards data tiling for whole programs in sc ratchpad memory allocation. ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, PROCEEDINGS. 2007, 第 1 作者  通讯作者  4697: 63-+, 
[77] Li, an Li, Xue, Jingling. Trace-based leakage energy optimisations at link time. JOURNAL OF SYSTEMS ARCHITECTURE[J]. 2007, 第 1 作者53(1): 1-20, http://dx.doi.org/10.1016/j.sysarc.2006.05.002.
[78] Li Lian, Nguyen Quan Hoang, Xue Jingling, ACM. Scratchpad Allocation for Data Aggregates in Superperfect Graphs. LCTES'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN-SIGBED CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS. 2007, 第 1 作者207-216, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000266485800030.
[79] Li Lian, Wu Hui, Feng Hui, Xue Jingling, Choi L, Paek Y, Cho S. Towards data tiling for whole programs in sc ratchpad memory allocation. ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, PROCEEDINGS. 2007, 第 11 作者4697: 63-+, 
[80] Li Lian. Memory Coloring: A Compiler Approach for Scratchpad Memory Management. International Conference on Parallel Architecture and Compilation Techniques. 2005, 第 1 作者
[81] Li Lian. Memory Coloring: A Compiler Approach for Scratchpad Memory Management. International Conference on Parallel Architecture and Compilation Techniques. 2005, 第 1 作者
[82] Li, L, Xue, JL. A trace-based binary compilation framework for energy-aware computing. ACM SIGPLAN NOTICES[J]. 2004, 39(7): 95-106, https://www.webofscience.com/wos/woscc/full-record/WOS:000223288600012.
[83] Li, L, Xue, JL. A trace-based binary compilation framework for energy-aware computing. ACM SIGPLAN NOTICES[J]. 2004, 39(7): 95-106, https://www.webofscience.com/wos/woscc/full-record/WOS:000223288600012.

   

已指导学生

周卿  博士研究生  081201-计算机系统结构  

陆杰  博士研究生  081201-计算机系统结构  

王科峰  硕士研究生  085211-计算机技术  

何冬杰  硕士研究生  081201-计算机系统结构  

张馨元  硕士研究生  081201-计算机系统结构  

郑恒杰  硕士研究生  081202-计算机软件与理论  

现指导学生

袁挺  博士研究生  081201-计算机系统结构  

孟海宁  博士研究生  081202-计算机软件与理论  

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

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

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

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

黄永恒  硕士研究生  081202-计算机软件与理论