计算机软件新技术国家重点实验室   

摘 要：

     基础程序分析为程序分析的应用（如错误和安全漏洞检测、编译优化、程序调试等）提供关于程序控制流和数据流的一系列基础信息，如编程语言特性的处理，函数调用图的建立，程序变量的指向关系等。因其重要性，基础程序分析技术一直受到学术界（各程序设计语言相关会议和期刊）和工业界（Google、Oracle、IBM、Microsoft等企业的软件分析团队）的青睐。在这次报告中，报告人将根据其科研经历，为大家讲述他在“基础程序分析”江湖漂泊的几件小事：开篇，初来乍到之语言动态特性分析；中篇，阴差阳错之程序切片分析；末篇，华山论剑之指针/指向/别名分析。

报告人简介:

     李樾，2016年博士毕业于澳大利亚新南威尔士大学，之后先后在新南威尔士大学和丹麦奥胡斯大学从事博士后研究工作。研究方向为程序设计语言与程序分析，以第一作者（或共同一作）身份在程序设计语言相关会议和期刊，如ECOOP、OOPSLA、PLDI、SAS、FSE、TOSEM等发表文章。曾获ECOOP 2016 杰出论文奖，CGO 2013最佳论文奖和ISSRE 2017最佳论文提名。曾担任POPL、OOPSLA、ECOOP、TOPLAS等会议和期刊审稿人。

报告人：李 樾Aarhus University

时间：3月5日 10:00-11:00