同济大学嵌入式系统与服务计算教育部重点实验室

[ 存为首页 ] [ 加入收藏 ]  

嵌入式系统与服务计算教育部重点实验室

2025年4月4日星期五14:11:39

总访问量:1004678 　  
当前位置:主页- 学术活动 - 正文

上海市计算机学会前沿学术报告会

浏览次数：

【保护视力背景色： 杏仁黄 秋叶褐 胭脂红 芥末绿 天蓝 雪青 灰 银河白(默认色)】 【字色： 红 蓝 褐 绿 黑 紫 粉红 深蓝】 【字体:8 7 6 5 4 3 2 1】

　　时间：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 ，以便提供会务。
　　参会回执
　　
姓名　单位　
电话　Email　

　　联系人：李静老师　电话: 21-64253682　手机号码：13611896108
　　 会场方位，开会地点如图所指
　　
　
　

发布日期：2014-06-23

上一条：上海市IT青年前沿技术报告会（五） 下一条：5月15日上午沈昌祥院士学术报告