Extracting Java library subsets for deployment on embedded systems

Science of Computer Programming

Volumn 45, Issue 2-3, 2002, Pages 245-270

  Rayside, Derek ^a,b   Kontogiannis, Kostas ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Application extraction; Call graph construction; Embedded systems; Java; Library extraction; Static dependency graph

Indexed keywords

CONSTRAINT THEORY; DIGITAL LIBRARIES; HAND HELD COMPUTERS; JAVA PROGRAMMING LANGUAGE; SET THEORY;

JAVA LIBRARY;

EMBEDDED SYSTEMS;

EID: 0036836979     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(02)00059-X     Document Type: Conference Paper

References (47)

1. O. Agesen, Concrete type inference: delivering object-oriented applications. Ph.D. Thesis, Stanford University, December 1995, Supervised by David Ungar, Appeared as Sun Microsystems Laboratories Technical Report SMLI TR-96-52.
2. D.F. Bacon, Fast and effective optimization of statically typed object-oriented languages, Ph.D. Thesis, University of California at Berkeley, December 1997, Supervised by Susan Graham, UCB/CSD-98-1017.
3. D.F. Bacon, P.F. Sweeney, Fast static analysis of C++ virtual function calls, in: Coplien (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), San Jose, CA, October 1996, pp. 324-341.
4. T. Bloom (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), Atlanta, GA, October 1997.
5. Q. Bradley, R. Nigel Horspool, J. Vitek, JAZZ: an efficient compressed format for Java archive files, in: MacKay, Johnson (Eds.), Proc. Eighth NRC/IBM Centre for Advanced Studies Conf. (CASCON), pp. 294-302.
6. Clausen L.R., Schultz U.P., Consel C., Muller G. Java bytecode compression for low-end embedded systems. ACM Trans. Programming Languages Systems. 22(3):2000;471-489.
7. J. Coplien (Ed.), Proc ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), San Jose, CA, October 1996.
8. J.D. Corless, Compression of Java class files, Master's Thesis, University of Victoria, Supervised by Nigel Horspool, 1994.
9. Dean J., Grove D., Chambers C. Optimization of object-oriented programs using static class hierarchy analysis. Olthoff W. ECOOP'95, Å rhus, Denmark Lecture Notes in Computer Science. vol. 952:1995;Springer, Berlin.
10. A. Diwan, J. Eliot, B. Moss, K.S. McKinley, Simple and effective analysis of statically-typed object-oriented programs, in: J. Coplien (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), San Jose, CA, October 1996, pp. 292-305.
11. Eckel B. Thinking in Java. 1998;Prentice-Hall, Englewood Cliff, NJ.
12. J. Ernst, W. Evans, C. Fraser, S. Lucco, T. Proebsting, Code compression, in: PLDI'97, June 1997.
13. Gosling J., Joy B., Steele G. Jr. The Java Language Specification. 1996;Addison-Wesley, Reading, MA.
14. D. Grove, G. DeFouw, J. Dean, C. Chambers, Call graph construction in object-oriented languages, in: T. Bloom (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), Atlanta, GA, October 1997.
15. A. Hamilton, Dial I for Internet, Times Magazine, November 1998.
16. Horspool R.N., Corless J. Tailored compression of Java class files. Software - Practice Exp. 28(12):1998;1253-1268.
17. IBM, alphaworks website. http://alphaworks.ibm.com.
18. IBM, VisualAge Micro Edition. http://www-4.ibm.com/software/ad/embedded/
19. IBM, XML Parser for Java. http://alphaworks.ibm.com
20. Karasick M., The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++ compiler, FSE'98, Orlando, FL, November 1998 pp. 131-142.
21. Katz R.H. Toward a unified framework for version modeling in engineering databases. ACM Comput. Surveys. 22(4):1990.
22. L. Larsen, M. Jean-Harrold, Slicing Object-Oriented Software, ICSE'96, March 1996, pp. 495-505.
23. D. Lea (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), Minneapolis, MN, October 2000.
24. Lee B. Internet embedded systems: poised for takeoff. IEEE Internet Comput. 2(3):1998;24-29.
25. Lindholm T., Yellin F. The Java Virtual Machine Specification. 1997;Addison-Wesley, Reading, MA.
26. S.A. MacKay, J.H. Johnson (Eds.), Proc. Eighth NRC/IBM Centre for Advanced Studies Conf. (CASCON), Toronto, December 1998.
27. S. Porat, B. Mendelson, I. Shapira, Sharpening global static analysis to cope with Java. In: MacKay, Johnson (Eds.), Proc. Eighth NRC/IBM Centre for Advanced Studies Conf. (CASCON), Toronto, 1998, pp. 303-316.
28. W. Pugh, Compressing Java class files, PLDI'99, May 1999.
29. D. Rayside, A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis, University of Waterloo, Supervised by Kostas Kontogiannis, 2001.
30. D. Rayside, K. Kontogiannis, Extracting Java library subsets for deployment on embedded systems, in: P. Nesi, C. Verhoef (Eds.), CSMR'99, Best Paper Award, Amsterdam, March 1999, pp. 102-110.
31. D. Rayside, S. Kerr, K. Kontogiannis, Change and adaptive maintenance detection in Java software systems, in: M. Blaha, A. Quilici, C. Verhoef (Eds.), WCRE'98, Honolulu, October 1998, pp. 10-19.
32. D. Rayside, E. Mamas, E. Hons, Compact java binaries for embedded systems, in: S.A. MacKay, J.H. Johnson (Eds.), CASCON'99, Best Paper Award, Toronto, November 1999, pp. 1-14.
33. D. Rayside, S. Reuss, E. Hedges, K. Kontogiannis, The effect of call graph construction algorithms for object-oriented programs on automatic clustering, in: M.-A. Storey, A. von Mayrhauser, H. Gall (Eds.), IWPC'00, Limerick, Ireland, June 2000, pp. 191-200.
34. Secure Internet Programming Group, The Java Filter, Department of Computer Science, Princeton University, 1998.
35. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Vallée-Rai, P. Lam, E. Gagnon, Practical virtual method call resolution for Java, in: D. Lea (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), Minneapolis, MN, October 2000, pp. 264-280.
36. PersonalJava and EmbeddedJava Development Tools, http://java.sun.com/products/personaljava/pjava_and_ejava_tools.html.
37. F. Tip, J.-D. Choi, J. Field, G. Ramalingam, Slicing class hierarchies in C++, in: J. Coplien (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), San Jose, CA, October 1996, pp. 179-197.
38. F. Tip, C. Laffra, P.F. Sweeney, D. Streeter, Practical experience with an application extractor for Java, in: Linda Northrop (Ed.), OOPSLA'99, Denver, CO, November 1999, pp. 292-305.
39. F. Tip, J. Palsberg, Scalable propagation-based call graph construction algorithms, in: D. Lea (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), Minneapolis, MN, October 2000, pp. 281-293.
40. F. Tip, P.F. Sweeney, Class hierarchy specialization, in: T. Bloom (Ed.), Proc. ACM/SIGPLAN Conf. Object-Oriented Systems, Languages and Applications (OOPSLA), Atlanta, Georgia, October 1997, pp. 271-285.
41. B. B.Venners, Under the hood: Bytecode basics. Java World, September 1996. http://www.javaworld.com/javaworld/jw-09-1996/jw-09-bytecodes.html.
42. B. Venners, Under the hood: The Java class file lifestyle. Java World, July 1996, http://www.javaworld.com/javaworld/jw-07-1996/jw-07-classfile.html.
43. B. Venners, Under the hood: the lean, mean, virtual machine. Java World, June 1996. http://www.javaworld.com/javaworld/-jw-06-1996/jw-06-vm.html.
44. World Wide Web Consortium, Compact html for small appliances, http://www.w3c.org/TR/1998/NOTE-compactHTML-19980209.
45. World Wide Web Consortium, Handheld device markup language 2.0. http://www.w3c.org/Submission/1997/5, May 1997.
46. R. Cartwright, G.L. Steele, Compatable genericity with run-time types for the Java programming language, in: C. Chambers (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), Vancouver, Canada, 1998, pp. 201-215.
47. D. Rayside, K. Kontogiannis, A generic worklist algorithms for graph reachability problems in program analysis, in: T. Gyimóthy, F.B. e Abreu (Eds.). Proc. 6th IEEE Conf. on Software Maintenance and Re-engineering (CSMR), Budapest, 2002, pp. 67-76. A summary of [29].