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
Mixed-mode bytecode execution, 2000. ,
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
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
Dynamo, ACM SIGPLAN Notices, vol.35, issue.5, pp.1-12, 2000. ,
DOI : 10.1145/358438.349303
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
YAML 1.2 Specification, 2009. ,
Towards an SSA-based Compiler Back-end: Some Interesting Properties of SSA and Its Extensions, 2010. ,
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
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
A Study of Spilling and Coalescing in Register Allocation as Two Separate Phases, 2009. ,
URL : https://hal.archives-ouvertes.fr/tel-00403504
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
If-Conversion SSA Framework for partially predicated VLIW architectures, ODES 4, pp.5-13, 2006. ,
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
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
The jalapeno dynamic optimizing compiler for java, Proceedings of the ACM 1999 conference on Java Grande, JAVA '99, pp.129-141, 1999. ,
Mojo: A dynamic optimization system, Proceedings of the 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization, pp.81-90, 2000. ,
Briki: an optimizing java compiler. Computer Conference, IEEE International, p.179, 1997. ,
DOI : 10.1109/cmpcon.1997.584697
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
Optimizing alpha executables on windows nt with spike, Digital Technical Journal, vol.9, pp.3-20, 1997. ,
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
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
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
CLI Back-End in GCC, Proceedings of the GCC Developers' Summit, 2007. ,
Compiling Java just in time, IEEE Micro, vol.17, issue.3, pp.36-43, 1997. ,
DOI : 10.1109/40.591653
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
Improvements to the psi-ssa representation, Proceedingsof the 10th international workshop on Software & compilers for embedded systems, SCOPES '07, pp.111-121, 2007. ,
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
Efficient implementation of the smalltalk-80 system, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.297-302, 1984. ,
From machine scheduling to VLIW instruction scheduling, ST Journal of Research, vol.1, issue.2, 2004. ,
Time-IndexedFormulations and a Large Neighborhood Search for the Resource-Constrained Modulo Scheduling Problem, 3rd Multidisciplinary International Scheduling conference: Theory and Applications (MISTA), 2007. ,
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
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
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
Smalltalk-80: the language and its implementation, 1983. ,
The Java Language Specification, 1996. ,
Compiling for the .Net Common Language Runtime, 2001. ,
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
NET: targeting the .NET Common Intermediate Language from Standard C. Software Practice and Experience, pp.265-286, 2004. ,
Nesting of reducible and irreducible loops, ACM Transactions on Programming Languages and Systems, vol.19, issue.4, 1997. ,
DOI : 10.1145/262004.262005
Code cache management schemes for dynamic optimizers. Interaction between Compilers and Computer Architecture, p.102, 2002. ,
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
Adaptive optimization for self: Reconciling high performance with exploratory programming, 1995. ,
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. ,
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework ,
DOI : 10.1007/978-3-642-28652-0_12
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. ,
Jello: a retargetable just-in-time compiler for llvm bytecode, 2002. ,
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
Minir, a minimalistic intermediate representation, Proceedings of the Workshop on Intermediate Representations, pp.5-12, 2011. ,
Dynamo: A staged compiler architecture for dynamic program optimization, 1997. ,
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. ,
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. ,
Pin, ACM SIGPLAN Notices, vol.40, issue.6, pp.190-200, 2005. ,
DOI : 10.1145/1064978.1065034
Unix custom application migration guide, 2006. ,
The java hotspot virtual machine, 2001. ,
Evaluating tight execution time bounds of programs by annotations, IEEE Real-Time Syst. Newsl, vol.5, issue.2-3, pp.81-86, 1989. ,
Linear intermediate language, 2012. URL http://www.mono-project ,
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
The java hotspot performance engine architecture, 2010. ,
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
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
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
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
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. ,
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
Strata: A software dynamic translation infrastructure, IEEE Workshop on Binary Translation, 2001. ,
Virtual machine showdown, ACM Transactions on Architecture and Code Optimization, vol.4, issue.4, pp.1-2, 2008. ,
DOI : 10.1145/1328195.1328197
Identifying loops using dj graphs, ACM Trans. Program. Lang. Syst, vol.18, pp.649-658, 1996. ,
Translating Out of Static Single Assignment Form, SAS '99: Proceedings of the 6th International Symposium on Static Analysis, pp.194-210, 1999. ,
ATOM, ACM SIGPLAN Notices, vol.29, issue.6, pp.196-205, 1994. ,
DOI : 10.1145/773473.178260
A practical system for intermodule code optimization at link-time, 1992. ,
Sequentializing program dependence graphs for irreducible programs, 1993. ,
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
If-Conversion in SSA Form, Euro-Par 2004 Parallel Processing, pp.336-345, 2004. ,
DOI : 10.1007/978-3-540-27866-5_43
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
A Stack-Based Internal Representation for GCC, International Workshop on GCC Research Opportunities, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00781561
Self: The power of simplicity, Conference proceedings on Object-oriented programming systems, languages and applications, OOPSLA '87, pp.227-242, 1987. ,
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
Interpreting programs in static single assignment form, Proceedings of the 2004 workshop on Interpreters, pp.23-30, 2004. ,
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
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. ,
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