A Polyhedral Modeling Based Source-to-Source Code Optimization Framework for GPGPU | IEEE Conference Publication | IEEE Xplore