PhD thesis (Tanguy Risset)

• R\'esume Les techniques d\'evelopp\'ees par la recherche dans le domaine des architectures systoliques sont tr\`es proches de celle qui servent aujourd'hui \`a la parall\'elisation automatique de programmes simples. Cette th\`ese \'etudie ces techniques \`a travers leurs diff\'erentes applications. On \'etudie d'abord la synth\`ese systolique pure pour des algorithmes de calcul matriciel. Puis on s'int\'eresse \`a l'extension du mod\`ele systolique \`a une architecture plus g\'en\'erale. On travaille ensuite sur les techniques de programmation SIMD, en utilisant les r\'esultats obtenus sur les architectures semi-systoliques. On \'etudie enfin la parall\'elisation automatique de programmes simples du type ``boucles imbriqu\'ees''. On travaille plus particuli\`erement sur les transformations de boucles comme la r\'e\'ecriture de nids de boucle ou le changement de granularit\'e d'un nid de boucles.
• Mots cl\'es: R\'eseau systolique, M\'ethodologies de synth\`ese de r\'eseaux, Parall\'elisation automatique, Nids de boucles, R\'e\'ecriture de boucles.
  
  
• Abstract: The techniques developed by researchers for systolic architectures are very close to the ones that are used nowadays for the automatic parallelization of simple programs. This thesis studies these techniques through their different applications. We first study pure systolic synthesis for matrix computations algorithms. Then we extend the systolic model to a more general architecture model. We work on techniques for SIMD programming, using results obtained on semi-systolic architectures. Then we study automatic parallelization of simple programs namely ``nested loops''. We work more particularly on loop transformations such as loop rewriting or loop tiling.
• Keywords: Systolic arrays, Synthesis methodologies, Automatic parallelization, Nested loops, Rewriting loops.