Towards analysis and refinement of auto-tuning spaces | Synapse