Practical extraction techniques for Java

ACM Transactions on Programming Languages and Systems

Volumn 24, Issue 6, 2002, Pages 625-666

  Tip, Frank ^a   Sweeney, Peter F ^a   Laffra, Chris ^b   Eisma, Aldo ^b   Streeter, David ^c  

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

^b Object Technology International   (Netherlands)

^c IBM TORONTO LAB   (Canada)

Author keywords

Algorithms; Application extraction; Call graph construction; Class hierarchy transformation; Experimentation; Languages; Measurement; Performance; Processors Compilers; Optimization; Semantics of Programming Languages Program Analysis

Indexed keywords

EID: 0040671947     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/586088.586090     Document Type: Article

References (71)

1. AGESEN, O. 1995. Concrete type inference: Delivering object-oriented applications. Ph.D. thesis, Stanford University. Appeared as Sun Microsystems Laboratories Tech. Rep. SMLI TR-96-52.
2. AGESEN, O. AND UNGAR, D. 1994. Sifting out the gold: Delivering compact applications from an exploratory object-oriented programming environment. In Proceedings of the 9th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94). Portland, OR, 355-370. ACM SIGPLAN Notices 29(10).
3. AGESEN, O. AND UNGAR, D. 1994. Sifting out the gold: Delivering compact applications from an exploratory object-oriented programming environment. In Proceedings of the 9th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94). Portland, OR, 355-370. ACM SIGPLAN Notices 29(10).
4. AIGNER, G. AND HÖLZLE, U. 1996. Eliminating virtual function calls in C++ programs. In Proceedings of the 10th European Conference on Object-Oriented Programming (ECOOP'96). Lecture Notes in Computer Science, vol. 1098. Springer-Verlag, Linz, Austria, 142-166.
5. ARNOLD, K., GOSLING, J., AND HOLMES, D. 2000. The Java Programming Language, Third Edition Addison-Wesley.
6. BACON, D. F. 1997. Fast and effective optimization of statically typed object-oriented languages. Ph.D. thesis, Computer Science Division, University of California, Berkeley. Report No. UCB/CSD-98-1017.
7. BACON, D. F. AND SWEENEY, P. F. 1996. Fast static analysis of C++ virtual function calls. In Proceedings of the 11th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96). San Jose, CA, 324-341. ACM SIGPLAN Notices 31(10).
8. BACON, D. F. AND SWEENEY, P. F. 1996. Fast static analysis of C++ virtual function calls. In Proceedings of the 11th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96). San Jose, CA, 324-341. ACM SIGPLAN Notices 31(10).
9. BRADLEY, Q., HORSPOOL, R. N., AND VITEK, J. 1998. Jazz: An efficient compressed format for Java archive files. In CASCON'98. 294-302.
10. BURKE, M. G., CHOI, J.-D., FINK, S., GROVE, D., HIND, M., SARKAR, V., SERRANO, M. J., SREEDHAR, V. C., SRINIVASAN, H., AND WHALEY, J. 1999. The Jalapeno Dynamic Optimizing Compiler for Java. In Proceedings of the ACM Java Grande Conference San Francisco, CA.
11. CALDER, B. AND GRUNWALD, D. 1994. Reducing indirect function call overhead in C++ programs. Proceedings of the 21st ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL'94), 397-408.
12. CALLAWAY, D. R. 1999. Inside Servlets: Server-Side Programming for the Java Platform. Addison-Wesley.
13. CHEN, Y.-F., GANSNER, E. R., AND KOUTSOFIOS, E. 1998. A C++ data model supporting reachability analysis and dead code detection. IEEE Trans. Soft. Eng. 24, 9 (Sept.), 682-694.
14. CLAUSEN, L. R., SCHULTZ, U. P., CONSEL, C., AND MULLER, G. 2000. Java bytecode compression for low-end embedded systems. ACM Trans. Prag. Lang. Syst. 22, 3 (May), 471-489.
15. COOPER, K. D. AND MCINTOSH, N. 1999. Enhanced code compression for embedded RISC processors. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI'99). Atlanta, GA, 139-149. ACM SIGPLAN Notices 34(5).
16. COOPER, K. D. AND MCINTOSH, N. 1999. Enhanced code compression for embedded RISC processors. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI'99). Atlanta, GA, 139-149. ACM SIGPLAN Notices 34(5).
17. DE SUTTER, B. 2002. Compactie van programma's na het linken. Ph.D. thesis, Gent University. In Dutch.
18. DE SUTTER, B., DE BUS, B., AND DE BOSSCHERE, K. 2002. Sifting out the mud: Low level C++ code reuse. Tech. rep., Ghent University. To appear in Proceedings OOPSLA'2002.
19. DE SUTTER, B., DE BUS, B., DEBRAY, S., AND DE BOSSCHERE, K. 2001. Combining global code and data compaction. In Proceedings of the ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2001). Snowbird, UT.
20. DEAN, J., GROVE, D., AND CHAMBERS, C. 1995. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP'95), W. Olthoff, Ed. Springer-Verlag, Aarhus Denmark 77-101.
21. DEBRAY, S. K., EVANS, W., MUTH, R., AND DE SUTTER, B. 2000. Compiler techniques for code compaction. ACM Trans. Prog. Lang. Syst. 22, 2, 378-415.
22. Digitalk Inc. 1993. Smalltalk/V for win32 Programming. Digitalk Inc. Chapter 17: Object Libraries and Library Builder.
23. EISMA, A. 2001. Feedback directed ahead-of-time compilation for embedded Java applications. In Java Optimization Strategies for Embedded Systems, U. Assmann, Ed. Genova, Italy, 105-112. Workshop held at ETAPS'01.
24. ERNST, J., EVANS, W., FRASER, C., LUCCO, S., AND PROEBSTING, T. 1997. Code compression. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'97). Las Vegas, NV, 358-365. ACM SIGPLAN Notices 32(5).
25. ERNST, J., EVANS, W., FRASER, C., LUCCO, S., AND PROEBSTING, T. 1997. Code compression. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'97). Las Vegas, NV, 358-365. ACM SIGPLAN Notices 32(5).
26. FOWLER, M. 1999. Refactoring. Addison-Wesley.
27. FRASER, C., MYERS, E. W., AND WENDT, A. L. 1984. Analyzing and compressing assembly code. In Proceedings of the ACM Symposium on Compiler Construction. 117-121. ACM SIGPLAN Notices 19(6).
28. FRASER, C., MYERS, E. W., AND WENDT, A. L. 1984. Analyzing and compressing assembly code. In Proceedings of the ACM Symposium on Compiler Construction. 117-121. ACM SIGPLAN Notices 19(6).
29. GROVE, D., DEFOUW, G., DEAN, J., AND CHAMBERS, C. 1997. Call graph construction in object-oriented languages. In Proceedings of the 12th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97). Atlanta, GA, 108-124. ACM SIGPLAN Notices 32(10).
30. GROVE, D., DEFOUW, G., DEAN, J., AND CHAMBERS, C. 1997. Call graph construction in object-oriented languages. In Proceedings of the 12th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97). Atlanta, GA, 108-124. ACM SIGPLAN Notices 32(10).
31. HORSPOOL, R. N. AND CORLESS, J. 1998. Tailored compression of Java class files. Software - Practice and Experience 28, 12, 1253-1268.
32. IBM Corporation 1995. IBM Smalltalk User's Guide, Version 3.0 ed. IBM Corporation. Chapter 36: Introduction to Packaging, Chapter 37: Simple Packaging, Chapter 38: Advanced Packaging.
33. JOY, B., STEELE, G., GOSLING, J., AND BRACHA, G. 2000. The Java Language Specification, Second Edition Addison-Wesley.
34. KISTLER, T. AND FRANZ, M. 1997. Slim binaries. Commun. ACM 40, 12 (Dec.), 87-94.
35. KISTLER, T. AND FRANZ, M. 1999. A tree-based alternative to Java byte-codes Int J. Parallel Prog. 27, 1 (Feb.), 21-34.
36. KRINTZ, C., CALDER, B., LEE, H. B., AND ZORN, B. G. 1998. Overlapping execution with transfer using non-strict execution for mobile programs. In Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VIII). San Jose, California, 159-169.
37. LINDHOLM, T. AND YELLIN, F. 1997. The Java Virtual Machine Specification. Addison-Wesley.
38. PANDE, H. D. AND RYDER, B. G. 1996. Data-flow-based virtual function resolution. In Proceedings of the 3rd International Symposium on Static Analysis (SAS'96). 238-254. Springer-Verlag LNCS 1145.
39. ParcPlace Systems 1992. ParcPlace Smalltalk, ObjectWorks Release 4.1 ed. ParcPlace Systems. Section 16: Deploying an Application, Section 28: Binary Object Streaming Service.
40. POMINVILLE, P., QIAN, F., VALLÉE-RAI, R., HENDREN, L., AND VERBRUGGE, C. 2001. A framework for optimizing Java using attributes. In Proceedings of the International Conference on Compiler Construction (CC'2001), R. Wilhelm, Ed. Eisenstadt, Austria, 334-354. Springer-Verlag LNCS 2027.
41. PUGH, W. 1999. Compressing Java class files. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'99). Atlanta, GA, 247-258. ACM SIGPLANNotices 34(5).
42. PUGH, W. 1999. Compressing Java class files. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'99). Atlanta, GA, 247-258. ACM SIGPLANNotices 34(5).
43. RAYSIDE, D. AND KONTOGIANNIS, K. 1999. Extracting Java library subsets for deployment on embedded systems. In Proceedings of the European Conference on Software Maintenance and Reengineering (CSMR'99). Amsterdam, 102-110.
44. RAYSIDE, D., MANAS, E., AND HONS, E. 1999. Compact Java binaries for embedded systems. In Proceedings of the 9th NRC/IBM Centre for Advanced Studies Conference (CASCON'99). Toronto, CA, 1-14.
45. ROTHERMEL, G. AND HARROLD, M. J. 1997. A safe, efficient regression test selection technique. ACM Trans. Soft. Eng. Method. 6, 2 (April), 173-210.
46. RYDER, B. G. AND TIP, F. 2001. Change impact analysis for object-oriented programs. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01). Snowbird, UT.
47. SCHEIFLER, R. W. 1977. An analysis of inline substitution for a structured programming language. Commun. ACM 20, 9 (Sept.), 647-654.
48. SHAPIRO, M. AND HORWITZ, S. 1997. Fast and accurate flow-insensitive points-to analysis. In Proceedings of the 24th ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL'97). Paris, France, 1-14.
49. SHIVERS, O. 1991. Control-flow analysis of higher-order languages. Ph.D. thesis, CMU. CMU-CS-91-145.
50. STEENSGAARD, B. 1996. Points-to analysis in almost linear time. In Proceedings of the 23rd ACM SIGPLAN/SIGSOFT Symposium on Principles of Programming Languages (POPL'96). St. Petersburg, FL, 32-41.
51. Sun Microsystems 1997. JavaBeans, Version 1.01 ed. Sun Microsystems, 2550 Garcia Avenue, Mountain View, CA 94043.
52. Sun Microsystems 1999. Java 2 Software Development Kit, Version 1.2.2 ed. Sun Microsystems, 2550 Garcia Avenue, Mountain View, CA 94043. Available at http://java.sun.com/docs/books/ tutorial/ext/security/sealing.html.
53. SUNDARESAN, V., HENDREN, L., RAZAFIMAHEFA, C., VALLéE-RAI, R., LAM, P., GAGNON, E., AND GODIN, C. 2000. Practical virtual method call resolution for Java. In Proceedings of the 15th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00). Minneapolis, MN), 264-280. ACM SIGPLAN Notices 35(10).
54. SUNDARESAN, V., HENDREN, L., RAZAFIMAHEFA, C., VALLéE-RAI, R., LAM, P., GAGNON, E., AND GODIN, C. 2000. Practical virtual method call resolution for Java. In Proceedings of the 15th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00). Minneapolis, MN), 264-280. ACM SIGPLAN Notices 35(10).
55. SWEENEY, P. F. AND TIP, F. 1998. A study of dead data members in C++ applications. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'98). Montreal, Canada, 324-332. ACM SIGPLANNotices 33(6).
56. SWEENEY, P. F. AND TIP, F. 1998. A study of dead data members in C++ applications. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'98). Montreal, Canada, 324-332. ACM SIGPLANNotices 33(6).
57. SWEENEY, P. F. AND TIP, F. 2000. Extracting library-based object-oriented applications. In Proceedings of the 8th International Symposium on the Foundations of Software Engineering (FSE-8). San Diego, CA, 98-107. ACM SIGSOFT Software Engineering Notes 25(6).
58. SWEENEY, P. F. AND TIP, F. 2000. Extracting library-based object-oriented applications. In Proceedings of the 8th International Symposium on the Foundations of Software Engineering (FSE-8). San Diego, CA, 98-107. ACM SIGSOFT Software Engineering Notes 25(6).
59. THIES, M. 1999a. A closer look at inter-library dependencies in Java-software. In Java-Informations-Tage 1999 (JIT'99). Informatik Aktuell. Springer Verlag.
60. THIES, M. 1999b. Static compositional analysis of libraries in support of dynamic optimization. Technischer Bericht tr-ri-99-210, University of Paderborn. Aug.
61. TIP, F., CHOI, J.-D., FIELD, J., AND RAMALINGAM, G. 1996. Slicing class hierarchies in C++. In Proceedings of the 11th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96). San Jose, CA, 179-197. ACM SIGPLAN Notices 31(10).
62. TIP, F., CHOI, J.-D., FIELD, J., AND RAMALINGAM, G. 1996. Slicing class hierarchies in C++. In Proceedings of the 11th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96). San Jose, CA, 179-197. ACM SIGPLAN Notices 31(10).
63. TIP, F., LAFFRA, C., SWEENEY, P. F., AND STREETER, D. 1999. Practical experience with an application extractor for Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'99). Denver, CO, 292-305. ACM SIGPLAN Notices 34(10).
64. TIP, F., LAFFRA, C., SWEENEY, P. F., AND STREETER, D. 1999. Practical experience with an application extractor for Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'99). Denver, CO, 292-305. ACM SIGPLAN Notices 34(10).
65. TIP, F. AND PALSBERG, J. 2000. Scalable propagation-based call graph construction algorithms. In Proceedings of the 15th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00). Minneapolis, MN, 281-293. ACM SIGPLAN Notices 35(10).
66. TIP, F. AND PALSBERG, J. 2000. Scalable propagation-based call graph construction algorithms. In Proceedings of the 15th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00). Minneapolis, MN, 281-293. ACM SIGPLAN Notices 35(10).
67. TIP, F. AND SWEENEY, P. 1997. Class hierarchy specialization. In Proceedings of the 12th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97). Atlanta, GA, 271-285. ACM SIGPLANNotices 32(10).
68. TIP, F. AND SWEENEY, P. 1997. Class hierarchy specialization. In Proceedings of the 12th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97). Atlanta, GA, 271-285. ACM SIGPLANNotices 32(10).
69. TIP, F. AND SWEENEY, P. 2000. Class hierarchy specialization. Acta Informatica 36, 927-982.
70. ZAKS, A., FELDMAN, V., AND AIZIKOWITZ, N. 2000. Sealed calls in Java packages. In Proceedings of the 15th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00). Minneapolis, MN), 83-92. ACM SIGPLAN Notices 35(10).
71. ZAKS, A., FELDMAN, V., AND AIZIKOWITZ, N. 2000. Sealed calls in Java packages. In Proceedings of the 15th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00). Minneapolis, MN), 83-92. ACM SIGPLAN Notices 35(10).