US7076776B2 - Parallel Loop Transformation Methods for Race Detection During an Execution of Parallel Programs