全校師生：
我校定于2018年6月29日舉辦研究生靈犀學(xué)術(shù)殿堂——Craig C. Douglas報(bào)告會(huì)，現(xiàn)將有關(guān)事項(xiàng)通知如下：
1.報(bào)告會(huì)簡(jiǎn)介
報(bào)告人：Craig C. Douglas教授
時(shí)間：2018年6月29日（星期五）上午10：00
地點(diǎn)：長(zhǎng)安校區(qū)理學(xué)院383會(huì)議室
主題：Deadlock Detection in MPI Programs Using Static Analysis and Symbolic Execution
內(nèi)容簡(jiǎn)介：A common problem while developing parallel codes is determining whether or not a deadlock condition can exist. Ideally we do not want to have to run a large number of examples to find deadlock conditions through trial and error procedures. In this paper we describe a methodology using both static analysis and symbolic execution of a MPI program to make a determination when it is possible. We note that using static analysis by itself is insufficient for realistic cases. Symbolic execution has the possibility of creating a nearly infinite number of logic branches to investigate. We provide a mechanism to limit the number of branches to something computable. We also provide examples and pointers to software necessary to test MPI programs.
2.歡迎各學(xué)院師生前來(lái)聽(tīng)報(bào)告。報(bào)告會(huì)期間請(qǐng)關(guān)閉手機(jī)或?qū)⑹謾C(jī)調(diào)至靜音模式。
黨委研究生工作部
理學(xué)院
2018年6月26日
報(bào)告人簡(jiǎn)介
克雷格·道格拉斯（Craig C. Douglas），美國(guó)懷俄明大學(xué)能源資源學(xué)院數(shù)學(xué)系特聘教授。道格拉斯教授1982年博士畢業(yè)于耶魯大學(xué)計(jì)算機(jī)系，2001年9月至2009年8月，任耶魯大學(xué)計(jì)算機(jī)科學(xué)學(xué)院高級(jí)研究科學(xué)家，2008年起任懷俄明大學(xué)能源學(xué)院數(shù)學(xué)系杰出教授，曾就職于杜克大學(xué)和IBM，是武漢大學(xué)的客座教授、上海大學(xué)的“自強(qiáng)教授”。2017年獲21世紀(jì)杰出工程師，累計(jì)科研經(jīng)費(fèi)1000多萬(wàn)美金，在國(guó)際知名學(xué)術(shù)期刊和會(huì)議上發(fā)表學(xué)術(shù)論文150多篇，合作專(zhuān)著近30部，發(fā)明專(zhuān)利10項(xiàng)，主要的研究興趣是多網(wǎng)格并行計(jì)算、動(dòng)態(tài)大數(shù)據(jù)驅(qū)動(dòng)的應(yīng)用系統(tǒng)等。
