Use of Synthetic Benchmarks for Machine-Learning-Based Performance Auto-Tuning | IEEE Conference Publication | IEEE Xplore