On the Equivalence of Two Systems of Affine Recurrence Equations, Proceedings of the 8th International Euro-Par Conference on Parallel Processing , Euro-Par '02, pp.309-313, 2002. ,
DOI : 10.1007/3-540-45706-2_40
URL : https://hal.archives-ouvertes.fr/inria-00072302
Parallelization of the Algebraic Path Problem on Linear SIMD/SPMD Arrays, 2000. ,
On Program Equivalence with Reductions ,
DOI : 10.1007/978-3-319-10936-7_11
URL : https://hal.archives-ouvertes.fr/hal-01096110
Data-centric multi-level blocking, ACM SIGPLAN Notices, vol.32, issue.5, pp.346-357, 1997. ,
DOI : 10.1145/258916.258946
URL : http://www.cs.cornell.edu/Info/Projects/Bernoulli/papers/pldi97.ps