全校师生：

我校定于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项，主要的研究兴趣是多网格并行计算、动态大数据驱动的应用系统等。