Précédent : Références Remonter : Avant-projet A3

Abstract

The A3 group addresses program analysis, with its applications to code optimisation on instruction-level parallel processors and to software engineering. In code analysis, a new method for static elimination of dynamic tests has been designed; we have improved the complexity of the problem of escape analysis; we have developed a software based of this result, that performs efficient static garbage collection and decrease computation times of some CAML programs up to 20%. In the domain of code optimisation, emphasis has been put on the design of a high level software pipeliner, the design and experiments of our exact method of software pipelining under register constraints, as well as the improvement of the performance of our heuristics for loop unwinding and register allocation. A new study that combines register constraints and loop scheduling has been started.