RECHERCHE
Mostaphah
Aboulhamid et Eduard Cerny
poursuivent des recherches de pointe dans les domaines des méthodologies
de design et des outils CAO (conception assistée par ordinateur)
pour des systèmes et des circuits microélectroniques très
fiables ainsi que leurs applications au design d'architectures et de calculs
hautement performants.
Les travaux de Marc
Feeley exécutés au sein du laboratoire de traitement
parallèle se trouvent à l'intersection des domaines des langages
de programmation et le calcul parallèle. Nous cherchons à
concevoir des langages et systèmes de programmation et des méthodes
d'implantation qui permettent de mieux exploiter les ordinateurs, c'est-à-dire
de faciliter la programmation d'applications complexes et augmenter leur
performance. Nous nous intéressons aux langages de programmation
avancés et particulièrement aux langages fonctionnels, orientés
objet et parallèles. Nos efforts récents ont porté
sur les langages Scheme, Multilisp, Dylan, et C parallèle. Nous
avons conçu de nouvelles méthodes d'implantation efficaces
pour ces langages, tout particulièrement au niveau des continuations
de première classe, de la gestion automatique de la mémoire
en temps-réel, du balancement de charge par vol de tâches,
de l'interprétation et compilation portable, de l'analyse de programmes
par compilation abstraite, et du débuggage de programmes parallèles.
Nous nous intéressons aussi aux modèles de programmation
parallèle pour applications symboliques et à leur évaluation
sur ordinateur massivement parallèle. Nous développons deux
langages de programmation pour applications symboliques (Multilisp et Par
SubC) et avons collaboré avec le Centre de recherche informatique
de Montréal (CRIM) à la conception d'un langage parallèle
portable basé sur C visant les applications numériques (HPC).
Un autre résultat
important du laboratoire est le logiciel Gambit. Ce logiciel est
un système de programmation complet pour le langage Scheme incluant
un compilateur optimisant, un interprète et un débugger.
Ce système est maintenant utilisé dans plus de 50 universités
à travers le monde pour l'enseignement de l'informatique et la recherche
et dans quelques produits commerciaux. |