活动预告丨CodeWisdom软件供应链系列学术报告:第9期(谢肖飞 新加坡管理大学)...

564445664cdd2b7a6cfc7d95dac5f903.png

谢肖飞

c06dc783d9d64dfda31268165cf6d2a7.png

内容简介

06efa5a3e3255a43cf4ff1b225592010.png

题目

Non-Termination Detection in Real-World Programs

摘要

Ensuring the correctness and safety of programs, especially in preventing issues like denial-of-service attacks, necessitates the crucial task of detecting non-termination. Despite years of research in termination analysis, the methods currently available still face significant limitations. Existing tools and techniques for termination checking have been developed, showing effectiveness in established benchmarks. Yet, their effectiveness in uncovering non-termination bugs in real-world programs remains untested. In this talk, I will first present an empirical study on characterizing non-termination bugs in real-world open-source software projects. We create a new benchmark set, designed to assess the effectiveness of existing tools in detecting real-world non-termination issues. Furthermore, I will introduce a practical and effective method specifically tailored to discover non-termination bugs in real-world programs.

报告人

12ca71543a90e45e1dcb829cbf0dc774.png

谢肖飞,新加坡管理大学助理教授,曾任新加坡南洋理工大学校长博士后。2018年于天津大学获得博士学位,并获得CCF 优秀博士论文奖以及ACM 天津区优秀博士论文奖。目前致力于程序分析、软件测试以及人工智能安全测试等研究领域。其研究成果已经发表于人工智能、软件工程以及安全领域等顶级会议与期刊,例如FSE, ICSE, TSE, TOSEM, ICLR, ICML, NeurIPS, ICCV, CCS, TDSC and TIFS,其中四次获得ACM SIGSOFT 杰出论文奖 (FSE’16, ASE’19, ISSTA’22,  ASE'23)。

999e69425231d75b16a4dcf8a8ef1eab.png

时间安排

b8b616607de2191c0c4328bb8dc09ca9.png

时间:2024/05/31(周五) 10:00-11:30

地点:复旦大学江湾校区交叉二号学科楼A2003

237fe6d9d9bf8f3cb4f04b57840fc732.png

04d75a4534cd9db6e93889e8626b34c2.png

40afad4dbf53661bd00d55d29d3aa2f1.png

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值