欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 新闻中心 > 通知公告
    新闻中心  
    学会动态
    政策法规
    行业新闻
    图片新闻
    通知公告
     
    通知公告
    青年学者学术报告《Precise and Efficient Points-to Analysis》
    发布时间:2019-03-01 13:53:38

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

    摘 要:

         Points-to analysis addresses a fundamental problem in program analysis: determining statically which objects a variable or reference can point to. As a fundamental technique, many real-world  clients  such  as  bug  detection, security analysis, program understanding, compiler optimization and program verification,  depend on the results of points-to analysis. A long-standing problem in points-to analysis is the balance between precision and efficiency. In this talk, I will present our two work, Bean and Mahjong, which aim to improve both ends of the balance respectively. The two related papers have been published at SAS'16 and PLDI'17. We extensively evaluate Bean and Mahjong against the state-of-the-art points-to analysis for Java with large real-world Java applications and library.  The results demonstrate that both Bean and Mahjong have met their goals of design. Bean has succeeded in making points-to analysis more precise at only small increases in analysis cost. Mahjong enables points-to analysis to run significantly faster while achieving nearly the same precision for type-dependent clients.  We have released Bean and Mahjong as open-source tools.

    报告人简介:

       ian Tan is a postdoc at Department of Computer Science, Aarhus University. He received his Ph.D. degree in Computer Science from University of New South Wales, Australia in 2017. He is particularly interested in developing program analysis techniques and tools for solving the problems in the fields of programming language and software engineering. Tian has published papers on top computer science venues such as PLDI, OOPSLA, TOSEM and ESEC/FSE. He recently serves as the committee member of PLDI'19 SRC, OOPSLA'19 AEC, and the reviewer for TOPLAS and ISSTA.

    报告人:谭添Aarhus University

    时间:月5日  11:00-12:00

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


    上一篇:青年学者学术报告《基础程序分析的几件小事》
    下一篇:学术报告<大数据社会安全工程计算与行为分析技术>
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

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

    网站备案号:苏ICP备14049275号

    您是本站第3360106位来客!

    在线客服

    点击这里给我发消息