Formalizing Bottlenecks in Task-Based OpenMP Applications. - Shajulin Benedict; Michael Gerndt; Diana-Mihaela Gudu (PARCO, 2013)