欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 新闻中心 > 通知公告
    新闻中心  
    学会动态
    政策法规
    行业新闻
    图片新闻
    通知公告
     
    通知公告
    青年学者学术报告《基础程序分析的几件小事》
    发布时间:2019-03-01 12:56:33

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

    摘 要:

         基础程序分析为程序分析的应用(如错误和安全漏洞检测、编译优化、程序调试等)提供关于程序控制流和数据流的一系列基础信息,如编程语言特性的处理,函数调用图的建立,程序变量的指向关系等。因其重要性,基础程序分析技术一直受到学术界(各程序设计语言相关会议和期刊)和工业界(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

    地点:计算机科学技术楼230室



    上一篇:青年学者学术报告《Visible Light Communication in Action》
    下一篇:青年学者学术报告《Precise and Efficient Points-to Analysis》
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

    Copyright (c) 版权所有 江苏省计算机学会         【后台管理】    南京网站建设公司
    秘书处办公室       地址: 江苏省南京市仙林大道163号  邮编:210023   电话/传真:025-89680909   
    秘书处市内联络点   地址: 江苏省南京市汉口路22号     邮编:210093   电话/传真:025-86635622
    电子邮箱:jscs@nju.edu.cn   网址:www.jscs.org.cn    技术支持:南京成旭通信息技术有限公司  

    网站备案号:苏ICP备14049275号

    您是本站第3360418位来客!

    在线客服

    点击这里给我发消息