Profiling optimized code: a profiling system for an HPF compiler | IEEE Conference Publication | IEEE Xplore