AlphaZ: A System for Design Space Exploration in the Polyhedral Model. - Tomofumi Yuki; Gautam Gupta; DaeGon Kim; Tanveer Pathan; Sanjay V. Rajopadhye (LCPC, 2012)