Customization of java library classes using type constraints and profile information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3086, Issue , 2004, Pages 585-609

  De Sutter, Bjorn ^a   Tip, Prank ^b   Dolby, Julian ^b  

^a GHENT UNIVERSITY   (Belgium)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048840322     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (29)

1. BECKMANN, B., AND WANG, X. Adaptive prefetching Java objects, manuscript.
2. CAI, J., AND PAIGE, R. Towards increased productivity of algorithm implementation. In Proc. 1st ACM SIGSOFT symposium on Foundations of software engineering (1993), pp. 71-78.
3. CALDER, B., FELLER, P., AND EUSTACE, A. Value profiling. In Proceedings of the 30th annual ACM/IEEE International Symposium on Microarchitecture (ISCA97) (1997), pp. 259-269.
4. CHAMBERS, C., AND UNGAR, D. Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. ACM SIGPLAN Notices 24, 7 (July 1989), 146-160.
5. CHOI, J.-D., GUPTA, M., SERRANO, M. J., SREEDHAR, V. C., AND MIDKIFF, S. P. Stack allocation and synchronization optimizations for Java using escape analysis. ACM Transactions on Programming Languages and Systems 25, 6 (2003), 876-910.
6. CHUNG, E.-Y., BENINI, L., AND DE MICHELI, G. Automatic source code specialization for energy reduction. In Proceedings of the 2001 International Symposium on Low Power Electronics and Design (ISPLED01) (2001), pp. 80-83.
7. COOPER, K., HALL, M. W., AND KENNEDY, K. A methodology for procedure cloning. Computer Languages (may 1995).
8. CZARNECKI, K., AND EISENECKER, U. Generative Programming: Methods, Techniques, and Applications. Addison-Wesley, 1999.
9. DEWAR, R. K., ARTHUR, LIU, S.-C., SCHWARTZ, J. T., AND SCHONBERG, E. Programming by refinement, as exemplified by the SETL representation sublanguage. ACM Transactions on Programming Languages and Systems (TOPLAS) 1, 1 (1979), 27-49.
10. FOWLER, M. Refactoring. Improving the Design of Existing Code. Addison-Wesley, 1999.
11. FRIEDMAN, S., LEIDENFROST, N., BRODIE, B., AND CYTRON, R. Hashtables for embedded and real-time systems. In IEEE Real-Time Embedded System Workshop (2001).
12. GLEW, N., AND PALSBERG, J. Type-safe method inlining. In Proc. 16th European Conference on Object-Oriented Programming (2002), pp. 525-544.
13. HIND, M., AND PIOLI, A. Evaluating the effectiveness of pointer alias analyses. Science of Computer Programming 39, 1 (2001), 31-55.
14. HöGSTEDT, K., D., K., RAJAN, V., ROTH, T., SREEDHAR, V., WEGMAN, M., AND WANG, N. The autonomie performance prescription. Available from the author at wegman@watson.ibm.com.
15. KICZALES, G., LAMPING, J., MENHDHEKAR, A., MAEDA, C., LOPES, C., LoINGTIER, J.-M., AND IRWIN, J. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP97) (1997), vol. 1241, Springer-Verlag, pp. 220-242.
16. LlNDHOLM, T., AND YELLIN, F. The Java Virtual Machine Specification. AddisonWesley, 1997.
17. PALSBERG, J. Type-based analysis and applications. In Proc. ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE'01) (Snowbird, UT, 2001), pp. 20-27.
18. PALSBERG, J., AND SCHWARTZBACH, M. Object-Oriented Type Systems. John Wiley & Sons, 1993.
19. PAVLOVIC, D., AND SMITH, D. Software development by refinement. In UNU/IIST 10th Anniversary Colloqium, Formal Methods at the Crossroads: From Panaea to Foundational Support. Springer-Verlag, 2003.
20. ROUNTEV, A., MILANOVA, A., AND RYDER, B. Points-to analysis for Java using annotated constraints. In Proc. 16th Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'Ol) (TampaBay, FL, 2001), pp. 43-55.
21. RYDER, B. G. Dimensions of precision in reference analysis of object-oriented programming languages. In Proc. 12th International Conference on Compiler Construction (CC 2003) (Warsaw, Poland, April 2003), pp. 126-137.
22. SCHONBERG, E., SCHWARTZ, J., AND SHARIR, M. An automatic technique for selection of data representations in SETL programs. ACM Transactions on Programming Languages and Systems 3, 2 (April 1981), 126-143.
23. SCHULTZ, U. P., LAWALL, J. L., AND CONSEL, C. Automatic program specialization for Java. ACM Transactions on Programming Languages and Systems 25, 4 (2003), 452-499.
24. SIRKIN, M., BATORY, D., AND SINGHAL, V. Software components in a data structure precompiler. In Proceedings of the 15th International Conference on Software Engineering (ICSE97) (1997), pp. 437-446.
25. TIP, F., KIEZÅUN, A., AND BÄUMER, D. Refactoring for generalizations using type constraints. In Proc. 18th Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'03) (2003).
26. TIP, F., SWEENEY, P. F., LAFFRA, C., EISMA, A., AND STREETER, D. Practical extraction techniques for Java. ACM Transactions on Programming Languages and Systems 24, 6 (2002), 625-666.
27. VELDHUIZEN, T. L., AND CANNON, D. Active libraries: Rethinking the roles of compilers and libraries. In Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing (OO'98) (1998).
28. YELLIN, D. Competitive algorithms for the dynamic selection of component implementations. IBM Systems Journal 42, 1 (January 2003), 85-97.
29. YOTOV, K., LI, X., REN, G., CIBULSKIS, M., DEJONG, G., GARZARAN, M., PADUA, D., PINGALI, K., STODGHILL, P., AND WU, P. A comparison of empirical and model-driven optimization. In Proc. ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 63-76.