Auto-tuning a high-level language targeted to GPU codes | IEEE Conference Publication | IEEE Xplore