Corentin Ferry: Automating the derivation of memory allocations for acceleration of polyhedral programs. (Dérivation automatique d'allocations mémoire pour l'accélération de programmes dans le modèle polyédrique). University of Rennes 1, France 2024