Sujet de thèse en Informatique --- rentrée 2010
Etude et évaluations des implémentations des langages à objets

Vers une machine virtuelle en héritage multiple

Encadrants : Roland Ducournau

Lieu : LIRMM/INFO/DOC

Ce sujet est mis au concours de l'Ecole Doctorale I2S pour l'affectation d'une allocation de recherche.

Cette thèse prend la suite des thèses de Jean Privat (2002-06, Prof. à l'UQAM) et Floréal Morandat (2006-10) autour du langage  PRM et de son compilateur.
L'objectif de la thèse est de poursuivre l'évaluation rigoureuse des techniques d'implémentations. Plusieurs pistes sont envisageables, qui combinent
  1. de nouveaux (ie pas encore évalués) traits de langage (généricité, boxing/tagging, ...),
  2. de nouvelles implémentations,
  3. de nouveaux schémas de compilation,
  4. et enfin de nouveaux programmes de test.
L'objectif final pourrait être la conception d'une machine virtuelle aussi efficace (ou pas plus inefficace) que Java, mais en héritage multiple. 
Des tests sur des machines virtuelles Java sont aussi envisageables.

Le candidat aura de bonnes connaissances en programmation par objets, en compilation et si possible en algorithmique.


  1. R. Ducournau.
    Implementing statically typed object-oriented programming languages.
    ACM Computing Surveys, to appear in 2009, (pdf file)
  2. R. Ducournau.
    Perfect hashing as an almost perfect subtype test.
    ACM Transactions on Programming Languages and Systems,  30(6), 2008 (56p) (pdf file, doi)

  3. R. Ducournau, F. Morandat, J. Privat.
    Empirical assessment of object-oriented implementations with multiple inheritance and static typing.
    In Proc. OOPSLA'09. ACM Press, 2009. (to appear)

  4. R. Ducournau, F. Morandat
    More Results on Perfect Hashing for Implementing Object-Oriented Languages
    Rapport de Recherche 09-001, 30 pages, LIRMM, Montpellier, 2009 (pdf file)

Voir aussi le site du langage PRM.