A Framework for Automated Performance Tuning and Code Verification on GPU Computing Platforms