東北大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院邀請(qǐng)王戟教授作了一場(chǎng)題為“MPI程序的符號(hào)執(zhí)行”的講座，計(jì)算機(jī)科學(xué)與工程學(xué)院設(shè)有計(jì)算機(jī)科學(xué)系、計(jì)算機(jī)工程系、通信與電子工程系3個(gè)系，嵌入式系統(tǒng)研究中心、大數(shù)據(jù)研究中心、東軟-東大醫(yī)學(xué)信息計(jì)算研究中心3個(gè)研究中心。有計(jì)算機(jī)在職研究生、通信工程、電子信息工程、物聯(lián)網(wǎng)工程4個(gè)本科專業(yè)。在職研究生講座的主要內(nèi)容是：

　　MPI是高性能科學(xué)計(jì)算領(lǐng)域開發(fā)并行程序的主流框架。本報(bào)告主要介紹MPI程序的符號(hào)執(zhí)行方法，用來(lái)分析其若干常見的并發(fā)錯(cuò)誤。我們的方法能處理帶阻塞和非阻塞操作的MPI程序的分析，支持MPI程序的輸入與非確定性覆蓋，實(shí)現(xiàn)的原型工具和實(shí)驗(yàn)初步表明了方法的有效性。

　　王戟，中國(guó)人民解放軍國(guó)防科技大學(xué)教授。主要從事高可信軟件工程、分布與并行計(jì)算程序設(shè)計(jì)方面的研究。2007年獲國(guó)家杰出青年科學(xué)基金資助，2009年入選教育部長(zhǎng)江學(xué)者獎(jiǎng)勵(lì)計(jì)劃特聘教授。