AlaMVic

Les machines virtuelles (VM) sont omniprésentes dans tous les ordinateurs portables, serveurs et téléphones. Les VMs industrielles (par exemple de Microsoft, Oracle, Google…) utilisent des techniques d'optimisation très élaborées, souvent réalisées à la main par des experts, difficile à reproduire, à reproduire et à modifier. Ces techniques d'optimisation visent principalement à améliorer la vitesse, et sont incompatibles avec des contraintes telles que l'espace et l'efficacité énergétique, importantes dans les domaines de IoT ou de la robotique.

Dans AlaMVic, nous proposons d'aborder la construction des VMs en utilisant une approche générative holistique, contrairement aux approches existantes qui se concentrent sur la vitesse et les composants uniques des VM tels que comme le compilateur JIT. Nous explorons comment transformer des optimisations artisanales en heuristiques de génération, comment elles sont appliquées et combinées dans des domaines tels que l'IdO et la robotique, et les nouvelles des méthodes et des mesures pour évaluer les VM dans ces domaines.