Annotation-Directed Run-Time Specialization in C

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 12, 1997, Pages 163-178

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

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347306284     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258994.259016     Document Type: Article

References (23)

1. L.O. Andersen. Self-Applicable C Program Specialization. pages 54-61, June 1992.
2. L.O. Andersen. Program Analysis and Specialitation for the C Programming Language. PhD thesis, 1994. DIKU Research Report 94/19.
3. J. Auslander, M. Philipose, C. Chambers S. Eggers, and B. Bershad. Fast, Effective Dynamic Compilation. SIGPLAN Notices, pages 149-159, May 1996. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation.
4. C. Consel and F. Noël. A General Approach for Run-Time Specialization and its Application to C. In Conference Record of POPL '96: 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 145-156, St. Petersburg, Florida, January 1996.
5. C. Consel. A Tour of Schism: A Partial Evaluation System for Higher-Order Applicative Languages, pages 145-154, 1993.
6. C. Consel, L. Homof, F. Noël, J. Noyé, and N. Volanschi. A Uniform Approach for Compile-Time and Run-Time Specialization. volume 1110 of Lecture Notes in Computer Science, pages 54-72, 1996.
7. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. An Efficient Method of Computing Static Single: Assignment Form. In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 25-35, Austin, Texas, January 1989.
8. D. R. Engler and T. A. Proebsting. DCG: An Efficient, Retargetable Dynamic Code Generator. In Sixth International Conference on Architectural Support for Programming Languages a nd Operating Systems (ASPLOS-VI), pages 263-273, October 1994.
9. D. R. Engler, W. C. Hsieh, and M. F. Kaashoek. 'C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. In Conference Record of POPL '96: 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 131-144, St. Petersburg, Florida, January 1996.
10. A.M. Erosa and L.J. Hendren. Taming Control Flow: A Structured Approach to Eliminating goto Statements. In Proceedings of 1994 IEEE International Conference on Computer Languages, pages 229-240, May 1994.
11. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The Program Dependence Graph and its Use in Optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
12. A. Goldberg and D. Robson. Smalltalk-80: The Lanaguge and its Implementation. Addision-Wesley, Reading, MA, 1983.
13. B. Grant, M. Mock, M. Philipose, C. Chambers, and S. Eggers. Annotation-Directed Runtime Specialization in C. Technical Report UW-CSE-97-03-03, University of Washington, April 1997.
14. N. D. Jones, C. K. Gomarde, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, New York, NY, 1993.
15. B. W. Kernighan and D. M. Ritchie. The C Programming Language (second edition). Prentice Hall, Englewood Cliffs, NJ, 1988.
16. M. Leone and P. Lee. Optimizing ML with Run-Time Code Generation. Technical report CMU-CS-95-205, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, December 1995.
17. M. Leone and P. Lee. Optimizing ML with Run-Time Code Generation. SIGPLAN Notices, pages 137-148, May 1996. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation.
18. T. Lindholm and F. Yellin. Inside the Java Virtual Machine. Unix Review, 15(1):31-32, January 1997.
19. P. G. Lowney, S. M. Freudenberger, T. J. Karzes, W. D. Lichtenstein, R. P. Nix, J. S. O'Donnell, and J. C. Ruttenberg. The Multiflow Trace Scheduling Compiler. Journal of Supercomputing, 7(1), May 1993.
20. M. Poletto, D. R. Engler, and M. F. Kaashoek. tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. SIGPLAN Notices, page To Appear, June 1997. In Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation.
21. B. Steensgaard. Points-to Analysis in Almost Linear Time. In Conference Record of POPL '96: 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32-41, St. Petersburg, Florida, January 1996.
22. D. Weise, R. Conybeare, E. Ruf, and S. Seligman. Automatic online partial evaluation. In Functional Programming & Computer Architecture, June 1991.
23. R. P. Wilson and M. S. Lam. Efficient Context-Sensitive Pointer Analysis for C Programs. SIGPLAN Notices, pages 1-12, June 1995. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation.