ParTool: A Feedback-Directed Parallelizer. - Varun Mishra 005; Sanjeev K. Aggarwal (APPT, 2011)