GEOFFRAY Nicolas

Docteur
Équipe : REGAL
Date de départ : 30/09/2009
https://lip6.fr/Nicolas.Geoffray

Direction de recherche : Bertil FOLLIOT

Co-encadrement : THOMAS Gaël

Fostering Systems Research with Managed Runtimes

Beaucoup de projets de recherches en système se basent sur des machines virtuelles (VM) de type Java parce qu'elles offrent une meilleure sureté d'exécution et une facilité de développement en comparaison avec des environnements natifs. Cependant, développer une VM est une tâche difficile qui demande beaucoup de temps et de connaissances. Bien que les VMs partagent plusieurs points communs, comme un compilateur ou un ramasse miettes, l'opportunité de partager des projets communs n'a pas encore été exploitée dans le développement de VMs. Cette thèse décrit et évalue VMKit, une VM minimale qui exploite ce partage et facilite le développement de VMs de haut-niveau ainsi que l'expérimentation de nouveaux mécanismes de recherche. Nous avons utilisé VMKit pour développer deux VMs, une machine virtuelle Java, et une machine virtuelle .Net, ainsi qu'un nouveau mécanisme système qui offre une meilleure sécurité d'exécution dans le contexte d'architectures orientées service.

Soutenance : 24/09/2009

Membres du jury :

Mme Christine Morin, Directeur de Recherche INRIA/Rennes [Rapporteur]
M. Jean-Bernard Stefani, Directeur de Recherche INRIA/Grenoble [Rapporteur]
Mme Nathalie Drach-Temam, Professeur à l'Université Pierre et Marie Curie
M. Albert Cohen, Directeur de Recherche INRIA/Saclay
M. Gilles Grimaud, Professeur à l'Université des Sciences et Technologies de Lille
M. Laurent Daynès, Senior Staff Engineer at SUN Labs
M. Bertil Folliot, Professeur à l'Université Pierre et Marie Curie
M. Gaël Thomas, Maître de Conférences à l'Université Pierre et Marie Curie

Date de départ : 30/09/2009

Publications 2006-2010

Mentions légales
Carte du site