长亭百川云 - 文章详情

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

CodeWisdom

62

2024-07-13

谢肖飞

内容简介

题目

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.

报告人

谢肖飞,新加坡管理大学助理教授,曾任新加坡南洋理工大学校长博士后。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)。

时间安排

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

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

相关推荐
关注或联系我们
添加百川云公众号,移动管理云安全产品
咨询热线:
4000-327-707
百川公众号
百川公众号
百川云客服
百川云客服

Copyright ©2024 北京长亭科技有限公司
icon
京ICP备 2024055124号-2