Jan Hoffmann, Zhong Shao: Automatic Static Cost Analysis for Parallel Programs. ESOP 2015: 132-157