Profile-guided static typing for dynamic scripting languages

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2009, Pages 283-299

  Furr, Michael ^a   An, Jong Hoon ^a   Foster, Jeffrey S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Profile guided anlaysis; RIL; Ruby; Scripting languages

Indexed keywords

BENCHMARK SUITES; DYNAMIC FEATURES; DYNAMIC LANGUAGES; REFACTORINGS; RIL; RUNTIMES; SCRIPTING LANGUAGES; STATIC TYPING; TYPE ERRORS; TYPE INFERENCES; TYPE SAFETY;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; CORUNDUM; DYNAMIC ANALYSIS; EMBEDDED SYSTEMS; INSTRUMENTS; LINGUISTICS; QUERY LANGUAGES; RUBY;

OBJECT ORIENTED PROGRAMMING;

EID: 72249091260     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1640089.1640110     Document Type: Conference Paper

References (37)

1. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM TOPLAS, 13(2):237-268, 1991.
2. Davide Ancona, Massimo Ancona, Antonio Cuni, and Nicholas Matsakis. RPython: Reconciling Dynamically and Statically Typed OO Languages. In DLS, 2007.
3. Christopher Anderson, Paola Giannini, and Sophia Drossopoulou. Towards Type Inference for JavaScript. In ECOOP, pages 428-452, 2005.
4. John Aycock. Aggressive Type Inference. In Proceedings of the 8th International Python Conference, pages 11-20, 2000.
5. M.D. Bond, N. Nethercote, S.W. Kent, S.Z. Guyer, and K.S. McKinley. Tracking bad apples: reporting the origin of null and undefined value errors. In Proceedings of the 2007 OOPSLA conference, pages 405-422. ACM New York, NY, USA, 2007.
6. Braux and J. Noyé. Towards partially evaluating reflection in Java. In PEPM, pages 2-11, 2000.
7. Brett Cannon. Localized Type Inference of Atomic Types in Python. Master's thesis, California Polytechnic State University, San Luis Obispo, 2005.
8. Robert Cartwright and Mike Fagan. Soft typing. In PLDI, pages 278-292, 1991.
9. Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Precise Analysis of String Expressions. In SAS, pages 1-18, 2003.
10. Ravi Chugh, Jeff Meister, Ranjit Jhala, and Sorin Lerner. Staged information flow for javascript. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, Dublin, Ireland, June 2009. To appear.
11. David Flanagan and Yukihiro Matsumoto. The Ruby Programming Language. O'Reilly Media, Inc, 2008.
12. Michael Furr, Jong-hoon (David) An, and Jeffrey S. Foster. Profile-guided static typing for dynamic scripting languages. Technical Report CS-TR-4935, University of Maryland, 2009a. http: //www.cs.umd.edu/projects/PL/druby.
13. Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks. The Ruby Intermediate Language. In Dynamic Language Symposium, Orlando, Florida, October 2009b.
14. Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks. Static Type Inference for Ruby. In OOPS Track, SAC, 2009c.
15. Carl Gould, Zhendong Su, and Premkumar Devanbu. Static Checking of Dynamically Generated Queries in Database Applications. In ICSE, pages 645-654, 2004.
16. Justin O. Graver and Ralph E. Johnson. A type system for Smalltalk. In PLDI, pages 136-150, 1990.
17. J. Gronski, K. Knowles, A. Tomb, S.N. Freund, and C. Flanagan. Sage: Hybrid Checking for Flexible Specifications. Scheme and Functional Programming, 2006.
18. Lars T Hansen. Evolutionary Programming and Gradual Typing in ECMAScript 4 (Tutorial), November 2007.
19. Herman, A. Tomb, and C. Flanagan. Space-efficient gradual typing. Trends in Functional Programming, 2007.
20. Hirzel, A. Diwan, and M. Hind. Pointer Analysis in the Presence of Dynamic Class Loading. In ECOOP, 2004.
21. Kristian Kristensen. Ecstatic - Type Inference for Ruby Using the Cartesian Product Algorithm. Master's thesis, Aalborg University, 2007.
22. Benjamin Livshits, John Whaley, and Monica S. Lam. Reflection Analysis for Java. In ASPLS, 2005.
23. Pechtchanski and V. Sarkar. Dynamic optimistic interprocedural analysis: a framework and an application. In OOPSLA, pages 195-210, 2001.
24. Michael Salib. Starkiller: A Static Type Inferencer and Compiler for Python. Master's thesis, MIT, 2004.
25. Jason Sawin and Atanas Rountev. Improved static resolution of dynamic class loading in Java. In IEEE International Working Conference on Source Code Analysis and Manipulation, pages 143-154, 2007.
26. Jeremy Siek and Walid Taha. Gradual typing for objects. In ECOOP, pages 2-27, 2007.
27. Jeremy G. Siek and Walid Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, September 2006.
28. V.C. Sreedhar, M. Burke, and J.D. Choi. A framework for interprocedural optimization in the presence of dynamic class loading. In PLDI, pages 196-207, 2000.
29. Strongtalk. Strongtalk, 2008. http://www.strongtalk.org/.
30. Satish Thatte. Quasi-static typing. In POPL, pages 367-381, 1990.
31. Peter Thiemann. Towards partial evaluation of full scheme. In Reflection 96, pages 95-106, 1996.
32. Peter Thiemann. Towards a type system for analyzing javascript programs. In ESOP, pages 408-422, 2005.
33. Dave Thomas, Chad Fowler, and Andy Hunt. Programming Ruby: The Pragmatic Programmers' Guide. Pragmatic Bookshelf, 2nd edition, 2004.
34. F. Tip, C. Laffra, P.F. Sweeney, and D. Streeter. Practical experience with an application extractor for Java. In OOPSLA, pages 292-305, 1999.
35. Sam Tobin-Hochstadt and Matthias Felleisen. The Design and Implementation of Typed Scheme. In POPL, pages 395-406, 2008.
36. David A. Wheeler. Sloccount, 2008. http://www.dwheeler.com/sloccount/.
37. Roel Wuyts. RoelTyper, May 2007. http://decomp.ulb.ac.be/roelwuyts/ smalltalk/roeltyper/.