Exploiting BSP Abstractions for Compiler Based Optimizations of GPU Applications on multi-GPU Systems