A. Adl-tabatabai, M. Cierniak, V. M. Guei-yuan-lueh, J. M. Parikh, and . Stichnoth, Fast, effective code generation in a just-in-time Java compiler, ACM SIGPLAN Notices, vol.33, issue.5, pp.280-290, 1998.
DOI : 10.1145/277652.277740

O. Agesen and D. Detlefs, Mixed-mode bytecode execution, 2000.

B. Alpern, M. N. Wegman, and F. K. Zadeck, Detecting equality of variables in programs, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.1-11, 1988.
DOI : 10.1145/73560.73561

J. Auslander, M. Philipose, C. Chambers, S. J. Eggers, and B. N. Bershad, Fast, effective dynamic compilation, ACM SIGPLAN Notices, vol.31, issue.5, pp.149-159, 1996.
DOI : 10.1145/249069.231409

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.4382

V. Bala, E. Duesterwald, and S. Banerjia, Dynamo, ACM SIGPLAN Notices, vol.35, issue.5, pp.1-12, 2000.
DOI : 10.1145/358438.349303

C. Ballabriga, H. Cassé, C. Rochange, and P. Sainrat, OTAWA: An Open Toolbox for Adaptive WCET Analysis, SEUS, pp.35-46, 2010.
DOI : 10.1007/978-3-642-16256-5_6

URL : https://hal.archives-ouvertes.fr/hal-01055378

O. Ben-kiki, C. Evans, and B. Ingerson, YAML 1.2 Specification, 2009.

B. Boissinot, Towards an SSA-based Compiler Back-end: Some Interesting Properties of SSA and Its Extensions, 2010.

B. Boissinot, S. Hack, D. Grund, B. Dupont-de-dinechin, and F. Rastello, Fast liveness checking for ssa-form programs, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization , CGO '08, pp.35-44, 2008.
DOI : 10.1145/1356058.1356064

URL : https://hal.archives-ouvertes.fr/inria-00192219

B. Boissinot, A. Darte, F. Rastello, B. Dupont-de-dinechin, and C. Guillon, Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency, 2009 International Symposium on Code Generation and Optimization, pp.114-125, 2009.
DOI : 10.1109/CGO.2009.19

URL : https://hal.archives-ouvertes.fr/inria-00349925

F. Bouchez, A Study of Spilling and Coalescing in Register Allocation as Two Separate Phases, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00403504

P. Briggs, K. D. Cooper, T. J. Harvey, and L. T. Simpson, Practical improvements to the construction and destruction of static single assignment form, 8<859::AID-SPE188>3.0.CO, pp.859-8811097, 1998.
DOI : 10.1002/(SICI)1097-024X(19980710)28:8<859::AID-SPE188>3.0.CO;2-8

C. Bruel, If-Conversion SSA Framework for partially predicated VLIW architectures, ODES 4, pp.5-13, 2006.

D. Bruening, T. Garnett, and S. Amarasinghe, An infrastructure for adaptive dynamic optimization, International Symposium on Code Generation and Optimization, 2003. CGO 2003., pp.265-275, 2003.
DOI : 10.1109/CGO.2003.1191551

B. Buck and J. K. Hollingsworth, An API for Runtime Code Patching, International Journal of High Performance Computing Applications, vol.14, issue.4, pp.317-329, 2000.
DOI : 10.1177/109434200001400404

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.8435

G. Michael, J. Burke, S. Choi, D. Fink, M. Grove et al., The jalapeno dynamic optimizing compiler for java, Proceedings of the ACM 1999 conference on Java Grande, JAVA '99, pp.129-141, 1999.

W. Chen, S. Lerner, R. Chaiken, and D. M. Gillies, Mojo: A dynamic optimization system, Proceedings of the 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization, pp.81-90, 2000.

M. Cierniak and W. Li, Briki: an optimizing java compiler. Computer Conference, IEEE International, p.179, 1997.
DOI : 10.1109/cmpcon.1997.584697

B. Cmelik and D. Keppel, Shade: a fast instruction-set simulator for execution profiling, Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, SIGMETRICS '94, pp.128-137, 1994.
DOI : 10.1145/183019.183032

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6511

R. S. Cohn, D. W. Goodwin, and P. G. Lowney, Optimizing alpha executables on windows nt with spike, Digital Technical Journal, vol.9, pp.3-20, 1997.

C. Consel and F. Noël, A general approach for run-time specialization and its application to C, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.145-156, 1996.
DOI : 10.1145/237721.237767

M. Cornero, R. Costa, R. F. Pascual, A. Ornstein, and E. Rohou, An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems, HiPEAC International Conference, 2008.
DOI : 10.1007/978-3-540-77560-7_10

R. Costa and E. Rohou, Comparing the size of .NET applications with native code, Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, CODES+ISSS '05, pp.99-104, 2005.
DOI : 10.1145/1084834.1084862

R. Costa, A. Ornstein, and E. Rohou, CLI Back-End in GCC, Proceedings of the GCC Developers' Summit, 2007.

T. Cramer, R. Friedman, T. Miller, D. Seberger, R. Wilson et al., Compiling Java just in time, IEEE Micro, vol.17, issue.3, pp.36-43, 1997.
DOI : 10.1109/40.591653

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

. François-de-ferrière, Improvements to the psi-ssa representation, Proceedingsof the 10th international workshop on Software & compilers for embedded systems, SCOPES '07, pp.111-121, 2007.

G. Desoli, N. Mateev, E. Duesterwald, P. Faraboschi, and J. A. Fisher, DELI: a new run-time control point, 35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002. (MICRO-35). Proceedings., pp.257-268, 2002.
DOI : 10.1109/MICRO.2002.1176255

L. , P. Deutsch, and A. M. Schiffman, Efficient implementation of the smalltalk-80 system, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.297-302, 1984.

B. Dupont-de-dinechin, From machine scheduling to VLIW instruction scheduling, ST Journal of Research, vol.1, issue.2, 2004.

B. Dupont-de-dinechin, Time-IndexedFormulations and a Large Neighborhood Search for the Resource-Constrained Modulo Scheduling Problem, 3rd Multidisciplinary International Scheduling conference: Theory and Applications (MISTA), 2007.

B. Dupont-de-dinechin, Inter-block Scoreboard Scheduling in a JIT Compiler for VLIW Processors, Euro-Par, pp.370-381, 2008.
DOI : 10.1007/978-3-540-85451-7_40

B. Dupont-de-dinechin, C. François-de-ferrière, A. Guillon, and . Stoutchinin, Code generator optimizations for the ST120 DSP-MCU core, Proceedings of the international conference on Compilers, architectures, and synthesis for embedded systems , CASES '00, pp.93-102, 2000.
DOI : 10.1145/354880.354894

A. Gal, C. W. Probst, and M. Franz, Structural Encoding of Static Single Assignment Form, Electronic Notes in Theoretical Computer Science, vol.141, issue.2, pp.85-102, 2005.
DOI : 10.1016/j.entcs.2005.02.045

A. Goldberg and D. Robson, Smalltalk-80: the language and its implementation, 1983.

J. Gosling, B. Joy, and G. L. Steele, The Java Language Specification, 1996.

J. Gough, Compiling for the .Net Common Language Runtime, 2001.

B. Grant, M. Philipose, M. Mock, C. Chambers, and S. J. Eggers, An evaluation of staged run-time optimizations in DyC, ACM SIGPLAN Notices, vol.34, issue.5, pp.293-304, 1999.
DOI : 10.1145/301631.301683

R. David, . Hanson, and . Lcc, NET: targeting the .NET Common Intermediate Language from Standard C. Software Practice and Experience, pp.265-286, 2004.

P. Havlak, Nesting of reducible and irreducible loops, ACM Transactions on Programming Languages and Systems, vol.19, issue.4, 1997.
DOI : 10.1145/262004.262005

K. Hazelwood and M. D. Smith, Code cache management schemes for dynamic optimizers. Interaction between Compilers and Computer Architecture, p.102, 2002.

K. Hazelwood and M. D. Smith, Generational cache management of code traces in dynamic optimization systems, 22nd Digital Avionics Systems Conference. Proceedings (Cat. No.03CH37449), p.169, 2003.
DOI : 10.1109/MICRO.2003.1253193

U. Hölzle, Adaptive optimization for self: Reconciling high performance with exploratory programming, 1995.

U. Hölzle and D. Ungar, A third-generation self implementation: reconciling responsiveness with performance, Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, OOPSLA '94, pp.229-243, 1994.

A. Jimborean, L. Mastrangelo, V. Loechner, and P. Clauss, VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework
DOI : 10.1007/978-3-642-28652-0_12

C. Krintz, Improving mobile program performance through the use of a hybrid intermediate representation and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Proceedings of the inaugural conference on the Principles and Practice of programming, pp.175-180, 2002.

C. Lattner, M. Brukman, and B. Gaeke, Jello: a retargetable just-in-time compiler for llvm bytecode, 2002.

M. Laurenzano, M. M. Tikir, L. Carrington, and A. Snavely, PEBIL: Efficient static binary instrumentation for Linux, 2010 IEEE International Symposium on Performance Analysis of Systems & Software (ISPASS), pp.175-183, 2010.
DOI : 10.1109/ISPASS.2010.5452024

J. Le-guen, C. Guillon, and F. Rastello, Minir, a minimalistic intermediate representation, Proceedings of the Workshop on Intermediate Representations, pp.5-12, 2011.

M. Leone and R. K. Dybvig, Dynamo: A staged compiler architecture for dynamic program optimization, 1997.

A. Leung and L. George, Static single assignment form for machine code, Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, PLDI '99, pp.204-214, 1999.

. Yau-tsun-steven, S. Li, and . Malik, Performance analysis of embedded software using implicit path enumeration compilers, & tools for real-time systems, Proceedings of the ACM SIGPLAN 1995 workshop on Languages LCTES '95, pp.88-98, 1995.

C. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser et al., Pin, ACM SIGPLAN Notices, vol.40, issue.6, pp.190-200, 2005.
DOI : 10.1145/1064978.1065034

. Microsoft, Unix custom application migration guide, 2006.

S. Microsystems, The java hotspot virtual machine, 2001.

A. Mok, P. Amerasinghe, M. Chen, and K. Tantisirivat, Evaluating tight execution time bounds of programs by annotations, IEEE Real-Time Syst. Newsl, vol.5, issue.2-3, pp.81-86, 1989.

. Mono, Linear intermediate language, 2012. URL http://www.mono-project

N. Nethercote and J. Seward, Valgrind, ACM SIGPLAN Notices, vol.42, issue.6, pp.89-100, 2007.
DOI : 10.1145/1273442.1250746

URL : http://doi.org/10.1016/s1571-0661(04)81042-9

. Oracle, The java hotspot performance engine architecture, 2010.

F. Petrot, N. Fournel, P. Gerin, M. Gligor, H. Mian-muhammed-hamayun et al., On MPSoC Software Execution at the Transaction Level, IEEE Design & Test of Computers, vol.28, issue.3
DOI : 10.1109/MDT.2010.118

URL : https://hal.archives-ouvertes.fr/hal-00680474

A. Pietrek, F. Bouchez, and B. Dupont-de-dinechin, Tirex: A target-level intermediate representation for compiler exchange, Proceedings of the Workshop on Intermediate Representations, pp.13-20, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00780232

G. Ramalingam, On loops, dominators, and dominance frontiers, ACM Transactions on Programming Languages and Systems, vol.24, issue.5, 2002.
DOI : 10.1145/570886.570887

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.202

F. Rastello, C. François-de-ferrière, and . Guillon, Optimizing translation out of SSA using renaming constraints, International Symposium on Code Generation and Optimization, 2004. CGO 2004., pp.265-278, 2004.
DOI : 10.1109/CGO.2004.1281680

. Bob-ramakrishna-rau, Levels of representation of programs and the architecture of universal host machines, MICRO 11: Proceedings of the 11th annual workshop on Microprogramming, pp.67-79, 1978.

B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Global value numbers and redundant computations, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.12-27, 1988.
DOI : 10.1145/73560.73562

K. Scott and J. Davidson, Strata: A software dynamic translation infrastructure, IEEE Workshop on Binary Translation, 2001.

Y. Shi, K. Casey, M. A. Ertl, and D. Gregg, Virtual machine showdown, ACM Transactions on Architecture and Code Optimization, vol.4, issue.4, pp.1-2, 2008.
DOI : 10.1145/1328195.1328197

C. Vugranam, G. R. Sreedhar, Y. Gao, and . Lee, Identifying loops using dj graphs, ACM Trans. Program. Lang. Syst, vol.18, pp.649-658, 1996.

C. Vugranam, R. Sreedhar, D. M. Dz-ching-ju, V. Gillies, and . Santhanam, Translating Out of Static Single Assignment Form, SAS '99: Proceedings of the 6th International Symposium on Static Analysis, pp.194-210, 1999.

A. Srivastava and A. Eustace, ATOM, ACM SIGPLAN Notices, vol.29, issue.6, pp.196-205, 1994.
DOI : 10.1145/773473.178260

A. Srivastava and D. W. Wall, A practical system for intermodule code optimization at link-time, 1992.

B. Steensgaard, Sequentializing program dependence graphs for irreducible programs, 1993.

A. Stoutchinin and F. De-ferrière, Efficient static single assignment form for predication, Proceedings. 34th ACM/IEEE International Symposium on Microarchitecture. MICRO-34, pp.172-181, 2001.
DOI : 10.1109/MICRO.2001.991116

A. Stoutchinin and G. Gao, If-Conversion in SSA Form, Euro-Par 2004 Parallel Processing, pp.336-345, 2004.
DOI : 10.1007/978-3-540-27866-5_43

T. Suganuma, T. Ogasawara, M. Takeuchi, T. Yasue, M. Kawahito et al., Overview of the IBM Java Just-in-Time Compiler, IBM Systems Journal, vol.39, issue.1, pp.175-193, 2000.
DOI : 10.1147/sj.391.0175

G. Svelto, A. Ornstein, and E. Rohou, A Stack-Based Internal Representation for GCC, International Workshop on GCC Research Opportunities, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00781561

D. Ungar and R. B. Smith, Self: The power of simplicity, Conference proceedings on Object-oriented programming systems, languages and applications, OOPSLA '87, pp.227-242, 1987.

K. Vaswani and Y. N. Srikant, Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler, IEE Proceedings - Software, vol.150, issue.5, pp.296-302, 2003.
DOI : 10.1049/ip-sen:20030986

N. Jeffery-von-ronne, M. Wang, and . Franz, Interpreting programs in static single assignment form, Proceedings of the 2004 workshop on Interpreters, pp.23-30, 2004.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-36, 2008.
DOI : 10.1145/1347375.1347389

A. Wolfram, N. Dalton, J. Von-ronne, and M. Franz, Safetsa: a type safe and referentially secure mobile-code representation based on static single assignment form, Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, PLDI '01, pp.137-147, 2001.

S. Yoo, I. Bacivarov, A. Bouchhima, Y. Paviot, and A. A. Jerraya, Building fast and accurate sw simulation models based on hardware abstraction layer and simulation environment abstraction layer, DATE '03: Proceedings of the conference on Design, Automation and Test in Europe, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00008053