基本信息
李炼男博导中国科学院计算技术研究所
电子邮件: lianli@ict.ac.cn
通信地址: 中科院计算所国家重点实验室
邮政编码:
研究领域
我们小组专注于研究通过程序分析技术来帮助提高软件系统的可靠性和安全性。我们的目标是研究创新的程序分析方法并实现切实有效的开发工具,来帮助程序开发人员和测试人员有效解决软件中普遍存在的可靠性和安全性问题。我们开发了静态分析检测系统Wukong。 Wukong实现了一系列深度程序分析方法,能够检测跨函数、跨组件、涉及复杂依赖关系的深度安全漏洞。 Wukong支持主流 C/C++、 Java、 Android等编程语言及开发环境, 并能够从谷歌Chromium、 Bash、 sed、 大数据处理系统Hadoop等常见开源软件中发现数千已有商业工具无法检测到的深层错误和潜在安全漏洞, 其中超过一百个严重错误已经被开源社区确认。我们研究的方法和工具已经发表在领域内顶级会议包括 SOSP、FSE、ASE、CGO上。
招生信息
招生专业081202-计算机软件与理论
招生方向程序分析,软件安全,软件工程
教育背景2003-03--2007-08University 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,PostDoc2001-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)Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis (Distinguished Paper Award),the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19),2019-11,通讯作者(2)CrashTuner: Detecting Crash Recovery Bugs in Cloud Systems via Meta-info Analysis,Symposium on Operating Systems Principles (SOSP'19),2019,通讯作者(3)Understanding Node Change Bugs for Distributed Systems,IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER'19),2019,通讯作者(4)CloudRaid : Hunting Concurrency Bugs in the Cloud via Log-Mining,ACM conference on the Foundations of Software Engineering (FSE'18),2018,通讯作者(5)Understanding and Detecting Evolution-induced Compatibility Issues in Android Apps,The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE'18),2018,通讯作者(6)May-Happen-in-Parallel Analysis with Static Vector Clocks,International Symposium on Code Generation and Optimization (CGO'18),2018,通讯作者(7)Dynamic Symbolic Execution for Polymorphism,26th International Conference on Compiler Construction (CC'17),2017,通讯作者(8)Symbolic Execution with Value-range Analysis for Floating-point Exception Detection,24th Asia-Pacific Software Engineering Conference (APSEC'17),2017,第2作者(9)Memos: A Full Hierarchy Hybrid Memory Management Framework,The 34th International Conference on Computer Design (ICCD'16),2016,第5作者(10)Precise and Scalable Context-sensitive Pointer Analysis via Value Flow Graph,International Symposium on Memory Management (ISMM'13),2013,通讯作者(11)Path-Sensitive Data Flow Analysis Simplified,International Conference on Formal Engineering Methods (ICFEM'13),2013,第4作者(12)Through the Looking Glass: Transitioning Parfait into a Development Tool,IEEE Security & Privacy Journal,2012,第3作者(13)SEED: A Statically-Greedy and Dynamically-Adaptive Approach for Speculative Loop Execution,IEEE Transaction on Computers,2012,第2作者(14)Boosting the Performance of Flow-sensitive Pointer Analysis using Value Flow,ACM SIGSOFT Symposium on the Foundations of Software Engineering,2011,通讯作者(15)Static Deep Error Checking in Large System Applications using Parfait,ACM SIGSOFT Symposium on the Foundations of Software Engineering,2011,第3作者(16)Practical and Effective Symbolic Analysis for Buffer Overow Detection,ACM SIGSOFT Symposium on the Foundations of Software Engineering,2010,第1作者(17)Scratchpad Memory Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs,ACM Transaction on Embedded Computing Systems,2010,第1作者(18)Program Analysis for Bug Detection using Parfait,Workshop on Partial Evaluation and Semantic-Based Program Manipulation,2009,第3作者(19)BegBunch: Benchmarking for C Bug Detection Tools,Workshop on Defects in Large Software Systems,2009,第4作者(20)Compiler-directed Scratchpad Memory Management via Graph Coloring,ACM Transaction on Architecture and Code Optimisation,2009,第1作者(21)Exploiting Speculative TLP in Recursive Pro-grams by Dynamic Thread Prediction,International Conference on Compiler Construction,2009,第2作者(22)Thread-Sensitive Modulo Scheduling for Multi-core Processors,International Conference on Parallel Processing,2008,第3作者(23)Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation,Asia-Pacfic Computer Systems Architecture Conference,2007,第1作者(24)Scratchpad Allocation for Data Aggregates in Superperfect Graphs,ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems,2007,第1作者(25)Trace-based leakage energy optimisations at link time,Journal of Systems Architecture,2007,第1作者(26)Loop recreation for thread-level speculation,International Conference on Parallel and Distributed Systems,2007,第2作者(27)Trace-Based Data Cache Leakage Reduction at Link Time,Asia-Paci_c Computer Systems Architecture Conference,2006,第1作者(28)Memory Coloring: A Compiler Approach for Scratchpad Memory Management,International Conference on Parallel Architecture and Compilation Techniques,2005,第1作者(29)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( 4 ) AI应用自动测试与分析工具, 主持,院级,2018-11--2019-12
参与会议
合作情况
项目协作单位
指导学生已指导学生
周卿博士研究生081201-计算机系统结构
王科峰硕士研究生085211-计算机技术
何冬杰硕士研究生081201-计算机系统结构
张馨元硕士研究生081201-计算机系统结构
现指导学生
陆杰博士研究生081201-计算机系统结构
袁挺博士研究生081201-计算机系统结构
孟海宁博士研究生081202-计算机软件与理论
刘晨博士研究生081202-计算机软件与理论
李广威博士研究生081202-计算机软件与理论
郑恒杰硕士研究生081202-计算机软件与理论
曹立庆硕士研究生081202-计算机软件与理论
李昊峰博士研究生081202-计算机软件与理论
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
中国科学院大学研究生导师教师师资介绍简介-李炼
本站小编 Free考研考试/2020-04-27
相关话题/中国科学院大学 师资
中国科学院大学研究生导师教师师资介绍简介-李琳琳
基本信息李琳琳女硕导纳米科学与技术学院电子邮件:lilinlin@ucas.ac.cn通信地址:北京海淀区学院路30号科大天工大厦C座邮政编码:部门/实验室:纳米与技术学院研究领域招生信息招生专业0703J1-纳米科学与技术071011-生物物理学招生方向纳米生物材料与器件纳米生物学教育背景2005-09--2008-07中国科学院理化技术研究所博士2002-09--2005-07北京师范大学硕士 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-李琳
基本信息李琳女汉族硕导生态环境研究中心电子邮件:联系电话:手机号码:通信地址:邮政编码:研究领域挥发性有机废气和臭味气体生物处理技术的研究及应用挥发性有机物的物化-生化处理技术与设备招生信息招生专业083002-环境工程招生方向教育背景学历--研究生学位--博士出国学习工作工作经历工作简历社会兼职教授课程专利与奖励奖励信息专利成果出版信息发表论文发表著作科研活动科研项目参与 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-李泠
基本信息李泠男博导中国科学院微电子研究所电子邮件:lingli@ime.ac.cn通信地址:中科院微电子所邮政编码:100029部门/实验室:微电子重点实验室研究领域招生信息招生专业080903-微电子学与固体电子学085208-电子与通信工程招生方向新型纳米存储器件与集成技术半导体器件模型教育背景2004-12--2007-12维也纳工业大学博士2001-09--2004-07中国科学院微电子研 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-李灵犀
基本信息李灵犀男资源与环境学院电子邮件:lilingxi@ucas.ac.cn通信地址:邮政编码:部门/实验室:资源与环境学院研究领域招生信息招生专业招生方向教育背景学历学位工作经历工作简历社会兼职教授课程专利与奖励奖励信息专利成果出版信息发表论文发表著作科研活动科研项目参与会议合作情况项目协作单位指导学生 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-李玲娟
基本信息李玲娟女硕导公共政策与管理学院电子邮件:llj791010@ucas.ac.cn通信地址:玉泉路综合楼邮政编码:部门/实验室:公共政策与管理学院研究领域知识产权政策与管理,科技成果转化管理,技术合同招生信息招生专业030101-法学理论125200-公共管理招生方向科技政策,知识产权政策科技成果转化教育背景2006-08--2009-07吉林大学法学博士学历法学博士,科技管理博士后学位?工 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-李玲
基本信息李玲女硕导中国科学院文献情报中心电子邮件:liling@mail.las.ac.cn通信地址:北京北四环西路33号邮政编码:100190研究领域招生信息招生专业120501-图书馆学招生方向学科情报服务信息素质教育用户研究教育背景2005-08--2006-02SetonHallUniversity访问2002-10--2004-09中国科学院研究生院管理学硕士1987-09--1991- ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-李猛
基本信息李猛男中国科学院大学电子邮件:mengli@ucas.ac.cn通信地址:北京市东城区五道营胡同3号院邮政编码:100007研究领域招生信息招生专业030109-国际法学招生方向国际经济法国际私法国际公法教育背景2017-07--2019-07清华大学社会科学学院理论经济学博士后2013-09--2017-04澳门科技大学法学院国际法博士研究生2009-09--2012-07上海大学法学院 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-李梅梅
基本信息李梅梅女硕导中国科学院信息工程研究所电子邮件:limeimei@iie.ac.cn通信地址:海淀区杏石口路80号益园文创基地邮政编码:部门/实验室:第四研究室研究领域招生信息招生专业083900-网络空间安全招生方向信息保密技术,数据分析教育背景2004-09--2007-07北京大学工学硕士2000-09--2004-07中国人民大学工学学士学历学位工作经历工作简历2012-01~现在, ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-李敏
基本信息李敏男硕导中国科学院信息工程研究所电子邮件:limin@iie.ac.cn通信地址:海淀区闵庄路甲89号邮政编码:研究领域招生信息招生专业081002-信号与信息处理081203-计算机应用技术招生方向视频智能分析工作经历社会兼职教授课程专利与奖励出版信息科研活动合作情况项目协作单位 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27