U. Banerjee, Dependence analysis for supercomputing, Kluwer Academic, vol.60, 1988.
DOI : 10.1007/978-1-4684-6894-6

D. Bernstein and M. Rodeh, Global instruction scheduling for superscalar machines, Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pp.241-255, 1991.

G. Böckle, Exploitation of Fine-Grain Parallelism, LNCS, vol.942, 1995.
DOI : 10.1007/BFb0017665

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadek, An efficient method of computing static single assignment form, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.25-35, 1989.
DOI : 10.1145/75277.75280

S. Davidson, D. Landskov, B. D. Shriver, and P. W. Mallet, Some Experiments in Local Microcode Compaction for Horizontal Machines, IEEE Transactions on Computers, vol.30, issue.7, pp.460-477, 1981.
DOI : 10.1109/TC.1981.1675826

S. Debray, R. Muth, and M. Weippert, Alias analysis of executable code, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.12-24, 1998.
DOI : 10.1145/268946.268948

J. R. Ellis, Bulldog: A Compiler for VLIW Architectures, 1985.

J. A. Fisher, Trace Scheduling: A Technique for Global Microcode Compaction, IEEE Transactions on Computers, vol.30, issue.7, pp.478-490, 1981.
DOI : 10.1109/TC.1981.1675827

J. A. Fisher, Walk-time techniques: catalyst for architectural change, Computer, vol.30, issue.9, pp.40-42, 1997.
DOI : 10.1109/2.612246

J. B. Kam, J. D. Ullman12-]-w, B. G. Landi, and . Ryder, Monotone data flow analysis frameworks, Proceedings of the Eighteenth Annual ACM Symposium on the Principles of Programming Languages, pp.305-317, 1977.
DOI : 10.1007/BF00290339

J. R. Larus and P. N. Hilfinger, Detecting conflicts between structure accesses, ACM SIGPLAN Notices, vol.23, issue.7, pp.21-34, 1988.

O. Donnell and J. C. Ruttenberg, The multiflow trace scheduling compiler, The Journal of Supercomputing, vol.7, pp.51-142, 1993.

V. Maslov, Lazy array data-flow dependence analysis, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.311-325, 1994.
DOI : 10.1145/174675.177911

S. Moon and K. Ebcio?-glu, A study on the number of memory ports in multiple instruction issue machines, Proceedings of the 26th Annual International Symposium on Microarchitecture, pp.49-58, 1993.
DOI : 10.1109/MICRO.1993.282741

A. Nicolau, Percolation scheduling: A parallel compilation technique, 1985.

W. Pugh, The Omega test: a fast and practical integer programming algorithm for dependence analysis, Proceedings of the 1991 ACM/IEEE conference on Supercomputing , Supercomputing '91, pp.102-114, 1992.
DOI : 10.1145/125826.125848

E. Rohou, F. Bodin, and A. Seznec, SALTO: System for assembly-language transformation and optimization, Proc. 6th Workshop on Compilers for Parallel Computers, pp.261-272, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073718

E. Schnarr and J. R. Larus, Instruction scheduling and executable editing, Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29, pp.288-297, 1996.
DOI : 10.1109/MICRO.1996.566469

R. L. Sites, A. Chernoff, M. B. Kirk, M. P. Marks, and S. G. Robinson, Binary translation, Digital Technical Jornal, pp.137-152, 1992.
DOI : 10.1145/151220.151227

A. Srivastava and D. W. Wall, A practical system for intermodule code optimization at link-time, Journal of Programming Languages, vol.1, issue.1, pp.1-18, 1992.

R. M. Stallman, Using and porting the GNU CC, 1989.

M. D. Tiemann, The GNU instruction scheduler, 1989.

D. Wall, Systems for Late Code Modification, Code Generation ? Concepts, Tools, Techniques, Workshops in Computing, pp.275-293, 1992.
DOI : 10.1007/978-1-4471-3501-2_15

D. Wall, Limits to instruction level parallelism. 4th Architectural Support for Programming Languages and Operating Systems, pp.176-188, 1991.

H. Zima and B. Chapman, Supercompilers for parallel and vector computers

R. , U. De-recherche, and I. Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique

I. Unité-de-recherche and . Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.38330

I. Unité-de-recherche, . Rocquencourt, . Domaine-de-voluceau, and . Rocquencourt, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004.