Xavier Redon

Detection of Recurrences in Sequential Programs with Loops

Paul Feautrier, Xavier Redon, 1993, PARLE.

DETECTION OF SCANS

Paul Feautrier, Xavier Redon, P. Feautrier, 2000, Parallel Algorithms Appl..

System prototyping with ALMA

Jean-Yves Brunel, Ivan Augé, Xavier Redon, 1991, RSP.

Scheduling reductions

Paul Feautrier, Xavier Redon, 1994, ICS '94.

Recherche - SPPoC: manipulation automatique de polyèdres pour la compilation

Pierre Boulet, Xavier Redon, P. Boulet, 2001, Tech. Sci. Informatiques.

On the Equivalence of Two Systems of Affine Recurrence Equations (Research Note)

Paul Feautrier, Denis Barthou, Xavier Redon, 2002, Euro-Par.

Communication Pre-evaluation in HPF

Pierre Boulet, Xavier Redon, 1998, Euro-Par.