谢肖飞
内容简介
题目
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
