Extracting Java library subsets for deployment on embedded systems

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. 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. 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. T. Bloom (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), Atlanta, GA, October 1997. 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. Clausen, 2000, Java bytecode compression for low-end embedded systems, ACM Trans. Programming Languages Systems, 22, 471, 10.1145/353926.353933 J. Coplien (Ed.), Proc ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), San Jose, CA, October 1996. J.D. Corless, Compression of Java class files, Master's Thesis, University of Victoria, Supervised by Nigel Horspool, 1994. Dean, 1995, Optimization of object-oriented programs using static class hierarchy analysis, vol. 952 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. Eckel, 1998 J. Ernst, W. Evans, C. Fraser, S. Lucco, T. Proebsting, Code compression, in: PLDI’97, June 1997. Gosling, 1996 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. A. Hamilton, Dial I for Internet, Times Magazine, November 1998. Horspool, 1998, Tailored compression of Java class files, Software—Practice Exp., 28, 1253, 10.1002/(SICI)1097-024X(1998100)28:12<1253::AID-SPE200>3.0.CO;2-8 IBM, alphaworks website. http://alphaworks.ibm.com. IBM, VisualAge Micro Edition. http://www-4.ibm.com/software/ad/embedded/. IBM, XML Parser for Java. http://alphaworks.ibm.com. M. Karasick, The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++ compiler, FSE’98, Orlando, FL, November 1998, pp. 131–142. Katz, 1990, Toward a unified framework for version modeling in engineering databases, ACM Comput. Surveys, 22, 10.1145/98163.98172 L. Larsen, M. Jean-Harrold, Slicing Object-Oriented Software, ICSE’96, March 1996, pp. 495–505. D. Lea (Ed.), Proc. ACM/SIGPLAN Conf. on Object-Oriented Systems, Languages and Applications (OOPSLA), Minneapolis, MN, October 2000. Lee, 1998, Internet embedded systems: poised for takeoff, IEEE Internet Comput., 2, 24, 10.1109/MIC.1998.683796 Lindholm, 1997 S.A. MacKay, J.H. Johnson (Eds.), Proc. Eighth NRC/IBM Centre for Advanced Studies Conf. (CASCON), Toronto, December 1998. 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. W. Pugh, Compressing Java class files, PLDI’99, May 1999. D. Rayside, A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis, University of Waterloo, Supervised by Kostas Kontogiannis, 2001. 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. 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. 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. 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. Secure Internet Programming Group, The Java Filter, Department of Computer Science, Princeton University, 1998. 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. S. Microsystems, Inc. PersonalJava and EmbeddedJava Development Tools, http://java.sun.com/products/personaljava/pjava\_and\_ejava\_tools.html. 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. 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. 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. 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. B. Venners, Under the hood: Bytecode basics. Java World, September 1996. http://www.javaworld.com/javaworld/jw-09-1996/jw-09-bytecodes.html. 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. 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. World Wide Web Consortium, Compact html for small appliances, http://www.w3c.org/TR/1998/NOTE-compactHTML-19980209. World Wide Web Consortium, Handheld device markup language 2.0. http://www.w3c.org/Submission/1997/5, May 1997. 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. 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].