Improving Virtual Machine Performance Using a Cross-run Profile Repository, Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '05, 2005. ,
ABCD: Eliminating Array Bounds Checks on Demand, Programming Language Design and Implementation , PLDI '00, 2000. ,
Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs, Operating Systems Design and Implementation, OSDI'08, 2008. ,
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. ,
Seaside: A Flexible Environment for Building Dynamic Web Applications, IEEE Software, vol.24, issue.5, 2007. ,
DOI : 10.1109/MS.2007.144
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
Toward Harnessing High-level Language Virtual Machines for Further Speeding Up Weak Mutation Testings, International Conference on Software Testing, Verification and Validation ,
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
ECMA (European Association for Standardizing Information and Communication Systems) URL: http://www.ecma-international.org/publications/files/ ecma-st/ECMA-334.pdf, 2001. ,
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
DART: Directed Automated Random Testing, Programming Language Design and Implementation , PLDI '05, 2005. ,
V8 source code repository: https://github ,
Optimizing Dynamically- Typed Object-Oriented Languages With Polymorphic Inline Caches, European Conference on Object-Oriented Programming, ECOOP '91, 1991. ,
Debugging Optimized Code with Dynamic Deoptimization, Programming Language Design and Implementation , PLDI '92, 1992. ,
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
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. ,
Compiler Validation via Equivalence Modulo Inputs, Programming Language Design and Implementation ,
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
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
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
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 ,
Verified Just-in-time Compiler on x86, Principles of Programming Languages ,
The Story of Moose: An Agile Reengineering Environment, European Software Engineering Conference Held Jointly with Foundations of Software Engineering, ESEC/FSE-13, 2005. ,
Translation Validation for an Optimizing Compiler, Programming Language Design and Implementation, PLDI '00, 2000. ,
A Study of Exception Handling and Its Dynamic Optimization in Java, Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '01, 2001. ,
Translation Validation. In Tools and Algorithms for Construction and Analysis of Systems, TACAS '98, 1998. ,
The Java hotspotTM Server Compiler, Symposium on JavaTM Virtual Machine Research and Technology Symposium -Volume 1, JVM'01. USENIX Association, 2001. ,
Surgical Precision JIT Compilers, Programming Language Design and Implementation, PLDI '14, 2014. ,
Equality-Based Translation Validator for LLVM, Computer Aided Verification, 2011. ,
DOI : 10.1007/BFb0054170
Evaluating Valuegraph Translation Validation for LLVM, Programming Language Design and Implementation, PLDI '11, pp.10-1145, 2011. ,
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
Finding and Understanding Bugs in C Compilers, Programming Language Design and Implementation , PLDI '11, pp.10-1145, 2011. ,
Formalizing the llvm intermediate representation for verified program transformations, Principles of Programming Languages ,