东北大学计算机科学与工程学院邀请王戟教授作了一场题为“MPI程序的符号执行”的讲座,计算机科学与工程学院设有计算机科学系、计算机工程系、通信与电子工程系3个系,嵌入式系统研究中心、大数据研究中心、东软-东大医学信息计算研究中心3个研究中心。有计算机在职研究生、通信工程、电子信息工程、物联网工程4个本科专业。在职研究生讲座的主要内容是:
MPI是高性能科学计算领域开发并行程序的主流框架。本报告主要介绍MPI程序的符号执行方法,用来分析其若干常见的并发错误。我们的方法能处理带阻塞和非阻塞操作的MPI程序的分析,支持MPI程序的输入与非确定性覆盖,实现的原型工具和实验初步表明了方法的有效性。
王戟,中国人民解放军国防科技大学教授。主要从事高可信软件工程、分布与并行计算程序设计方面的研究。2007年获国家杰出青年科学基金资助,2009年入选教育部长江学者奖励计划特聘教授。
在职研究生报名条件是:
1、在教学、科研、专门技术、管理等方面做出成绩。2、获得学士学位后工作三年以上(含三年)或者虽无学士学位但已获硕士或博士学位者,对已获得的学士、硕士或博士学位为国(境)外的,其获得的国(境)外学位需经教育部留学服务中心认证。3、申请学科与所学专业相同或相近。完成学业后可以获得结业证,满足条件的考生可以参加全国同等学习能力人员申请硕士学位统一考试,每年5月进行全国联考,3月在学位网报名,考生在规定年限内通过考试达到及格线即可,然后进入论文写作和答辩流程,通过以后获取硕士学位。