Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Ph.D de

Ph.D
Group : Parallel Architecture

Decoupled approaches to Register and Software-controlled memory allocations

Starts on 01/10/2007
Advisor : COHEN, Albert

Funding : AM
Affiliation : Université Paris-Sud
Laboratory : INRIA Saclay

Defended on 15/12/2011, committee :
Directeur de thèse:
Albert Cohen, Directeur de recherche, INRIA

Président :
Yannis MANOUSSAKIS, Professeur, Université Paris-Sud 11

Rapporteurs :
Pierre BOULET, Professeur, LIFL de Lille
Jingling XUE, Professeur, University New South Wales

Examinateurs :
Fabrice RASTELLO, Docteur, ENS de Lyon
Sebastian HACK, Professeur, Saarland University
Florent BOUCHEZ, Docteur, Kalray

Research activities :

Abstract :
Register and local memory allocation are two important optimizations performed during compilation. The former optimization maps the variables of a program to either machine registers or main memory locations. The
latter one maps arrays to either local memory or main memory locations. Recent work in register allocation leverages the complexity and performance benefits of decoupling its allocation and assignment phases.

In this thesis, we exploit the decoupled approach to propose a split register allocator,showing that linear complexity does not imply reduced code quality in just-in-time compilation, and to address the spill minimization problem. Considering the similarities between the register and local memory allocation problems, we study how a decoupled approach could be applied to the local memory allocation problem. We propose
theoretical basis of such an approach, validate it experimentally and reset a bridge between the register and local memory allocation problems.

Ph.D. dissertations & Faculty habilitations
APPRENTISSAGE ET OPTIMISATION SUR LES GRAPHES


ANALYSE DE DONNéES MULTI-MODALES POUR LES PATHOLOGIES COMPLEXES PAR LA CONCEPTION ET L’IMPLéMENTATION DE PROTOCOLES REPRODUCTIBLES ET RéUTILISABLES


DESIGNING INTERACTIVE TOOLS FOR CREATORS AND CREATIVE WORK
Creative work has been at the core of research in Human-Computer Interaction (HCI). I describe the results of a series of studies that look at how creators work, where creators include artists with years of professional practice, as well as learners, or novices and casual makers. My research focuses on three creation activities: drawing, physical modeling, and music composition. For these activities, I examine how artists switch between representations and how these representations evolve throughout their creative process, from early sketches to fine-grained forms or structured vocabularies. I present interactive systems that enrich their workflow (i) by extending their computer tools with physical user interfaces, or (ii) by making physical materials interactive. I also argue that sketch-based representations can allow for user interfaces that are more personal and less rigid. My presentation will reflect on lessons and limitations of this work and discuss challenges for future design-support tools.