A uniform approach for compile-time and run-time specialization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1110, Issue , 1996, Pages 54-72

  Consel, Charles ^a   Hornof, Luke ^a   Noël, François ^a   Noyé, Jacques ^a   Volanschi, Nicola ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE;

APPLICATION AREA; CRITICAL ISSUES; DESIGN PRINCIPLES; PARTIAL EVALUATION; PREPROCESSING PHASE; PROGRAM TRANSFORMATION TECHNIQUES; REALISTIC PROJECTS; SYSTEM SOFTWARES;

C (PROGRAMMING LANGUAGE);

EID: 84957714677     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61580-6_4     Document Type: Conference Paper

References (44)

1. L.O. Andersen. - Self-applicable C program specialization. - In Partial Evaluation and Semantics-Based Program Manipulation, pages 54-61, San Francisco, CA, USA, June 1992. Yale University, Hew Haven, CT, USA. - Technical Report YALEU/DCS/RR-909.
2. L.O. Andersen. - Program Analysis and Specialization for the C Programming Language. - PhD thesis, Computer Science Department, University of Copenhagen, May 1994. - DIKU Technical Report 94/19.
3. J. Auslander, M. Philipose, C. Chambers, S.J. Eggers, and B.N. Bershad. - Fast, effective dynamic compilation. - In PLDI96 [35]. - To appear.
4. R. Baier, R. Gliick, and R. Zochling. - Partial evaluation of numerical programs in Fortran. - In PEPM94 [33], pages 119-132.
5. B.N. Bershad, S. Savage, P. Pardyak, E. Giin Sirer, M.E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. - Extensibility, safety and performance in the SPIN operating system. - In SOSP95 [41], pages 267-283.
6. L. Birkedal and M. Welinder. - Partial evaluation of Standard ML. - Master's thesis, Computer Science Department, University of Copenhagen, 1993. - Research Report 93/22.
7. D.R. Chase, M. Wegman, and F. Kenneth Zadeck. - Analysis of pointers and structures. - In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 296-310, White Plains, NY, USA, June 1990. ACM Press. - ACM SIGPLAN Notices, 25(6).
8. C. Consel. - Polyvariant binding-time analysis for applicative languages. - In PEPM93 [32], pages 145-154.
9. C. Consel. - A tour of Schism. - In PEPM93 [32], pages 66-77.
10. d European Symposium on Programming, volume 432 of Lecture Notes in Computer Science, pages 88-105. Springer-Verlag, 1990.
11. th ACM conference on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 496-519, Cambridge, MA, USA, August 1991. Springer-Verlag.
12. th Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, pages 493-501, Charleston, SC, USA, January 1993. ACM Press.
13. C. Consel and F. Noel. - A general approach for run-time specialization and its application to C. - In POPL96 [36], pages 145-156.
14. C. Consel, C. Pu, and J. Walpole. - Incremental specialization: The key to high performance, modularity and portability in operating systems. - In PEPM93 [32], pages 44-46. - Invited paper.
15. C. Consel, C. Pu, and J. Walpole. - Making production OS kernel adaptive: Incremental specialization in practice. - Technical report, Department of Computer Science and Engineering, Oregon Graduate Institute of Science & Technology, 1994.
16. M. Emami, R. Ghiya, and L.J. Hendren. - Context-sensitive interprocedural points-to analysis in the presence of function pointers. - In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 242-256. ACM Press, June 1994. - ACM SIGPLAN Notices, 29(6).
17. D.R. Engler, W.C. Hsieh, and M.F. Kaashoek. - 'C: A language for high-level, efficient, and machine-independent dynamic code generation. - In POPL96 [36], pages 131-144.
18. D.R. Engler, M.F. Kaashoek, and J.W. O'Toole. - Exokernel: An operating system architecture for application-level resource management. - In SOSP95 [41], pages 251-266.
19. D.R. Engler and T.A. Proebsting. - DCG: An efficient retargetable dynamic code generation system. - In Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS VI), pages 263-273. ACM Press, November 1994.
20. A.M. Erosa and L.J. Hendren. - Taming control flow: A structured approach to eliminating goto statements. - In Proceedings of the IEEE 1994 International Conference on Computer Languages, May 1994.
21. A.P. Ershov. - On the essence of translation. - Computer Software and System Programming, 3(5):332-346, 1977.
22. N.D. Jones, C. Gomard, and P. Sestoft. - Partial Evaluation and Automatic Program Generation. - International Series in Computer Science. Prentice-Hall, June 1993.
23. N.D. Jones and S.S. Muchnick. - TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages, volume 66 of Lecture Notes in Computer Science. - Springer-Verlag, 1978.
24. N.D. Jones, P. Sestoft, and H. Sondergaard. - Mix: a self-applicable partial evaluator for experiments in compiler generation. - Lisp and Symbolic Computation, 2(1):9-50, 1989.
25. D. Keppel, S. Eggers, and R. Henry. - Evaluating runtime compiled value-specific optimizations. - Technical Report 93-11-02, Department of Computer Science, University of Washington, Seattle, WA, 1993.
26. M. Leone and P. Lee. - Lightweight run-time code generation. - In PEPM94 [33].
27. M. Leone and P. Lee. - Optimizing ML with run-time code generation. - In PLDI96 [35]. - To appear.
28. U. Meyer. - Techniques for partial evaluation of imperative languages. - In Partial Evaluation and Semantics-Based Program Manipulation, pages 94-105, Hew Haven, CT, USA, September 1991. - ACM SIGPLAN Notices, 26(9).
29. A.B. Montz, D. Mosberger, S.W. O'Malley, L.L. Peterson, T.A. Proebsting, and J.H. Hartman. - Scout: A communications-oriented operating system. - Technical Report 94-20, Department of Computer Science, The University of Arizona, 1994.
30. F. Nielson. - A denotational framework for data flow analysis. - Acta Informatica, 18(3):265-287, 1982.
31. th Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, pages 269-280, Albuquerque, New Mexico, USA, January 1992. ACM Press.
32. V. Nirkhe Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993. Yale University, Hew Haven, CT, USA.
33. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Technical Report 94/9, University of Melbourne, Australia, 1994.
34. Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation. ACM Press, June 1995. - ACM SIGPLAN Notices, 30(6).
35. Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, Philadelphia, PA, May 1996. ACM Press. — To appear.
36. d Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, St. Petersburg Beach, FL, USA, January 1996. ACM Press.
37. C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, and K. Zhang. — Optimistic incremental specialization: Streamlining a commercial operating system. — In SOSP95 [41], pages 314-324.
38. C. Pu, H. Massalin, and J. Ioannidis. — The Synthesis kernel. — Computing Systems, 1(1):11-32, Winter 1988.
39. V. Rozier, V. Abrossimov, F. Armand, I. Houle, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Leonard, and W. Neuhauser. — Overview of the Chorus distributed operating system. — In USENIX - Workshop Proceedings - Micro-kernels and Other Kernel Architectures, pages 39-70, Seattle, WA, USA, April 1992.
40. E. Ruf. — Context-insensitive alias analysis reconsidered. — In PLDI95 [34], pages 13-22. — ACM SIGPLAN Notices, 30(6).
41. Proceedings of the 1995 ACM Symposium on Operating Systems Principles, Copper Mountain Resort, CO, USA, December 1995. ACM Operating Systems Reviews, 29(5).
42. E.N. Volanschi, G. Muller, and C. Consel. — Safe operating system specialization: the RPC case study. — In Workshop Record of WCSSS'96 — The Inaugural Workshop on Compiler Support for Systems Software, pages 24-28, Tucson, AZ, USA, February 1996.
43. R.P. Wilson, R.S. French, C.S. Wilson, S.P. Amarasinghe, J.M. Anderson, S.W.K. Tjiang, S.-W. Liao, C.-W. Tseng, M.W. Hall, M.S. Lam, and J.L. Hennessy. — SUIF: An infrastructure for research on parallelizing and optimizing compilers. —ACM SIGPLAN Notices, 29(12):31-37, December 94.
44. R.P. Wilson and M.S. Lam. — Efficient context-sensitive pointer analysis of C programs. — In PLDI95 [34], pages 1-12. — ACM SIGPLAN Notices, 30(6).