Benchmarking optimization algorithms for auto-tuning GPU kernels