全校師生：
我校定于2018年6月29日舉辦研究生靈犀學術殿堂——Craig C. Douglas報告會，現將有關事項通知如下：
1.報告會簡介
報告人：Craig C. Douglas教授
時間：2018年6月29日（星期五）上午10：00
地點：長安校區理學院383會議室
主題：Deadlock Detection in MPI Programs Using Static Analysis and Symbolic Execution
內容簡介：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.歡迎各學院師生前來聽報告。報告會期間請關閉手機或將手機調至靜音模式。
黨委研究生工作部
理學院
2018年6月26日
報告人簡介
克雷格·道格拉斯（Craig C. Douglas），美國懷俄明大學能源資源學院數學系特聘教授。道格拉斯教授1982年博士畢業于耶魯大學計算機系，2001年9月至2009年8月，任耶魯大學計算機科學學院高級研究科學家，2008年起任懷俄明大學能源學院數學系杰出教授，曾就職于杜克大學和IBM，是武漢大學的客座教授、上海大學的“自強教授”。2017年獲21世紀杰出工程師，累計科研經費1000多萬美金，在國際知名學術期刊和會議上發表學術論文150多篇，合作專著近30部，發明專利10項，主要的研究興趣是多網格并行計算、動態大數據驅動的應用系統等。
