报告人：陈哲 教授 南京航空航天大学
报告时间：2025年3月5日（周三）下午14:00
报告地点：东南大学九龙湖校区计算机楼513报告厅
报告摘要：C程序的内存错误可能导致程序崩溃和安全缺陷，因此使用动态分析工具在运行时自动发现内存错误是工业界面临的一个痛点，然而传统的内存安全性动态分析工具具有三个缺点：低有效性、优化敏感和平台依赖。为了克服以上问题，我们提出了一种基于智能状态的监控算法和一种源代码级别的插桩框架，并依此实现了一款新的动态分析工具，实验表明，该工具比AddressSanitizer、Valgrind等著名工具能找到更多的内存错误，在性能和可用性方面也非常有竞争力。这项长达五年的持续研究已经在ISSTA’19、ISSTA’21、ICSE’22、IEEE TSE、ACM TOSEM等顶级会议和期刊发表了5篇论文，并获得一次ACM SIGSOFT杰出论文奖。
报告人简介：陈哲，南京航空航天大学计算机科学与技术学院教授。博士毕业于法国国立应用科学院，获计算机系统专业博士学位。主要研究兴趣包括形式化方法、软件验证、程序分析等。主持国家自然科学基金3项（青年基金、民航联合基金、面上项目）、参与3项，主持教育部留学回国人员科研启动基金、中国博士后科学基金面上项目和特别资助等。作为第一作者在TSE、TOSEM、SPE、COMPJ、IPL、FUIN等著名国际学术期刊和OOPSLA、ICSE、ISSTA、TACAS、SPIN、COMPSAC、ICFEM、TASE等著名国际会议共发表了60余篇研究论文，并获得2019年ACM SIGSOFT杰出论文奖，申请发明专利12项，已授权9项。担任了中国计算机学会形式化方法专委会执行委员，持续为工业界提高软件系统的安全性和可靠性提供咨询与合作。
