Tools for machine-learning-based empirical autotuning and specialization. (November 2013)