YU CHAN SU

Parallel loop transformation methods for race detection during an execution of parallel programs