Résumé des publications


Compiler Construction '96

Abstract Compilation: a new implementation paradigm for static analysis.
Dominique Boucher et Marc Feeley.
Proceedings of the 1996 Conference on Compiler Construction, Linkoping, Suède, avril 1996.

Résumé

For large programs, static analysis can be one of the most time-consuming phases of the whole compilation process. We propose a new paradigm for the implementation of static analyses that is inspired by partial evaluation techniques. Our paradigm does not reduce the complexity of these analyses, but it allows an efficient implementation. We illustrate this paradigm by its application to the problem of control flow analysis of functional programs. We show that the analysis can be sped up by a factor of 2 over the usual abstract interpretation method.

[DVI] [PS]

JFLA '96

Un GC temps réel semi-compactant.
Danny Dubé, Marc Feeley et Manuel Serrano.
Actes des Journées Francophones des Langages Applicatifs 1996, Val-Morin, Québec, Canada, 28-30 janvier 1996.

Résumé

Nous avons développé un nouvel algorithme de GC temps réel «dur». Notre algorithme place une limite supérieure sur le temps d'exécution de chaque primitive d'allocation ou d'accès aux objets, selon leur nature. Il s'agit d'un GC compactant. Nous l'avons implanté et avons vérifié qu'une application à allocation intensive tourne seulement environ 3 fois plus lentement avec ce GC qu'avec un GC copiant à deux semi-espaces.

[PS]

Rapport technique 998

Un GC temps réel semi-compactant.
Danny Dubé, Marc Feeley et Manuel Serrano.
Université de Montréal, octobre 1995.

Voir [JFLA96]

Rapport technique 992

Un système pour l'optimisation globale de programmes d'ordre supérieur par compilation abstraite séparée.
Dominique Boucher et Marc Feeley.
Université de Montréal, septembre 1995.

Résumé

Le présent document a été rédigé dans le cadre de la deuxième partie de l'examen prédoctoral de Dominique Boucher sous la direction du professeur Marc Feeley. La proposition consiste en l'architecture d'un compilateur pour un langage fonctionnel d'ordre supérieur capable de réaliser des optimisations intermodules. Le système utilise une technique d'implantation des analyses statiques baptisée «compilation abstraite».

[PS]

RenPar'6

Construction Parallèle de l'Automate LR(0): une Application de Multilisp à la Compilation.
Dominique Boucher et Marc Feeley.
Actes des 6ièmes Rencontres Francophones du Parallélisme, Lyon, France, juin 1994.

Résumé

Nous nous intéressons ici à la parallélisation des générateurs d'analyseurs syntaxiques LALR(1), tels YACC et Bison, et à leur implantation en Multilisp.

[PS]
Liste des publications