You are about to access our book library "Program Analysis Techniques for Identifying Concurrency Errors: An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors full version" .