Dynamic Race Detection for C++11

Abstract