The Case for Binary Rewriting at Runtime for Efficient Implementation of High-Level Programming Models in HPC | IEEE Conference Publication | IEEE Xplore