Automatic program specialization for Java

ACM Transactions on Programming Languages and Systems

Volumn 25, Issue 4, 2003, Pages 452-499

  Schultz, Ulrik P ^a   Lawall, Julia L ^b   Consel, Charles ^c,d  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

^c INRIA   (France)

^d Ecole Nationale Superieure d'Electronique Informatique et Radiocommunications de Bordeaux   (France)

Author keywords

Automatic program specialization; Java; Object oriented languages; Optimization; Partial evaluation

Indexed keywords

AUTOMATIC PROGRAM SPECIALIZATION; COMPILER OPTIMIZATION; JAVA; PARTIAL EVALUATION;

ABSTRACTING; OPTIMIZATION; PROGRAM COMPILERS;

JAVA PROGRAMMING LANGUAGE;

EID: 3042806118     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/778559.778561     Document Type: Article

References (63)

1. AFFELDT, R., MASUHARA, H., SUMII, E., AND YONEZAWA, A. 2002. Supporting objects in run-time byte-code specialization. ACM Press, Aizu, Japan. In the Proceedings of Asia-PEPM 2002.
2. AGESEN, O., PALSBERG, J., AND SCHWARTZBACH, M. 1993. Type inference of SELF. In Proceedings of the European Conference on Object-oriented Programming (ECOOP'93). Lecture Notes in Computer Science, vol. 707. Springer-Verlag, Kaiserslautern, Germany, 247-267.
3. AIGNER, G. AND HOLZLE, U. 1996. Eliminating virtual calls in C++ programs. In Proceedings of ECOOP '96. Springer-Verlag, Linz, Austria.
4. ALPERN, B., ATTANASIO, C., COCCHI, A., LIEBER, D., SMITH, S., Nco, T., BARTON, J., HUMJIEL, S., SIIEPERD, J., AND MERGEN, M. 1999. Implementing Jalapeno in Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99). ACM SIGPLAN Notices, vol. 34(10), L. Meissner, Ed. ACM Press, Denver, CO, 314-324.
5. ANDERSEN, L. 1994. Program analysis and specialization for the C programming language. Ph.D. thesis, Computer Science Department, University of Copenhagen. DIKU Technical Report 94/19.
6. BAIER, R., GLÜCK, R., AND ZÖCHLING, R. 1994. Partial evaluation of numerical programs in Fortran. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). Technical Report 94/9, University of Melbourne, Australia, Orlando, FL, USA, 119-132.
7. BLOUNT, B. AND CHATTERJEE, S. 1999. An evaluation of Java for numerical computing. Scientific Programming 7(2), 97-110. Special Issue: High Performance Java Compilation and Runtime Issues.
8. BONDORF, A. 1990. Self-applicable partial evaluation. Ph.D. thesis, DIKU, University of Copenhagen, Denmark. Revised version: DIKU Report 90/17.
9. BRAUX, M. AND NOYÉ, J. 2000. Towards partially evaluating reflection in Java. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'OO). ACM Press, Boston, MA, USA.
10. BUDIMLIĆ, Z. AND KENNEDY, K. 1999. Prospects for scientific computing in polymorphic, object-oriented style. In Proceedings of the Ninth SLAM Conference of Parallel Processing in Scientific Computing. SIAM, San Antonio.
11. BUDIMLIC, Z. AND KENNEDY, K. 2001. JaMake: a Java compiler environment. In Third International Conference on Large Scale Scientific Computing. Number 2179 in Lecture Notes in Computer Science. Springer-Verlag, Sozopol, Bulgaria, 201-209.
12. BUDIMLIC, Z., KENNEDY, K., AND PIPER, J. 1999. The cost of being object-oriented: A preliminary study. Scientific Computing 7, 2, 87-95.
13. CHAMBERS, C. AND UNGAR, D. 1989. Customization: Optimizing compiler technology for SELF, A dynamically-typed object-oriented programming language. In Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation (PLDI '89), B. Knobe, Ed. ACM Press, Portland, OR, USA, 146-160.
14. COXSEL, C. 1993. A tour of Schism: a partial evaluation system for higher-order applicative languages. In Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93). ACM Press, Copenhagen, Denmark, 66-77.
15. CONSEL, C., HORNOF, L., NOÉL, F., NOYÉ, J., AND VOLANSCHI, E. 1996. Auniform approach for compile-time and run-time specialization. In Partial Evaluation, International Seminar, Dagstuhl Castle, O. Danvy, R. Glück, and P. Thiemann, Eds. Number 1110 in Lecture Notes in Computer Science. Springer-Verlag, Dagstuhl Castle, Germany, 54-72.
16. COOPER, K., HALL, M., AND KENNEDY, K 1992. Procedure cloning. In Proceedings of the 1992 International Conference on Computer Languages. IEEE Computer Society Press, Oakland, CA, USA, 96-105.
17. DEAN, J., CHAMBERS, C., AND GROVE, D. 1995. Selective specialization for object-oriented languages. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation (PLDI'95). ACM SIGPLAN Notices, 30(6), La Jolla, CA USA, 93-102.
18. DEAN, J., GROVE, D., AND CHAMBERS, C. 1995a. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'95), W. G. Olthoff, Ed. Lecture Notes in Computer Science, vol. 952. Springer-Verlag, Aarhus, Denmark, 77-101.
19. DETLEFS, D. AND AGESEN, O. 1999. Mining of virtual methods. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'99). Lecture Notes in Computer Science, vol. 1628, R. Guerraoui, Ed. Springer-Verlag, Lisbon, Portugal, 258-278.
20. DOLBY, J. AND CHIEN, A. 1998. An evaluation of automatic object inline allocation techniques. In OOPSLA'97 Conference Proceedings. ACM SIGPLAN Notices. ACM Press, ACM Press, Vancouver, Canada, 1-20.
21. DOLBY, J. AND CHIEN, A. 2000. An automatic object inlining optimizations and its evaluation. In Proceedings of the 1999 ACM SIGPLAN'00 Conference on Programming Language Design and Implementation (PLDI'00), M. Lam, Ed. Vancouver, British Columbia, Canada, 345-357.
22. FUJINAMI, N. 1998. Determination of dynamic method dispatches using run-time code generation. In Proceedings of the Second International Workshop on Types in Compilation (TIC'98), X. Leroy and A. Ohori, Eds. Lecture Notes in Computer Science, vol. 1473. Springer-Verlag, Kyoto, Japan, 253-271.
23. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1994. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley.
24. GROVE, D., DEAN, J., GARRETT, C., AND CHAMBERS, C. 1995. Profile-guided receiver class prediction. In OOPSLA'95 Conference Proceedings. ACM Press, Austin, TX, USA, 108-123.
25. HÖLZLE, U. AND UNGAR, D. 1994. Optimizing dynamically-dispatched calls with run-time type feedback. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation (PLDI'94). ACM SIGPLAN Notices, 29(6), New York, NY, USA, 326-336.
26. HORNOF, L. AND NOYÉ, J. 2000. Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity. Theoretical Computer Science (TCS) 248, 1-2, 3-27.
27. HORNOF, L., NOYÉ, J., AND CONSEL, C. 1997. Effective specialization of realistic programs via use sensitivity. In Proceedings of the Fourth International Symposium on Static Analysis (SAS'97), P. Van Hentenryck, Ed. Lecture Notes in Computer Science, vol. 1302. Springer-Verlag, Paris, France, 293-314.
28. IBM. 2001. IBM JDK 1.3.1. http://www.ibm.com/java/jdk.
29. IBM. 2002. Jikes RVM 2.1.0. http://wvw.ibm.com/developerworks/oss/jikesrvni/.
30. IRWIN, J., LOINGTIER, J., GILBERT, J., KICZALES, G., LAMPING, J., MENDHEKAR, A., AND SHPEISMAN, T. 1997. Aspect-oriented programming of sparse matrix code. In Proceedings of the First International Conference on Scientific Computing in Object-Oriented Parallel Environments (ISCOPE'97), Y. Ishikawa, R. Oldehoeft, J. Reynders, and M. Tholsburn, Eds. Lecture Notes in Computer Science, vol. 1343. Springer-Verlag, Marina del Rey, CA, USA, 249-256.
31. ISHIZAH, K., KAWAHITO, M., YASUE, T., KOMATSU, H., AND NOKATANI, T. 2000. A study of devirtualization techniques for a Java Just-In-Time compiler. In OOPSLA'00 Conference Proceedings. ACM SIGPLAN Notices, M. Rosson and D. Lea, Eds. ACM Press, Minneapolis, MN, 294-310.
32. JAVA GRANDE FORUM. 1999. The Java Grande Forum benchmark suite. http://www.javagrande.org.
33. JONES, N., GOMARD, C., AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice-Hall.
34. KICZALES, G., HILSDALE, E., HUGUNIN, J., KERSTEN, M., PALM, J., AND GRISWOLD, W. 2001. An overview of Aspect J. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '01). Lecture Notes in Computer Science, vol. 2072, J. Knudsen, Ed. Budapest, Hungary, 327-353.
35. KICZALES, G., LAMPING, J., MENDIIEKAR, A., MAEDA, C., LOPES, C., LOINGTIER, J., AND IRWIN, J. 1997. Aspect-oriented programming. In Proceedings of the European Conference on Object-oriented Programming (ECOOP'97), M. Aksit and S. Matsuoka, Eds. Lecture Notes in Computer Science, vol. 1241. Springer, Jyväskylä, Finland, 220-242.
36. LAWALL, J. AND MULLER, G. 2000. Efficient incremental checkpointing of Java programs. In Proceedings of the International Conference on Dependable Systems and Networks. IEEE, New York, NY, USA, 61-70.
37. LLOYD, J. AND SHEPHERDSON, J. 1991. Partial evaluation in logic programming. J. Logic Prog. 11, 217-242.
38. LUJÁN, M. 1999. Object oriented linear algebra. M.S. thesis, University of Manchester.
39. LUJÁN, M., FREEMAN, T., AND GURD, J. 2000. OOLALA: an object oriented analysis and design of numerical linear algebra. In OOPSLA'00 Conference Proceedings. ACM SIGPLAN Notices, M. Rosson and D. Lea, Eds. ACM Press, Minneapolis, MN, 229-252.
40. LUJÁN, M., GURD, J., AND FREEMAN, T. 2001. OOLALA: Transformations for implementations of matrix operations at high abstraction levels. In Proceedings 4th Workshop on Parallel Object-Oriented Scientific Computing - POOSC'01. ACM Press, Tampa Bay, Florida, USA.
41. MARQUARD, M. AND STEENSGAARD, B. 1992. Partial evaluation of an object-oriented imperative language. M.S. thesis, University of Copenhagen.
42. MASUHARA, H. AND YONEZAWA, A. 2002. A portable approach to dynamic optimization in run-time specialization. New Generation Computing 20, 1, 101-124.
43. MULLER, G. AND SCHULTZ, U. 1999. Harissa: A hybrid approach to Java execution. IEEE Soft. 16, 2 (Mar.), 44-51.
44. OGAWA, H., SHIMURA, K., MATSUOKA, S., MARUYAMA, F., SOHDA, Y., AND KIMURA, Y. 2000. Open JIT: an open-ended, reflective JIT compiler framework for Java. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'00). Lecture Notes in Computer Science, vol. 1850. Springer-Verlag, Cannes, France, 362-387.
45. PLEVYAK, J. AND CHIEN, A. 1994. Precise concrete type inference for object-oriented languages. In OOPSLA'94 Conference Proceedings. SIGPLAN Notices, vol. 29:10. ACM Press, ACM Press, Portland, OR, USA, 324-324.
46. RAJ, R., TEMPERO, E., LEVY, H., BLACK, A., HUTCHINSON, N., AND JUL, E. 1991. Emerald: A general-purpose programming language. Software-Practice and Experience 21, 1 (Jan.), 91-118.
47. SCHULTZ, U. 2000. Object-oriented software engineering using partial evaluation. Ph.D. thesis, University of Rennes I, Rennes, France.
48. SCHULTZ, U. 2001. Partial evaluation for class-based object-oriented languages. In Symposium on Programs as Data Objects II. Lecture Notes in Computer Science, vol. 2053, O. Danvy and A. Filinski, Eds. Aarhus, Denmark, 173-197.
49. SCHULTZ, U., LAWALL, J., CONSEL, C., AND MULLER, G. 1999. Towards automatic specialization of Java programs. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'99). Lecture Notes in Computer Science, vol. 1628, R. Guerraoui, Ed. Springer-Verlag, Lisbon, Portugal, 367-390.
50. SCHULTZ, U., LAWALL, J., CONSEL, C., AND MULLER, G. 2000. Specialization patterns. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000). IEEE Computer Society Press, Grenoble, France, 197-206.
51. SPEC. 1998. SPEC JVM 98 benchmarks. Standard Performance Evaluation Corporation, http://www.specbench.org/osg/jvm98/.
52. SREEDHAR, V., BURKE, M., AND CHOI, J. 2000. A framework for interprocedural optimization in the presence of dynamic class loading. In Proceedings of the 1999 ACM SIGPLAN'00 Conference on Programming Language Design and Implementation (PLDI'00), M. Lam, Ed. Vancouver, British Columbia, Canada, 196-207.
53. SULLIVAN, G. 2001. Dynamic partial evaluation. In Symposium on Programs as Data Objects II. Lecture Notes in Computer Science, vol. 2053, O. Danvy and A. Filinski, Eds. Aarhus, Denmark, 238-256.
54. SUN MICROSYSTEMS, INC. 1999. Sun JDK 1.2.2. http://java.sun.com/products/j2se.
55. SUN MICROSYSTEMS, INC. 2002. Sun JDK 1.4.0. http://java.sun.com/products/j2se.
56. SUNDARESAN, V., UENDREN, L., AND RAZAFIMAHEFA, C. 2000. Practical virtual method call resolution for Java. In OOPSLA'00 Conference Proceedings. ACM SIGPLAN Notices, M. Rosson and D. Lea, Eds. ACM Press, Minneapolis, MN, 264-280.
57. TIP, F., LAFFRA, C., AND SWEENEY, P. 1999. Practical experience with an application extractor for Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99). ACM SIGPLAN Notices, vol. 34(10), L. Meissner, Ed. ACM Press, Denver, CO, 292-305.
58. VELDHUIZEN, T. 1999. C++ templates as partial evaluation. InACMSIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'98). ACM Press, San Antonio, TX, USA, 13-18.
59. VELDHUIZEN, T. 2000. Expression templates in Java. In Generative and Component-Based Software Engineering, Second International Symposium, GCSE'00, G. Butler and S. Jarzabek, Eds. Lecture Notes in Computer Science, vol. 2177. Springer, Erfurt, Germany, 188-202. Revised Papers.
60. VOLANSCHI, E., CONSEL, C., MULLER, G., AND COWAN, C. 1997. Declarative specialization of object-oriented programs. In OOPSLA'97 Conference Proceedings. ACM Press, Atlanta, GA, USA, 286-300.
61. WANG, T. AND SMITH, S. 2001. Precise constraint-based type inference for Java. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'01). Lecture Notes in Computer Science, vol. 2072, J. Knudsen, Ed. Budapest, Hungary, 99-117.
62. XEROX 2000. AspectJ home page, http://aspectj.org. Xerox Corp.
63. ZAKS, A., FELDMAN, V., AND AIZIKOWITZ, N. 2000. Sealed calls in Java packages. In OOPSLA'00 Conference Proceedings. ACM SIGPLAN Notices, M. Rosson and D. Lea, Eds. ACM Press, Minneapolis, MN, 83-92.