时间：2014年6月27日（星期五）上午10:00开始
地点：华东理工大学实验15楼207室（信息学院会议室）
主题：A Methodology for Predicting Atomicity Violations in Multi-thread Programs
报告人: 何旭东教授 美国佛罗里达国际大学
报告人简介：
Xudong He received the B.S. and M.S. degrees in computer science from Nanjing University, China, in 1982 and 1984, respectively. He received the Ph.D. degree in computer science from Virginia Tech in 1989. He joined the faculty of the School of Computing and Information Science (SCIS) at Florida International University (FIU) in 2000. Dr. He is a professor of SCIS and the Director of the Center for Advanced Distributed System Engineering. Prior to joining FIU, he has been an Associate Professor at the Department of Computer Science at North Dakota State University since 1989. His research interests include formal methods, especially Petri nets, and software testing techniques. He has published over 130 papers in the above areas. He was ranked as the top 15 scholars in systems and software engineering worldwide between 1999 and 2003 by Journal of Systems and Software. His research has been funded by the NSF, ONR, NASA, and DOE. He has been the major advisor of 12 Ph.D. and 36 M.S. graduates. Dr. He is a Senior Member of the Association for Computing Machinery and a Senior Member of the IEEE Computer Society.
讲座摘要：
Multi-thread programs are prone to bugs due to concurrency. Concurrency bugs are hard to find and reproduce because of the large number of interleavings. Most non-deadlock concurrency bugs are atomicity violation bugs due to unprotected accesses of shared variables by multiple threads. This talk presents methodology and its supporting tool McPatom for predicting atomicity violation bugs involving a pair of threads accessing a shared variable using model checking. McPatom uses model checking to ensure the completeness in predicting any possible atomicity violation captured in the abstract thread model extracted from an interleaved execution. McPatom can predict atomicity violations involving more than three accesses and multiple subroutines, and supports all synchronization primitives. McPatom has been applied to predict several known bugs in real world systems including one that evades several other existing tools. A post analysis method is provided to improve the accuracy of the prediction results.
主办：上海市计算机学会
承办：上海市计算机学会软件工程专委会、华东理工大学计算机科学与工程系
报名方式：如参会，请于6月26日前回复下附回执至
ljing@ecust.edu.cn ，以便提供会务。
参会回执
联系人：李静老师 电话: 21-64253682 手机号码：13611896108
会场方位，开会地点如图所指
