La recherche en compilation et en outils de parallélisation doit s'appuyer sur des validations grandeur nature. Une interface pour l'écriture de transformations de boucles est actuellement en cours de développement en collaboration avec Mike O'Boyle de l'université de Manchester [8] [11] [13]. Cette interface (appelée Mars) propose, entre autre, une représentation des boucles sous forme d'espace d'itération et des accès aux tableaux sous forme affine. De nombreuses transformations de boucles peuvent ainsi s'écrire de manière simple. Cette interface est construite sur le système Sage++.
A l'aide de cet outil, des techniques d'optimisation globale de la localité et de minimisation des synchronisations pour architectures parallèles à espace d'adressage global ont été expérimentées.