东北大学计算机科学与工程学院邀请王戟教授作了一场题为“MPI程序的符号执行”的讲座,计算机科学与工程学院设有计算机科学系、计算机工程系、通信与电子工程系3个系,嵌入式系统研究中心、大数据研究中心、东软-东大医学信息计算研究中心3个研究中心。有计算机在职研究生、通信工程、电子信息工程、物联网工程4个本科专业。在职研究生讲座的主要内容是:
MPI是高性能科学计算领域开发并行程序的主流框架。本报告主要介绍MPI程序的符号执行方法,用来分析其若干常见的并发错误。我们的方法能处理带阻塞和非阻塞操作的MPI程序的分析,支持MPI程序的输入与非确定性覆盖,实现的原型工具和实验初步表明了方法的有效性。
王戟,中国人民解放军国防科技大学教授。主要从事高可信软件工程、分布与并行计算程序设计方面的研究。2007年获国家杰出青年科学基金资助,2009年入选教育部长江学者奖励计划特聘教授。