Program Analysis Techniques for Identifying Concurrency Errors

Today, multi-core/multi-processor hardware has become ubiquitous, which puts us at a fundamental turning point on software development. However, developing concurrent programs is difficult. Concurrency introduces the possibility of errors that do not exist in sequential programs. This book covers the state-of-the-art research achievements on detecting concurrency errors such as deadlock, race condition, and atomicity violation and also presents several aggressive performance optimization techniques for hybrid program analysis.

Autorentext

Qichang Chen received his Ph.D. in Computer Science from University of Wyoming in 2011/08 and received a B.E. in Computer Science and Technology from Fuzhou University in 2006/07. His PhD research focuses on designing and enhancing concurrent software bugs detection approaches via combinations of static and dynamic program analysis techniques.