A New Optimization Theory for Structured Stencil-based Applications by Massimiliano Meneghin