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.
Mots clefs : sémantique des langages de haut niveau, analyses statiques de programmes, systèmes de types, calcul de consommation de mémoire, gestionnaire automatique de mémoire
Ce projet de recherche doctoral fait l’objet d’une demande de financement auprès de « Ecole Doctorale d‘Informatique, Télécommunication et d‘Electronique (EDITE) », le candidat retenu par son porteur devra donc participer au concours correspondant (prévoir un dossier et une audition) en vue d’obtenir le financement effectif.
LIP6 » Jobs
Thesis : Analyses statiques de ressources pour langages de haut niveau