DyC: An expressive annotation-directed dynamic compiler for C

Theoretical Computer Science

Volumn 248, Issue 1-2, 2000, Pages 147-199

  Grant, Brian ^a   Mock, Markus ^a   Philipose, Matthai ^a   Chambers, Craig ^a   Eggers, Susan J ^a  

^a University of Washington   (United States)

Author keywords

C language; Constant folding; Dataflow analysis; Dynamic compilation; Partial evaluation; Program optimization; Run time code generation; Specialization

Indexed keywords

EID: 0000052043     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00051-7     Document Type: Article

References (28)

1. D.R. Engler, W.C. Hsieh, M.F. Kaashoek, 'C: A language for high-level, efficient, and machine-independent dynamic code generation, Conf. Record of POPL '96: 23rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, January 1996, pp. 131-144.
2. M. Poletto, D.R. Engler, M.F. Kaashoek, tcc: A system for fast, flexible, and high-level dynamic code generation, SIGPLAN Notices, Proc. ACM SIGPLAN '97 Conf. on Programming Language Design and Implementation, June 1997, pp. 109-121.
3. D.R. Engler, T.A. Proebsting, DCG: an efficient, retargetable dynamic code generator, Proc. 6th Internat. Conf. on Architectural Support for Programming Languages and Operating Systems, October 1994, pp. 263-273.
4. M. Leone, P. Lee, Optimizing ML with run-time code generation, SIGPLAN Notices, Proc. ACM SIGPLAN '96 Conf. on Programming Language Design and Implementation, May 1996, pp. 137-148.
5. C. Consel, F. Noël, A general approach for run-time specialization and its application to C, Conf. Record of POPL '96: 23rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, January 1996, pp. 145-156.
6. J. Auslander, M. Philipose, C. Chambers, S. Eggers, B. Bershad, Fast, effective dynamic compilation, SIGPLAN Notices, Proc. ACM SIGPLAN '96 Conf. on Programming Language Design and Implementation, May 1996, pp. 149-159.
7. A. Goldberg, D. Robson, Smalltalk-80: The Language and its Implementation, Addision-Wesley, Reading, MA, 1983.
8. Lindholm and Yellin, 1997.
9. E.G. Sirer, Measuring limits of fine-grain parallelism, Princeton University Senior Project, June 1993.
10. N.D. Jones, C.K. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice-Hall, Englewood cliffs, NJ, 1993.
11. B.W. Kernighan, D.M. Ritchie, The C Programming Language, 2nd ed., Prentice-Hall, Englewood cliffs, NJ, 1988.
12. R.P. Wilson, M.S. Lam, Efficient context-sensitive pointer analysis for C programs, SIGPLAN Notices, Proc. ACM SIGPLAN '95 Conf. on Programming Language Design and Implementation, June 1995, pp. 1-12.
13. B. Steensgaard, Points-to analysis in almost linear time, Conf. Record of POPL '96: 23rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, January 1996, pp. 32-41.
14. U. Meyer, Techniques for partial evaluation of imperative languages, Proc. Symp. on Partial Evaluation and Semantics-Based Program Manipulation '91, Published as SIGPLAN Notices 26(9). June 1991, pp. 94-105.
15. R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, F.K. Zadeck, An efficient method of computing static single assignment form, Conf. Record of the 16th Ann. ACM Symp. on Principles of Programming Languages, January 1989, pp. 25-35.
16. J. Ferrante, K.J. Ottenstein, J.D. Warren, The program dependence graph and its use in optimization, ACM trans. programming languages systems 9 (3) (1987) 319-349.
17. Lowney et al., 1993.
18. Scott Thibault, Charles Consel, Gilles Muller, Safe and efficient active network programming, Technical Report Research Report 1170, IRISA, January 1998.
19. A.M. Erosa, L.J. Hendren, Taming control flow: a structured approach to eliminating goto statements, Proc. 1994 IEEE Internat. Conf. on Computer Languages, May 1994, pp. 229-240.
20. C. Consel, L. Hornof, F. Noël, J. Noyé, N. Volanschi, A uniform approach for compile-time and run-time specialization, in: O. Danvy, R. Glück (Eds.), Partial Evaluation. Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science, Vol. 1110, Springer, Berlin, 1996, pp. 54-72.
21. E.N. Volanschi, C. Consel, G. Muller, C. Cowan, Declarative specialization of object-oriented programs, SIGPLAN Notices 32 (10) (1997) 286-300.
22. M. Leone, P. Lee, Optimizing ML with run-time code generation, Technical Report CMU-CS-95-205, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 1995.
23. L.O. Andersen, Self-applicable C program specialization, Proc. Workshop on Partial Evaluation and Semantics-Based Program Manipulation '92, June 1992, pp. 54-61. Published as Yale University Technical Report YALEU/DCS/RR-909.
24. L.O. Andersen, Program analysis and specialization for the C programming language, Ph.D. Thesis, DIKU, University of Copenhagen, Denmark, 1994. Published as DIKU Research Report 94/19.
25. L.O. Andersen, C program specialization, Technical Report 92/14, DIKU, University of Copenhagen, Denmark, May 1992.
26. C. Consel, A tour of Schism: A partial evaluation system for higher-order applicative languages, Proc. Symp. on Partial Evaluation and Semantics-Based Program Manipulation '93 (1993) 145-154.
27. D. Weise, R. Conybeare, E. Ruf, S. Seligman, Automatic online partial evaluation, in: J. Hughes (Ed.), Record of the 1991 Conf. on Functional Programming Languages and Computer Architecture, Cambridge, MA, 1991. Lecture Notes in Computer Science Vol. 523, Springer, Berlin, 1991, pp. 165-191.
28. D. Keppel, Runtime code generation, Ph.D. Thesis, University of Washington, 1996.