Joeq: A virtual machine and compiler infrastructure

Science of Computer Programming

Volumn 57, Issue 3, 2005, Pages 339-356

  Whaley, John ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Compiler; Design patterns; Dynamic compilation; Intermediate representation; Java; Program analysis; Virtual machine

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; RELIABILITY; SCHEDULING;

COMPILERS; DESIGN PATTERNS; DYNAMIC COMPILATION; INTERMEDIATE REPRESENTATION; PROGRAM ANALYSIS; VIRTUAL MACHINES;

COMPUTER SOFTWARE;

EID: 23344441355     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2004.08.006     Document Type: Conference Paper

References (40)

1. B. Alpern, C.R. Attanasio, J.J. Barton, A. Cocchi, S.F. Hummel, D. Lieber, T. Ngo, M.F. Mergen, J.C. Shepherd, S. Smith, Implementing Jalapeno in Java, in: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'99, 1999, pp. 314-324
2. S. Amarasinghe, J. Anderson, M. Lam, and A. Lim An overview of a compiler for scalable parallel machines Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing LCPC'93, Portland, Oregon Lecture Notes in Computer Science vol. 768 1994 Springer-Verlag Berlin, Germany 253 272
3. C.S. Ananian FLEX compiler infrastructure http://www.flex-compiler.lcs. mit.edu 2001
4. J.M.S. anf Guei-YuanLueh, and M. Cierniak Support for garbage collection at every instruction in a Java compiler Proceedings of the ACM SIGPLAN Conference on Programming Languages Design and Implementation PLDI'99, May 1999, Atlanta ACM SIGPLAN Notices 1999 ACM Press 118 127
5. D.F. Bacon, R. Konuru, C. Murthy, and M. Serrano Thin locks: featherweight synchronization for Java Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI'98 1998 ACM Press 258 268
6. D.F. Bacon, P.F. Sweeney, Fast static analysis of C++ virtual function calls, in: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'96, October 1996, pp. 324-341
7. G. Baumgartner, K. Laufer, V.F. Russo, On the interaction of object-oriented design patterns and programming languages, Technical Report CSD-TR-96-020, Purdue University, 1998
8. D.L. Bruening, Systematic testing of multithreaded Java programs, Master's Thesis, EECS Department, Massachusetts Institute of Technology, May 21, 1999
9. R.E. Bryant Graph-based algorithms for Boolean function manipulation IEEE Transactions on Computers C-35 8 1986 677 691
10. C. Bryce, C. Razafimahefa, M. Pawlak, Lana: An approach to programming autonomous systems, in: Proceedings of the 16th European Conference on Object-Oriented Programming, ECOOP'02, June 2002, Malaga, Spain
11. M. Burke, J. Choi, S. Fink, D. Grove, M. Hind, V. Sarkar, M. Serrano, V. Sreedhar, H. Srinivasan, J. Whaley, The Jalapeno dynamic optimizing compiler for Java, in: Proceedings of the ACM 1999 Java Grande Conference, June 1999, San Francisco, CA, United States, ACM, 1999, pp. 129-141
12. J.-D. Choi, D. Grove, M. Hind, V. Sarkar, Efficient and precise modeling of exceptions for the analysis of Java programs, in: Workshop on Program Analysis For Software Tools and Engineering, PASTE'99, 1999, pp. 21-31
13. C. Click, and J. Rose Fast subtype checking in the HotSpot JVM Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002 ACM Press 96 107
14. M. Dahm, Byte code engineering with the BCEL API, Technical Report 8-17-98, Freie Universit at Berlin, Institut fur Informatik, April 2001
15. J. Dean, D. Grove, C. Chambers, Optimization of object-oriented programs using static class hierarchy analysis, in: Proceedings of the 9th European Conference on Object-Oriented Programming, ECOOP'95, 1995
16. R. Fitzgerald, T.B. Knoblock, E. Ruf, B. Steensgaard, and D. Tarditi Marmot: an optimizing compiler for Java Software: Practice and Experience 30 3 2000 199 232
17. E.M. Gagnon, L.J. Hendren, SableVM: A research framework for the efficient execution of Java bytecode, in: Proceedings of the Java Virtual Machine Research and Technology Symposium, JVM'01, Berkeley, CA, April 2001, USENIX 2001, pp. 27-40
18. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design patterns: Abstraction and reuse in object-oriented designs Proceedings of the 7th European Conference on Object-Oriented Programming ECOOP'93, Berlin 1993 Springer-Verlag
19. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design Patterns: Elements of Reusable Object-Oriented Software 1995 Addison-Wesley
20. C. Grothoff Walkabout revisited: The runabout Proceedings of the 17th European Conference on Object-Oriented Programming ECOOP'03, Berlin, Germany 2003 Springer-Verlag
21. S. Hangal, M.S. Lam, Tracking down software bugs using automatic anomaly detection, in: Proceedings of the International Conference on Software Engineering, ICSE'02, May 2002
22. N. Heintze, O. Tardieu, Ultra-fast aliasing analysis using CLA: A million lines of C code, in: Proceedings of the Conference on Programming Language Design and Implementation, PLDI, 2001, pp. 146-161
23. K. Ishizaki, M. Kawahito, T. Yasue, H. Komatsu, and T. Nakatani A study of devirtualization techniques for a Java just-in-time compiler Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA'00 2000 ACM Press 294 310
24. T. Lindholm, and F. Yellin The Java Virtual Machine Specification 2nd edition 1999 Addison-Wesley Reading, MA, USA
25. T. Onodera, and K. Kawachiya A study of locking objects with bimodal fields Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA'99 1999 ACM Press 223 237
26. K. Palacz, J. Baker, C. Flack, C. Grothoff, H. Yamauchi, J. Vitek, Engineering a customizable intermediate representation, in: Proceedings of the Workshop on Interpreters, Virtual Machines, and Emulators, IVME'03, San Diego, CA, 2003
27. Sun Microsystems. Java Native Method Invocation Specification, 1997, v1.1
28. A. Taivalsaari, Implementing a Java virtual machine in the Java programming language, Technical Report SMLI TR-98-64, Sun Microsystems, March 1998
29. Tool Interface Standard (TIS) Committee, Executable and Linking Format (ELF) Specification, 1995, v1.2
30. R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, P. Co., Soot-a Java optimization framework, in: Proceedings of CASCON 1999, 1999, pp. 125-135
31. J. Whaley, Dynamic optimization through the use of automatic runtime specialization, Master's Thesis, Massachusetts Institute of Technology, May 1999
32. J. Whaley A portable sampling-based profiler for Java virtual machines Proceedings of the ACM 2000 Conference on Java Grande June 2000 2000 ACM Press 78 87
33. J. Whaley Partial method compilation using dynamic profile information Proceedings of the ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages, and Applications OOPSLA'01, October 2001 2001 ACM Press 166 179
34. J. Whaley System checkpointing using reflection and program analysis Proceedings of Reflection 2001, the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns September 2001, Kyoto, Japan LNCS vol. 2192 2001 Springer-Verlag 44 51
35. J. Whaley, M.S. Lam, An efficient inclusion-based points-to analysis for strictly-typed languages, in: Proceedings of the 9th International Static Analysis Symposium, SAS'02, September 2002, pp. 180-195
36. J. Whaley, M.S. Lam, Cloning-based context-sensitive pointer alias analysis using binary decision diagrams, in: Proceedings of the ACM SIGPLAN '04 Conference on Programming Language Design and Implementation, June 2004
37. J. Whaley, M.C. Martin, and M.S. Lam Automatic extraction of object-oriented component interfaces Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA'02, July 2002 2002 ACM Press 218 228
38. J. Whaley, and M. Rinard Compositional pointer and escape analysis for Java programs Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA'99, November 1999 1999 ACM Press 187 206
39. J. Whaley, C. Unkel, and M.S. Lam A BDD-based deductive database for program analysis http://suif.stanford.edu/bddbddb 2004
40. F. Yergeau, RFC 2279: UTF-8, a transformation format of ISO 10646, January 1998