Fast and precise hybrid type inference for JavaScript

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2012, Pages 239-249

  Hackett, Brian ^a   Guo, Shu Yu ^a  

^a Mozilla ^*  (United States)

Author keywords

Hybrid; Just in time compilation; Type inference

Indexed keywords

FIREFOX; HYBRID; HYBRID TYPE; JAVASCRIPT; JUST-IN-TIME COMPILATION; JUST-IN-TIME COMPILER; MACHINE CODES; MOZILLA; PERFORMANCE GAIN; POINTS-TO ANALYSIS; RUN-TIME TYPES; TYPE INFERENCES; TYPE INFORMATION;

ALGORITHMS; BENCHMARKING; HIGH LEVEL LANGUAGES; PROGRAM COMPILERS; STATIC ANALYSIS;

INFERENCE ENGINES;

EID: 84863462039     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2254064.2254094     Document Type: Conference Paper

References (27)

1. O. Agesen. Constraint-Based Type Inference and Parametric Polymorphism, 1994.
2. O. Agesen and U. Hölzle. Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages. In OOPSLA, pages 91-107, 1995.
3. O. Agesen, J. Palsberg, and M. I. Schwartzbach. Type Inference of Self: Analysis of Objects with Dynamic and Multiple Inheritance. In ECOOP, pages 247-267, 1993.
4. A. Aiken and B. R. Murphy. Static Type Inference in a Dynamically Typed Language. In POPL, pages 279-290, 1991.
5. A. Aiken and E. L. Wimmers. Type Inclusion Constraints and Type Inference. In FPCA, pages 31-41, 1993.
6. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, 1994.
7. C. Anderson, S. Drossopoulou, and P. Giannini. Towards Type Inference for Java Script. In ECOOP, pages 428-452, 2005. (Pubitemid 41435992)
8. R. Cartwright and M. Fagan. Soft Typing. In PLDI, pages 278-292, 1991.
9. C. Chambers. The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages. PhD thesis, Department of Computer Science, Stanford, 1992.
10. C. Chambers and D. Ungar. Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language. In PLDI, 1989.
11. M. Chang, E. W. Smith, R. Reitmaier, M. Bebenita, A. Gal, C. Wimmer, B. Eich, and M. Franz. Tracing for Web 3.0: Trace Compilation for the Next Generation Web Applications. In VEE, pages 71-80, 2009.
12. A. Gal, B. Eich, M. Shaver, D. Anderson, D. Mandelin, M. R. Haghighat, B. Kaplan, G. Hoare, B. Zbarsky, J. Orendorff, J. Ruderman, E. W. Smith, R. Reitmaier, M. Bebenita, M. Chang, and M. Franz. Trace-based just-in-time type specialization for dynamic languages. In PLDI, pages 465-478, 2009.
13. N. Glew and J. Palsberg. Type-Safe Method Inlining. In ECOOP, pages 525-544, 2002.
14. U. Hölzle, C. Chambers, and D. Ungar. Optimizing Dynamically- Typed Object-Oriented Languages With Polymorphic Inline Caches. In ECOOP, pages 21-38, 1991.
15. S. H. Jensen, A. Møller, and P. Thiemann. Type Analysis for Java- Script. In SAS, pages 238-255, 2009.
16. F. Logozzo and H. Venter. RATA: Rapid Atomic Type Analysis by Abstract Interpretation. Application to JavaScript Optimization. In CC, pages 66-83, 2010.
17. N. Oxhøj, J. Palsberg, and M. I. Schwartzbach. Making Type Inference Practical. In ECOOP, 1992.
18. J. Palsberg and M. I. Schwartzbach. Object-Oriented Type Inference. In OOPSLA, 1991.
19. A. Rastogi, A. Chaudhuri, and B. Homer. The Ins and Outs of Gradual Type Inference. In POPL, pages 481-494, 2012.
20. G. Richards, S. Lebresne, B. Burg, and J. Vitek. An analysis of the dynamic behavior of JavaScript programs. In PLDI, pages 1-12, 2010.
21. G. Richards, C. Hammer, B. Burg, and J. Vitek. The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. In ECOOP, pages 52-78, 2011.
22. J. G. Siek and W. Taha. Gradual Typing for Objects. In ECOOP, 2007.
23. M. Sridharan and S. J. Fink. The Complexity of Andersen's Analysis in Practice. In SAS, pages 205-221, 2009.
24. P. Thiemann. Towards a Type System for Analyzing JavaScript Programs. In ESOP, pages 408-422, 2005. (Pubitemid 41274072)
25. D. Ungar and R. B. Smith. Self: The Power of Simplicity. In OOPSLA, pages 227-242, 1987.
26. D. Ungar, R. B. Smith, C. Chambers, and U. Hölzle. Object, Message, and Performance: How they Coexist in Self. Computer, 25:53-64, October 1992. ISSN 0018-9162.
27. A. K. Wright and R. Cartwright. A Practical Soft Type System for Scheme. ACM Trans. Program. Lang. Syst., 19(1):87-152, 1997. (Pubitemid 127447783)