Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time, CGO’07
http://portal.acm.org/citation.cfm?id=1252537
They made polyhedral models from a sequential program using a method that Paul Feautrier proposed in 1992. Many schedules could come from the polyhedral model, thus they choose only the legal schedules. They compared the performance of the schedules by using a iterative compilation technique.
Louis-Noel Pouchet