报告题目：MPI程序的符号执行

报告 人：王戟 教授

报告时间：2015年12月17日  14:00-15:00

报告地点：图书馆四楼学术报告厅

报告人简介：

王戟，中国人民解放军国防科技大学教授。主要从事高可信软件工程、分布与并行计算程序设计方面的研究。2007年获国家杰出青年科学基金资助，2009年入选教育部长江学者奖励计划特聘教授。

报告摘要：

MPI是高性能科学计算领域开发并行程序的主流框架。本报告主要介绍MPI程序的符号执行方法，用来分析其若干常见的并发错误。我们的方法能处理带阻塞和非阻塞操作的MPI程序的分析，支持MPI程序的输入与非确定性覆盖，实现的原型工具和实验初步表明了方法的有效性。