免费送彩金白菜网_跳槽彩金优惠活动的网站

您现在所在的位置:首页  国际交流  学术交流与合作  学术报告
王戟教授报告会—MPI程序的符号执行

20151214004713981001


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

报告 人:王戟 教授

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

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

 

报告人简介:

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

 

报告摘要:

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