Automatic parallelization of while-loops using speculative execution

Automatic parallelization of imperative sequential programs has focused on nests of for-loops. The most recent of them consist in finding an affine mapping with respect to the loop indices to simultaneously capture the temporal and spatial properties of the parallelized program. Such a mapping is usually called a space-time transformation. An extension of these techniques to while-loops using speculative execution is described. It is shown that space-time transformations are a good framework for summing up previous restructuration techniques of while-loop, such as pipelining. Moreover, it is shown that these transformations can be derived and applied automatically.