Matrix Multiplication Beyond Auto-Tuning: Rewrite-based GPU Code Generation