报告题目：MPI程序的符号执行 
报告人：王戟教授
报告时间：2015年12月17日14:00-15:00
报告地点：图书馆四楼学术报告厅
报告人简介：王戟，中国人民解放军国防科技大学教授。主要从事高可信软件工程、分布与并行计算程序设计方面的研究。2007年获国家杰出青年科学基金资助。
报告摘要：MPI是高性能科学计算领域开发并行程序的主流框架。本报告主要介绍MPI程序的符号执行方法，用来分析其若干常见的并发错误。我们的方法能处理带阻塞和非阻塞操作的MPI程序的分析，支持MPI程序的输入与非确定性覆盖，实现的原型工具和实验初步表明了方法的有效性。
报告人：王戟教授
报告时间：2015年12月17日14:00-15:00
报告地点：图书馆四楼学术报告厅
报告人简介：王戟，中国人民解放军国防科技大学教授。主要从事高可信软件工程、分布与并行计算程序设计方面的研究。2007年获国家杰出青年科学基金资助。
报告摘要：MPI是高性能科学计算领域开发并行程序的主流框架。本报告主要介绍MPI程序的符号执行方法，用来分析其若干常见的并发错误。我们的方法能处理带阻塞和非阻塞操作的MPI程序的分析，支持MPI程序的输入与非确定性覆盖，实现的原型工具和实验初步表明了方法的有效性。