Optimizing ML with run-time code generation

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 5, 1996, Pages 137-148

  Lee, Peter ^a   Leone, Mark ^a  

^a Carnegie Mellon University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144404991     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249069.231407     Document Type: Article

References (37)

1. AGESEN, O., AND HÖLZLE, U. Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages. In OOPSLA'95 Conference on Object-Oriented Programming Systems, Languages, and Applications (October 1995).
2. APPEL, A. W. Compiling with Continuations. Cambridge University Press, New York, 1992.
3. APPEL, A. W., AND MACQUEEN, D. B. Separate compilation for Standard ML. In PLDI'94 Conference on Programming Language Design and Implementation (June 1994), pp. 13-23.
4. AUSLANDER, J., PHILIPOSE, M., CHAMBERS, C., EGGERS, S. J., AND BERSHAD, B. N. Fast, effective dynamic compilation. In PLDI'96 Conference on Programming Language Design and Implementation (May 1996).
5. BERSHAD, B., SAVAGE, S., PARDYAK, P., SIRER, E. G., BECKER, D., FIUCZYNSKI, M., CHAMBERS, C., AND EGGERS, S. Extensibility, safety and performance in the SPIN operating system. In Symposium on Operating System Principles (December 1995), pp. 267-284.
6. BIAGIONI, E., HARPER, R., AND LEE, P. Signatures for a protocol stack: A systems application of Standard ML. In Conference on Lisp and Functional Programming (June 1994).
7. BONDORF, A., AND DANVY, O. Automatic autoprojection of recursive equations with global variables and abstract data types. Sci. Comput. Programming 16, 2 (September 1991), 151-195.
8. CHAMBERS, C., EGGERS, S. J., AUSLANDER, J., PHILIPOSE, M., MOCK, M., AND PARDYAK, P. Automatic dynamic compilation support for event dispatching in extensible systems. In WCSSS'96 Workshop on Compiler Support for System Software (February 1996).
9. CHAMBERS, C., AND UNGAR, D. Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. In PLDI'89 Conference on Programming Language Design and Implementation (June 1989), pp. 146-160.
10. CMELIK, R. F., AND KEPPEL, D. Shade: A fast instruction-set simulator for execution profiling. Tech. Rep. 93-06-06, Department of Computer Science and Engineering, University of Washington, June 1993.
11. CONSEL, C., AND NOËL, F. A general approach to run-time specialization and its application to C. In POPL '96 Symposium on Principles of Programming Languages (January 1996), pp. 145-156.
12. DAVIES, R., AND PFENNING, F. A modal analysis of staged computation. In POPL '96 Symposium on Principles of Programming Languages (January 1996), pp. 258-270.
13. DEUTSCH, L., AND SCHIFFMAN, A. M. Efficient implementation of the Smalltalk-80 system. In POPL'84 Symposium on Principles of Programming Languages, Salt Lake City (January 1984), pp. 297-302.
14. DRAVES, S. Compiler generation for interactive graphics. In Dagstuhl Seminar on Partial Evaluation (February 1996).
15. ENGLER, D. R. VCODE: A retargetable, extensible, very fast dynamic code generation system. In PLDI'96 Conference on Programming Language Design and Implementation (May 1996).
16. ENGLER, D. R., HSIEH, W. C., AND KAASHOEK, M. F. 'C: A language for high-level, efficient, and machine-independent dynamic code generation. In POPL '96 Symposium on Principles of Programming Languages (January 1996), pp. 131-144.
17. ENGLER, D. R., AND PROEBSTING, T. A. DCG: An efficient, retargetable dynamic code generation system. In Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS VI) (October 1994), ACM Press, pp. 263-272.
18. ENGLER, D. R., WALLACH, D., AND KAASHOEK, M. F. Efficient, safe, application-specific message processing. Technical Memorandum MIT/LCS/TM533, MIT Laboratory for Computer Science, March 1995.
19. FEELEY, M., TURCOTTE, M., AND LAPALME, G. Using Multilisp for solving constraint satisfaction problems: An application to nucleic acid 3D structure determination. Lisp and Symbolic Computation 7 (1994), 231-247.
20. HÖLZLE, U., AND UNGAR, D. Optimizing dynamically-dispatched calls with run-time type feedback. In PLDI'94 Conference on Programming Language Design and Implementation (June 1994).
21. JONES, N. D., GOMARD, C. K., AND SESTOFT, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
22. KEPPEL, D. A portable interface for on-the-fly instruction space modification. In Conference on Architectural Support for Programming Languages and Operating Systems (April 1991), pp. 86-95.
23. KEPPEL, D., EGGERS, S. J., AND HENRY, R. R. A case for runtime code generation. Tech. Rep. 91-11-04, Department of Computer Science and Engineering, University of Washington, November 1991.
24. KEPPEL, D., EGGERS, S. J., AND HENRY, R. R. Evaluating runtime-compiled value-specific optimizations. Tech. Rep. 93-11-02, Department of Computer Science and Engineering, University of Washington, November 1993.
25. LEONE, M., AND LEE, P. Lightweight run-time code generation. In PEPM 94 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (June 1994), Technical Report 94/9, Department of Computer Science, University of Melbourne, pp. 97-106.
26. MASSALIN, H. Synthesis: An Efficient Implementation of Fundamental Operating System Services. PhD thesis, Department of Computer Science, Columbia University, 1992.
27. MASSALIN, H., AND PU, C. Threads and input/output in the Synthesis kernel. In ACM Symposium on Operating Systems Principles (1989), pp. 191-201.
28. MCCANNE, S. The Berkeley Packet Filter man page. BPF distribution available at ftp://ftp.ee.lbl.gov.
29. MCCANNE, S., AND JACOBSON, V. The BSD packet filter: A new architecture for user-level packet capture. In Winter 1993 USENIX Conference (January 1993), USENIX Association, pp. 259-269.
30. MOGUL, J. C., RASHID, R. F., AND ACCETTA, M. J. The packet filter: An efficient mechanism for user-level network code. In ACM Symposium on Operating Systems Principles (November 1987), ACM Press, pp. 39-51. An updated version is available as DEC WRL Research Report 87/2.
31. PIKE, R., LOCANTHI, B., AND REISER, J. Hardware/software trade-offs for bitmap graphics on the Blit. Software - Practice and Experience 15, 2 (February 1985), 131-151.
32. POLETTO, M., ENGLER, D. R., AND KAASHOEK, M. F. tcc: A template-based compiler for 'C. In WCSSS'96 Workshop on Compiler Support for System Software (February 1996), pp. 1-7.
33. PU, C., AUTREY, T., BLACK, A., CONSEL, C., COWAN, C., INOUYE, J., KETHANA, L., WALPOLE, J., AND ZHANG, K. Optimistic incremental specialization: Streamlining a commercial operating system. In Symposium on Operating Systems Principles (December 1995).
34. TARDITI, D., MORRISETT, J. G., CHENG, P., STONE, C., HARPER, R., AND LEE, P. TIL: A type-directed optimizing compiler for ML. In PLDI'96 Conference on Programming Language Design and Implementation (May 1996).
35. THOMPSON, K. Regular expression search algorithm. Communications of the Association for Computing Machinery 11, 6 (June 1968), 419-422.
36. VOLANSCHI, E.-N., MULLER, G., AND CONSEL, C. Safe operating system specialization: the RPC case study. In WCSSS'96 Workshop on Compiler Support for System Software (February 1996).
37. WAINWRIGHT, R. L., AND SEXTON, M. E. A study of sparse matrix representations for solving linear systems in a functional language. Journal of Functional Programming 2, 1 (January 1992), 61-72.