English
导航菜单
讲座 | 基于抽象解释的数值程序分析
日期：2021-06-19 阅读：1268
讲座地点：软件大楼专家楼1319会议室
讲座时间：6月21日（周一）9:30-10:30
主讲人：陈立前，国防科技大学
主讲人介绍：
陈立前，国防科技大学计算机学院副教授，主要从事程序分析与验证、抽象解释相关研究。在ACM/IEEE Transactions、POPL、FSE等期刊会议上发表论文多篇，获ACM SIGSOFT杰出论文奖（FSE 2020），出版教材译著3部。研究成果获省部级科技进步一等奖1项、二等奖1项。部分成果已在航天、国防等领域重大工程中应用。
讲座摘要：
计算机程序中的许多性质和常见错误（如除零错、数组越界、算术溢出、计算精度缺陷等），与程序中数值型变量及其上的数值运算密切相关。针对数值代码开展自动分析，检测数值相关错误，验证相关性质，对于提高计算机软件（尤其是数值计算密集型安全攸关软件）的可信性具有重要意义。本报告将围绕程序中数值相关性质与错误，介绍在基于抽象解释的数值程序分析方面取得的进展，包括数值抽象域的设计与实现、数值不变式的自动生成、分析应用领域实际程序所遇到的问题和解决方法等。
地址：上海市东川路800号学院概况
邮编：200240 邮箱：seiee@sjtu.edu.cn
Copyright © 2022上海交通大学电子信息与电气工程学院 版权所有
欢迎关注上海诚聘英才公众号