Hardware Counted Profile-Guided Optimization. - Baptiste Wicht; Roberto A. Vitillo; Dehao Chen; David Levinthal (CoRR, 2014)