Run-time bytecode specialization a portable approach to generating optimized specialized code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2053 LNCS, Issue , 2001, Pages 138-154

  Masuhara, Hidehiko ^a   Yonezawa, Akinori ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); JUST IN TIME PRODUCTION; APPLICATION PROGRAMS; COMPUTATIONAL LINGUISTICS;

BINDING TIME ANALYSIS; CODE GENERATION; INTERMEDIATE LANGUAGES; JAVA VIRTUAL MACHINES; JIT COMPILATIONS; JUST IN TIME COMPILERS; NON-OBJECT ORIENTED; PERFORMANCE MEASUREMENTS;

APPLICATION PROGRAMS; JAVA PROGRAMMING LANGUAGE;

EID: 84888266568     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44978-7_9     Document Type: Conference Paper

References (30)

1. K. Asai. Binding-time analysis for both static and dynamic expressions. In SAS'99 (LNCS 1694), 1999.
2. J. Auslander, M. Philipose, C. Chambers, S. J. Eggers, and B. N. Bershad. Fast, effective dynamic compilation. In PLDI'96, pp. 149-159, 1996.
3. N. Benton, A. Kennedy, and G. Russell. Compiling standard ML to Java bytecodes. In ICFP'98, 1998.
4. A. A. Berlin and R. J. Surati. Partial evaluation for scientific computing: The supercomputer toolkit experience. In PEPM'94, pp. 133-141, 1994.
5. P. Bertelsen. Binding-time analysis for a JVM core language. Apr. 1999. http://www.dina.kvl.dk/~pmb/.
6. P. Bothner. Kawa - compilinig dynamic languages to the Java VM. In USENIX, 1998.
7. J.-D. Choi, M. Gupta, M. Serrano, V. C. Sreedhar, and S. Midkiff. Escape analysis for Java. In L. M. Northrop, editor, OOPSLA'99, pp. 1-19, 1999.
8. C. Consel and F. Nöel. A general approach for run-time specialization and its application to C. In POPL'96, pp. 145-170, 1996.
9. D. R. Engler. VCODE: a retargetable, extensible, very fast dynamic code generation system. In PLDI'96, pp. 160-170, 1996.
10. N. Fujinami. Determination of dynamic method dispatches using run-time code generation. In TIC'98, pp. 253-271, 1998.
11. Y. Futamura. Partial evaluation of computation process-an approach to a compiler-compiler. Higher-Order and Symbolic Computation, 12(4):381-391, 1999
12. Reprinted from Systems, Computers, Controls, 2(5):45-50, 1971.
13. B. Grant, M. Philipose, M. Mock, C. Chambers, and S. J. Eggers. An evaluation of staged run-time optimization in DyC. In PLDI'99, 1999.
14. B. Guenter, T. B. Knoblock, and E. Ruf. Specializing shaders. In SIGGRAPH'95, pp. 343-349, 1995.
15. F. Henglein. Efficient type inference for higher-order binding-time analysis. In FPCA'91, pp. 448-472, 1991.
16. L. Hornof and T. Jim. Certifying compilation and run-time code generation. In PEPM'99, pp. 60-74, 1999.
17. L. Hornof and J. Noyé. Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity. In PEPM'97, pp. 63-73, 1997.
18. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
19. P. Lee and M. Leone. Optimizing ML with run-time code generation. In PLDI'96, pp. 137-148, 1996.
20. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1997.
21. H. Masuhara and A. Yonezawa. Design and partial evaluation of meta-objects for a concurrent reflective language. In ECOOP'98, pp. 418-439, 1998.
22. H. Masuhara and A. Yonezawa. Generating optimized residual code in run-time specialization. In International Colloquium on Partial Evaluation and Program Transformation, pp. 83-102, 1999.
23. F. Nöel, L. Hornof, C. Consel, and J. L. Lawall. Automatic, template-based runtime specialization: Implementation and experimental study. In ICCL'98, pp. 123-142, 1998.
24. H. Ogawa, K. Shimura, S. Matsuoka, F. Maruyama, Y. Sohda, Y. Kimura, Open-JIT: an open-ended, reflective JIT compiler framework for Java, In ECOOP 2000, pp. 362-387, 2000.
25. M. Poletto, W. C. Hsieh, D. R. Engler, and M. F. Kaashoek. 'C and tcc: a language and compiler for dynamic code generation. TOPLAS, 21(2):324-369, 1999.
26. C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, and K. Zhang. Optimistic incremental specialization: streamlining a commercial operating system. In SOSP'95, pp. 314-324, 1995.
27. U. P. Schultz, J. L. Lawall, C. Consel, and G. Muller. Towards automatic specialization of Java programs. In ECOOP99, pp. 367-390, 1999.
28. R. Stata and M. Abadi. A type system for Java bytecode subroutines. TOPLAS, 21(1):90-137, 1999.
29. E. Volanschi, C. Consel, G. Muller, and C. Cowan. Declarative specialization of object-oriented programs. In OOPSLA'97, pp. 286-300, 1997.
30. P. Wickline, P. Lee, and F. Pfenning. Run-time code generation and Modal-ML. In PLDI'98, pp. 224-235, 1998.