Simplifying Reductions: Polyhedral model to simplify nested loops(2008)
citeseerx.ist.psu.edu