Informatique système
Trois thèmes de recherche sont abordés :
- La compilation : Les professeurs Philippe Gabrini et Étienne Gagnon s’intéressent à la compilation de langages de programmation. Philippe Gabrini s’intéresse à la problématique de l’optimisation de code dans la compilation de langages fortement typés. Étienne Gagnon s’intéresse au développement de générateurs de compilateurs en C++. Son cadre d’applications SableCC est largement utilisé par la communauté de chercheurs à travers le monde (voir http://www.sablecc.org)
- Optimisation et portabilité de machines virtuelles. Le professeur Étienne Gagnon travaille sur l'optimisation et la portabilité de machines virtuelles Java. Sa machine virtuelle SableVM (http://www.sablevm.org) est une machine virtuelle efficace au niveau de l'utilisation de mémoire dynamique et de sa vitesse d'interprétation, et sert de cadre de recherche pour développer des techniques innovantes d'exécution du code-octet. Elle est présentement candidate à devenir la machine virtuelle Java principale de la prochaine version de la distribution Debian du système d'exploitation GNU/Linux.
- Programmation parallèle. Le professeur Guy Tremblay s’intéresse à diverses problématiques liées à la programmation parallèle, dont, 1) des architectures efficaces de machines parallèles, 2) la sémantique des langages de programmation parallèles, et 3) la parallélisation de divers algorithmes.