M. Arnold, A. Welc, and V. T. Rajan, Improving Virtual Machine Performance Using a Cross-run Profile Repository, Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '05, 2005.

[. Bodík, R. Gupta, and V. Sarkar, ABCD: Eliminating Array Bounds Checks on Demand, Programming Language Design and Implementation , PLDI '00, 2000.

C. Cadar, D. Dunbar, D. Engler, and . Klee, Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs, Operating Systems Design and Implementation, OSDI'08, 2008.

V. Chipounov, V. Kuznetsov, and G. Candea, S2E: A Platform for In-vivo Multi-path Analysis of Software Systems, Architectural Support for Programming Languages and Operating Systems, ASPLOS XVI, pp.10-1145, 2011.

[. Ducasse, A. Lienhard, and L. Renggli, Seaside: A Flexible Environment for Building Dynamic Web Applications, IEEE Software, vol.24, issue.5, 2007.
DOI : 10.1109/MS.2007.144

S. Dissegna, F. Logozzo, and F. Ranzato, Tracing compilation by abstract interpretation, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14
DOI : 10.1145/2535838.2535866

H. S. Vinicius, J. Durelli, M. E. Offutt, and . Delamaro, Toward Harnessing High-level Language Virtual Machines for Further Speeding Up Weak Mutation Testings, International Conference on Software Testing, Verification and Validation

[. 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 , POPL '84, 1984.
DOI : 10.1145/800017.800542

E. Ecma-334, ECMA (European Association for Standardizing Information and Communication Systems) URL: http://www.ecma-international.org/publications/files/ ecma-st/ECMA-334.pdf, 2001.

E. Eide and J. Regehr, Volatiles are miscompiled, and what to do about it, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, 2008.
DOI : 10.1145/1450058.1450093

P. Godefroid, N. Klarlund, and K. Sen, DART: Directed Automated Random Testing, Programming Language Design and Implementation , PLDI '05, 2005.

. Google, V8 source code repository: https://github

U. Hölzle, C. Chambers, and D. Ungar, Optimizing Dynamically- Typed Object-Oriented Languages With Polymorphic Inline Caches, European Conference on Object-Oriented Programming, ECOOP '91, 1991.

U. Hölzle, C. Chambers, and D. Ungar, Debugging Optimized Code with Dynamic Deoptimization, Programming Language Design and Implementation , PLDI '92, 1992.

C. Hawblitzel, S. K. Lahiri, K. Pawar, H. Hashmi, S. Gokbulut et al., Will you still compile me tomorrow? static cross-version compiler validation, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013
DOI : 10.1145/2491411.2491442

D. Ingalls, T. Kaehler, J. Maloney, S. Wallace, and A. Kay, Back to the Future: The Story of Squeak, a Practical Smalltalk Written in Itself, Object-oriented Programming, Systems, Languages, and Applications, OOP- SLA '97, 1997.

M. Vu-le, Z. Afshari, and . Su, Compiler Validation via Equivalence Modulo Inputs, Programming Language Design and Implementation

X. Leroy, Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant, Principles of Programming Languages, POPL '06, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000963

F. Logozzo and H. Venter, RATA: Rapid Atomic Type Analysis by Abstract Interpretation ??? Application to JavaScript Optimization, European Conference on Theory and Practice of Software, International Conference on Compiler Construction, 2010.
DOI : 10.1007/978-3-642-11970-5_5

[. Merz, S. Falke, and C. Sinz, LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR, Verified Software: Theories, Tools, Experiments, pp.978-981
DOI : 10.1007/978-3-540-93900-9_24

L. Martignoni and S. Mccamant, Pongsin Poosankam, Dawn Song, and Petros Maniatis. Path-exploration Lifting: Hi-fi Tests for Lo-fi Emulators, Architectural Support for Programming Languages and Operating Systems

M. O. Myreen, Verified Just-in-time Compiler on x86, Principles of Programming Languages

O. Nierstrasz, S. Ducasse, and T. G??rbag??rba, The Story of Moose: An Agile Reengineering Environment, European Software Engineering Conference Held Jointly with Foundations of Software Engineering, ESEC/FSE-13, 2005.

C. George and . Necula, Translation Validation for an Optimizing Compiler, Programming Language Design and Implementation, PLDI '00, 2000.

T. Ogasawara, H. Komatsu, and T. Nakatani, A Study of Exception Handling and Its Dynamic Optimization in Java, Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '01, 2001.

A. Pnueli, M. Siegel, and E. Singerman, Translation Validation. In Tools and Algorithms for Construction and Analysis of Systems, TACAS '98, 1998.

[. Paleczny, C. Vick, and C. Click, The Java hotspotTM Server Compiler, Symposium on JavaTM Virtual Machine Research and Technology Symposium -Volume 1, JVM'01. USENIX Association, 2001.

A. K. Tiark-rompf, K. J. Sujeeth, H. Brown, H. Lee, K. Chafi et al., Surgical Precision JIT Compilers, Programming Language Design and Implementation, PLDI '14, 2014.

M. Stepp, R. Tate, and S. Lerner, Equality-Based Translation Validator for LLVM, Computer Aided Verification, 2011.
DOI : 10.1007/BFb0054170

J. Tristan, P. Govereau, and G. Morrisett, Evaluating Valuegraph Translation Validation for LLVM, Programming Language Design and Implementation, PLDI '11, pp.10-1145, 2011.

B. L. Titzer, T. Würthinger, D. Simon, and M. Cintra, Improving compiler-runtime separation with XIR, Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, VEE '10
DOI : 10.1145/1735997.1736005

[. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and Understanding Bugs in C Compilers, Programming Language Design and Implementation , PLDI '11, pp.10-1145, 2011.

[. Zhao, S. Nagarakatte, M. M. Martin, and S. Zdancewic, Formalizing the llvm intermediate representation for verified program transformations, Principles of Programming Languages