Compiling for template-based run-time code generation

Journal of Functional Programming

Volumn 13, Issue 3, 2003, Pages 677-708

  Smith, Frederick ^a   Grossman, Dan ^a   Morrisett, Greg ^a   Hornof, Luke ^b   Jim, Trevor ^c  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^b Transmeta Corporation   (United States)

^c AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RUN-TIME CODE GENERATION;

COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; MAPPING; OPTIMIZATION; PROGRAM COMPILERS;

CODES (SYMBOLS);

EID: 0037514204     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S095679680200463X     Document Type: Article

References (23)

1. Aho, A. V., Sethi, R. and Ullman, J. D. (1486) Compilers, Principles, Techniques and Tools. Addison-Wesley.
2. Auslander, J., Philipose, M., Chambers. C., Eggers, S. J. and Bershad, B. N. (1996) Fast, effective dynamic compilation. ACM Conference on Programming Language Design and Implementation. pp. 149-159.
3. Burger, D. (1998) Hardware techniques to improve the performance of the processor/memory interface. PhD thesis, University of Wisconsin-Madison.
4. Burger, D., Austin, T. M. and Bennett, S. (1996) Evaluating future microprocessors: The simplescalar tool set. Technical report CS-TR-1996-1308, University of Wisconsin-Madison, Computer Sciences Department.
5. Consel, C. and Noël, F. (1996) A general approach to run-time specialization and its application to C. 23rd ACM Symposium on Principles of Programming Languages, pp. 145-156.
6. Cousineau, G., Curien, P.-L. and Mauny, M. (1985) The categorical abstract machine. In: Jouannaud, J.-P., editor, Functional Programming Languages and Computer Architecture: Lecture Notes in Computer Science 201, pp. 50-64. Springer-Verlag.
7. Davies, R. and Pfenning, F. (1996) A modal analysis of staged computation. 23rd ACM Symposium on Principles of Programming Languages, pp. 258-270.
8. Engler, D., Hsieh, W. and Kaashoek, M. F. (1996) C: A language for fast, efficient, high-level dynamic code generation. 23rd ACM Symposium on Principles of Programming Languages. pp. 131-144.
9. Fraser, C. W. and Hanson, D. R. (1995) A Retargetable C Compiler Design and Implementation. Benjamin Cummings.
10. Grant, B., Mock. M., Plilipose, M., Chambers, C. and Eggers, S. J. (1997) DyC: An expressive annotation-directed dynamic compiler for C. Technical report UW-CSE-97-03-03. Department of Computer Science and Engineering, University of Washington. (Updated May 12 1999.)
11. Grant, B., Philipose, M., Mock, M., Chambers, C. and Eggers, S. J. (1999) An evaluation of staged run-time optimizations in DyC. ACM Conference on Programming Language Design and Implementation, pp. 293-304.
12. Hornof, L. and Jim, T. (1999) Certifying compilation and run-time code generation. ACM Conference on Partial Evaluation and Semantics-based Program Manipulation, pp. 60-74.
13. Lee, P. and Leone, M. (1996) Optimizing ML with run-time code generation. ACM Conference on Programming Language Design and Implementation, pp. 137-148.
14. Leone, M. and Lee, P. (1994) Lightweight run-time code generation. ACM Conference on Partial Evaluation and Semantics-based Program Manipulation, pp. 97-106.
15. Lowney, P. G., Freudenberger, S. M., Karzes, T. J., Lichtenstein, W. D., Nix, R. P., O'Donnell, J. S. and Ruttenberg, J. C. (1993) The Multiflow Trace Scheduling compiler. J. Supercomputing, 7(1-2), 51-142.
16. Morrisett, G., Walker, D., Crary, K. and Glew, N. (1999) From System F to typed assembly language. ACM Trans. Program. Lang. Syst. 21(3), 528-569.
17. Muchnick, S. S. (1997) Advanced Compiler Design and Implementation. Morgan Kaufmann.
18. Noël, F., Hornof, L., Consel, C. and Lawall, J. L. (1996) Automatic, template-based run-time specialization: Implementation and experimental study. Technical report 1065, Institut de Recherche en Informatique et Systémes Aléatoires (IRISA).
19. Poletto, M., Engler, D. and Kaashoek, M. F. (1997) tec: A system for fast, flexible and high-level dynamic code generation. ACM Conference on Programming Language Design and Implementation, pp. 109-121.
20. Smith, F. (2002) Certified run-time code generation. PhD thesis. Cornell University.
21. Taha, W. (2000) A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival (extended abstract). ACM Conference on Partial Evaluation and Semantics-based Program Manipulation, pp. 34-43.
22. Taha, W. and Sheard, T. (1997) Multi-stage programming with explicit annotations. ACM Conference on Partial Evaluation and Semantics-based Program Manipulation, pp. 203-217.
23. Wickline, P., Lee, P. and Pfenning, F. (1998) Run-time code generation and Modal-ML. ACM Conference on Programming Language Design and Implementation, pp. 224-235.