Tracing for web 3.0: Trace compilation for the next generation web applications

Proceedings of the 2009 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE'09

Volumn , Issue , 2009, Pages 71-80

  Chang, Mason ^a,b   Smith, Edwin ^a   Reitmaier, Rick ^a   Bebenita, Michael ^b   Gal, Andreas ^b,c   Wimmery, Christian ^b   Eichx, Brendan ^c   Franzy, Michael ^b  

^a ADOBE RESEARCH   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c Mozilla Corporation   (United States)

Author keywords

Dynamic compilation; Dynamically typed languages; Forth; JavaScript; Tamarin; Trace trees; Tracing; Type specialization

Indexed keywords

DYNAMIC COMPILATION; DYNAMICALLY TYPED LANGUAGES; FORTH; JAVASCRIPT; TAMARIN; TRACE TREES; TRACING; TYPE SPECIALIZATION;

FORTH (PROGRAMMING LANGUAGE); LINGUISTICS; PROGRAM COMPILERS; WEB BROWSERS; WORLD WIDE WEB;

JAVA PROGRAMMING LANGUAGE;

EID: 67650035151     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1508293.1508304     Document Type: Conference Paper

References (30)

1. Adobe Systems Inc. ActionScript 3 Language Specification, 2006. http://livedocs.adobe.com/specs/actionscript/3/wwhelp/wwhimpl/js/html/wwhelp. htm.
2. Adobe Systems Inc. ActionScript Virtual Machine 2 Overview, 2007. http://www.adobe.com/devnet/actionscript/articles/avm2overview.pdf.
3. Adobe Systems Inc. Adobe Flex SDK, 2008. http://www.adobe.com/products/ flex/flexdownloads/#sdk.
4. O. Agesen, J. Palsberg, and M. I. Schwartzbach. Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. Software Practice and Experience, 25(9):975-995, 1995.
5. A. Aiken and B. Murphy. Static Type Inference in a Dynamically Typed Language. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 279- 290. ACM Press, 1991.
6. V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: A Transparent Dynamic Optimization System. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-12. ACM Press, 2000. (Pubitemid 32394078)
7. J. R. Bell. Threaded Code. Communications of the ACM, 16(6):370-372, 1973.
8. C. Chambers and D. Ungar. Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 146-160. ACM Press, 1989.
9. P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proceedings of the ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 269- 282. ACM Press, 1979. (Pubitemid 9471475)
10. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, 1991.
11. ECMA. Standard ECMA-262: ECMAScript Language Specification, 3rd edition, 1999. http://www.ecma-international.org/publications/standards/Ecma-262.htm.
12. M. Ertl and D. Gregg. The Structure and Performance of Efficient Interpreters. Journal of Instruction-Level Parallelism, 5:1-25, 2003. (Pubitemid 38800031)
13. A. Gal, C. W. Probst, and M. Franz. HotpathVM: An Effective JIT Compiler for Resource-Constrained Devices. In Proceedings of the International Conference on Virtual Execution Environments, pages 144-153. ACM Press, 2006. (Pubitemid 44059968)
14. C. Garrett, J. Dean, D. Grove, and C. Chambers. Measurement and Application of Dynamic Receiver Class Distributions. Technical Report CSE-TR-94-03-05, University of Washington, 1994.
15. J. O. Graver and R. E. Johnson. A Type System for Smalltalk. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 136-150. ACM Press, 1990. (Pubitemid 20681747)
16. U. Hölzle, C. Chambers, and D. Ungar. Optimizing Dynamically- Typed Object-Oriented Languages With Polymorphic Inline Caches. In Proceedings of the European Conference on Object-Oriented Programming, pages 21-38. LNCS 512, Springer-Verlag, 1991.
17. U. Hölzle and D. Ungar. Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 326-336. ACM Press, 1994.
18. JavaScript:TraceMonkey - Mozilla Wiki, 2008. https://wiki.mozilla.org/ JavaScript:TraceMonkey.
19. TM Virtual Machine Specification. Addison-Wesley, 2nd edition, 1999.
20. Microsoft Developer Network. JScript (Windows Script Technologies), 2008. http://msdn.microsoft.com/en-us/library/hbxc2t98(VS.85).aspx.
21. R. Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17(3):348-375, 1978. (Pubitemid 9432714)
22. Mozilla Foundation. SpiderMonkey (JavaScript-C) Engine, 2008. http://www.mozilla.org/js/spidermonkey/.
23. Mozilla Foundation. Tamarin Central, 2008. http://hg.mozilla.org/tamarin- central/.
24. F. Nielson. Program Transformations in a Denotational Setting. ACM Transactions on Programming Languages and Systems, 7(3):359-379, 1985.
25. M. Pall. LuaJIT Roadmap, 2008. http://lua-users.org/lists/lua-l/2008-02/ msg00051.html.
26. Y. Shi, K. Casey, M. A. Ertl, and D. Gregg. Virtual Machine Showdown: Stack Versus Registers. ACM Transactions on Architecture and Code Optimization, 4(4):1-36, 2008.
27. SunSpider JavaScript Benchmark, 2008. http://webkit.org/perf/sunspider-0. 9/sunspider.html.
28. Surfin' Safari - Blog Archive - Announcing SquirrelFish, 2008. http://webkit.org/blog/189/announcing-squirrelfish/.
29. S. Thatte. Type inference with partial types. In Proceedings of the International Colloquium on Automata, Languages and Programming, pages 615-629. LNCS 317, Springer-Verlag, 1988.
30. M. Zaleski, A. D. Brown, and K. Stoodley. YETI: A graduallY Extensible Trace Interpreter. In Proceedings of the International Conference on Virtual Execution Environments, pages 83-93. ACM Press, 2007. (Pubitemid 47620966)