Description
Date depot: 1 janvier 1900
Titre: Language independent integrated vectorization
Directeur de thèse:
Albert COHEN (Google)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Sous la pression des applications de calcul numérique, les microprocesseurs sont de plus en plus souvent munis d'instructions spécialisées pour le calcul vectoriel. Ces jeux d'instructions vectorielles sont à la base des performances multimedia des téléphone mobiles et des tablettes, tout comme des supercalculateurs dédiés à la simulation numérique. Pourtant, les outils et langages de programmation les plus courants ne conduisent qu'à une utilisation marginale de ces ressources de calcul.
Cette thèse ambitionne d'élargir fortement le spectre de programmes pouvant bénéficier d'une exécution sur des jeux d'instructions vectorielles. Cet objectif passera par la conception d'algorithmes de compilation juste-à-temps pour la spécialisation et l'adaptation du code généré au contexte d'exécution. Nous travaillerons simultanément sur les méthodes de compilation polyédrique et sur la sémantique du langage de programmation.
Doctorant.e: Grosser Tobias