Description
Date depot: 9 avril 2020
Titre: Analyses statiques de ressources pour langages de haut niveau
Directeur de thèse:
Emmanuel CHAILLOUX (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Dans cette thèse on cherche tout d’abord à étudier la consommation mémoire d’un noyau fonctionnel/impératif à la ML en présence d’un mécanisme de GC quitte à nécessiter des annotations de types ou de régions dans le programme analysé. Les analyses pour la partie fonctionnelle et la partie impérative peuvent différer mais doivent être composables. Le temps passé dans la gestion mémoire doit alors être intégré dans les calculs de pire temps d’exécution, quitte là aussi à s’autoriser de fixer le déclenchement de celui-ci. Dans le calcul du temps, celui-ci peut être abstrait en l’effectuant dans un environnement d’exécution de machine virtuelle, ce qui permet de simplifier et de factoriser l’analyse.
La présentation complète du sujet se trouve dans le fichier associé :
Doctorant.e: Suzanne Hector