Qichang Chen

Broschiertes Buch

Program Analysis Techniques for Identifying Concurrency Errors

An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors

Beschreibung

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.

Autor

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.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 164
• Erscheinungstermin: 22. Oktober 2014
• Englisch
• Abmessung: 220mm x 150mm x 10mm
• Gewicht: 262g
• ISBN-13: 9783659625329
• ISBN-10: 3659625329
• Artikelnr.: 41773613