欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 新闻中心 > 通知公告
    新闻中心  
    党建工作
    学会动态
    政策法规
    行业新闻
    图片新闻
    通知公告
    学会通讯
     
    通知公告
    青年学者学术报告Stop the bleeding from the heart
    发布时间:2019-06-17 10:35:40
    计算机软件新技术国家重点实验室 (南京大学)  
    摘 要:
    Despite years of research and practice, modern static analysis techniques still cannot detect oldest and extremely well understood software bugs such as the Heartbleed, one of the most "spectacular" security flaws of the recent decade. The talk will first highlight research challenges that lead to this difficulty, followed by our latest effort, Pinpoint, in changing the conventional static analysis paradigm to address characteristics of "modern" software development. Our fused symbolic static analysis takes a holistic approach to deliver precise results scalable to millions of lines of C/C++ code. I will be also presenting our latest effort in storage-driven static analysis

    报告人简介:
    Charles Zhang is an Associate Professor, the director of the Cybersecurity Lab in the Department of Computer Science and Engineering, HKUST, and a co-founder of Sourcebrella Inc. His major research interest is the use of program analysis techniques to improve software reliability. He has published extensively at premium conferences and journals of programming languages and software engineering. He has served on many organizational and technical committees of international conferences. He was an associate editor of IEEE TSE. His research received many awards including ACM SIGSOFT ICSE distinguished paper award, ACM SIGPLAN PLDI distinguished paper award, ACM SIGSOFT Doctoral Dissertation Award, and IBM PhD fellowships. His research is supported by Research Grant Council, Innovation and Technology Fund, and grants from Microsoft and IBM. Charles obtained his Ph.D, M.Sc, and B.Sc. with honours, all from University of Toronto.

    时间:6月19日(星期三) 16:00
    地点:计算机科学技术楼203室

    上一篇:青年学者学术沙龙《探索感知极限:基于标签阵列的细粒度跨域感知解决方案》
    下一篇:学术报告Formal Proof of Tarjan’s Strongly Connected Components Algorithm in Why3, Coq, and Isabelle​
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

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

    网站备案号:苏ICP备14049275号-1

    您是本站第27332934位来客!

    在线客服

    点击这里给我发消息