next up previous
Next: About this document ... Up: Joeq: A Virtual Machine Previous: Acknowledgements

Bibliography

1
B. Alpern, C. R. Attanasio, J. J. Barton, A. Cocchi, S. F. Hummel, D. Lieber, T. Ngo, M. F. Mergen, J. C. Shepherd, and S. Smith.
Implementing Jalapeno in Java.
In Conference on Object-Oriented, pages 314-324, 1999.

2
S. Amarasinghe, J. Anderson, M. Lam, and A. Lim.
An Overview of a Compiler for Scalable Parallel Machines.
In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing (LCPC'93), Portland, Oregon, USA, volume 768 of Lecture Notes in Computer Science, pages 253-272. Springer-Verlag, Berlin, Germany, 1994.

3
C. S. Ananian.
FLEX compiler infrastructure.
http://www.flex-compiler.lcs.mit.edu, 2001.

4
J. M. S. anf Guei-Yuan Lueh and M. Cierniak.
Support for garbage collection at every instruction in a Java compiler.
In Proceedings of SIGPLAN'99 Conference on Programming Languages Design and Implementation, ACM SIGPLAN Notices, pages 118-127, Atlanta, May 1999. ACM Press.

5
D. F. Bacon, R. Konuru, C. Murthy, and M. Serrano.
Thin locks: featherweight synchronization for Java.
In Proceedings of the ACM SIGPLAN '98 conference on Programming language design and implementation, pages 258-268. ACM Press, 1998.

6
G. Baumgartner, K. Laufer, and V. F. Russo.
On the interaction of object-oriented design patterns and programming languages.
Technical Report CSD-TR-96-020, Purdue University, 1998.

7
C. Bryce, C. Razafimahefa, and M. Pawlak.
Lana: An approach to programming autonomous systems.
In Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP 2002), Malaga, Spain, June 2002.

8
M. Burke, J. Choi, S. Fink, D. Grove, M. Hind, V. Sarkar, M. Serrano, V. Sreedhar, H. Srinivasan, and J. Whaley.
The Jalapeno dynamic optimizing compiler for Java.
In Proceedings ACM 1999 Java Grande Conference, pages 129-141, San Francisco, CA, United States, June 1999. ACM.

9
J. Chapin.
The Rivet virtual machine.
http://sdg.lcs.mit.edu/rivet.html, 1999.

10
J.-D. Choi, D. Grove, M. Hind, and V. Sarkar.
Efficient and precise modeling of exceptions for the analysis of Java programs.
In Workshop on Program Analysis For Software Tools and Engineering, pages 21-31, 1999.

11
C. Click and J. Rose.
Fast subtype checking in the HotSpot JVM.
In Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande, pages 96-107. ACM Press, 2002.

12
M. Dahm.
Byte code engineering with the BCEL API, 2001.

13
R. Fitzgerald, T. B. Knoblock, E. Ruf, B. Steensgaard, and D. Tarditi.
Marmot: an optimizing compiler for Java.
Software: Practice and Experience, 30(3):199-232, Mar. 2000.

14
E. M. Gagnon and L. J. Hendren.
SableVM: A research framework for the efficient execution of Java bytecode.
In USENIX, editor, Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM '01): April 23-24, 2001, Monterey, California, USA. Berkeley, CA, pages 27-40, Berkeley, CA, USA, 2001. USENIX.

15
E. Gamma, R. Helm, R. Johnson, and J. Vlissides.
Design patterns: Abstraction and reuse in object-oriented designs.
In O. Nierstrasz, editor, Proceedings of ECOOP'93, Berlin, 1993. Springer-Verlag.

16
S. Hangal and M. S. Lam.
Tracking down software bugs using automatic anomaly detection.
In Proceedings of the International Conference on Software Engineering, May 2002.

17
K. Ishizaki, M. Kawahito, T. Yasue, H. Komatsu, and T. Nakatani.
A study of devirtualization techniques for a java just-in-time compiler.
In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 294-310. ACM Press, 2000.

18
T. Lindholm and F. Yellin.
The Java Virtual Machine Specification.
Addison-Wesley, Reading, MA, USA, second edition, 1999.

19
T. Onodera and K. Kawachiya.
A study of locking objects with bimodal fields.
In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 223-237. ACM Press, 1999.

20
A. Taivalsaari.
Implementing a Java virtual machine in the Java programming language.
Technical Report SMLI TR-98-64, Sun Microsystems, March 1998.

21
Tool Interface Standard (TIS) Committee.
Executable and Linking Format (ELF) Specification, 1995.
v1.2.

22
R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co.
Soot - a java optimization framework.
In Proceedings of CASCON 1999, pages 125-135, 1999.

23
J. Whaley.
Dynamic optimization through the use of automatic runtime specialization.
Master's thesis, Massachusetts Institute of Technology, May 1999.

24
J. Whaley.
A portable sampling-based profiler for java virtual machines.
In Proceedings of the ACM 2000 Conference on Java Grande, pages 78-87. ACM Press, June 2000.

25
J. Whaley.
Partial method compilation using dynamic profile information.
In Proceedings of the OOPSLA '01 Conference on Object Oriented Programming Systems, Languages, and Applications, pages 166-179. ACM Press, October 2001.

26
J. Whaley.
System checkpointing using reflection and program analysis.
In A. Yonezawa and S. Matsuoka, editors, Proceedings of Reflection 2001, the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, volume 2192 of LNCS, pages 44-51, Kyoto, Japan, September 2001. Springer-Verlag.

27
J. Whaley and M. S. Lam.
An efficient inclusion-based points-to analysis for strictly-typed languages.
In Proceedings of the 9th International Static Analysis Symposium, pages 180-195, September 2002.

28
J. Whaley, M. C. Martin, and M. S. Lam.
Automatic extraction of object-oriented component interfaces.
In Proceedings of the International Symposium on Software Testing and Analysis, pages 218-228. ACM Press, July 2002.



John Whaley 2003-03-15