Annotation-directed run-time specialization in C

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 1997, Pages 163-178

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

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; SEMANTICS; BUFFER STORAGE; COMPUTATIONAL LINGUISTICS; OPTIMIZATION; PROGRAM COMPILERS; PROGRAM DEBUGGING; PROGRAM INTERPRETERS;

BINDING TIME ANALYSIS; CACHING STRATEGY; CONTROL FLOW GRAPHS; DEMAND-DRIVEN; DYNAMIC COMPILATION; OPTIMIZING COMPILERS; PROGRAM POINTS; USER ANNOTATIONS;

COMPUTER PROGRAMMING LANGUAGES; C (PROGRAMMING LANGUAGE);

BINDING TIME ANALYSIS; DYNAMIC COMPILATION SYSTEM; SPECIALIZED RUN TIME SPECIALIZER;

EID: 0030705868     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258993.259016     Document Type: Conference Paper

References (23)

1. L.O. Andersen. Self-Applicable C Program Specialization. pages 54-61, June 1992.
2. L.O. Andersen. Program Analysis and Specialization/or 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 RunTime 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. Noel, 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. X: 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. ACAf 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(l):31-32, January 1997.
19. P. G. Lowney, S. M. Freudenberger, T. J. Karzes, W. D. Lichtenstein, R. P. Nix, J. S. ODonnell, 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-SI-GACT 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.