Static and dynamic program compilation by interpreter specialization

Higher-Order and Symbolic Computation

Volumn 13, Issue 3, 2000, Pages 161-178

  Thibault, Scott ^a,c   Consel, Charles ^a,d   Lawall, Julia L ^b,e   Marlet, Renaud ^a,f   Muller, Gilles ^a  

^a CAMPUS DE BEAULIEU   (France)

^b BOSTON UNIVERSITY   (United States)

^c Gn Mt Computing Systems Inc   (United States)

^d UNIVERSITÉ BORDEAUX 1   (France)

^e UNIVERSITY OF COPENHAGEN   (Denmark)

^f Trusted Logic   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; PROGRAM INTERPRETERS;

BYTECODE LANGUAGES; DOMAIN SPECIFIC LANGUAGES; DYNAMIC PROGRAM COMPILATION; INTERPRETER SPECIALIZATION; RUN TIME CODE GENERATION;

PROGRAM COMPILERS;

EID: 0034266915     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010078412711     Document Type: Article

References (51)

1. Andersen, L.O. Program analysis and specialization for the C programming language. Ph.D. Thesis, Computer Science Department, University of Copenhagen, May 1994. DIKU Technical Report 94/19.
2. Andersen, L.O. Program analysis and specialization for the C programming language. Ph.D. Thesis, Computer Science Department, University of Copenhagen, May 1994. DIKU Technical Report 94/19.
3. Arnold, B.R.T., van Deursen, A., and Res, M. An algebraic specification of a language for describing financial products. In ICSE-17 Workshop on Formal Methods Application in Software Engineering, April 1995, pp. 6-13.
4. Auslander, J., Philipose, M., Chambers, C., Eggers, S., and Bershad, B.N. Fast, effective dynamic compilation. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, Philadelphia, PA, May 1996, pp. 149-159. ACM SIGPLAN Notices, 31(5).
5. Auslander, J., Philipose, M., Chambers, C., Eggers, S., and Bershad, B.N. Fast, effective dynamic compilation. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, Philadelphia, PA, May 1996, pp. 149-159. ACM SIGPLAN Notices, 31(5).
6. Bondorf, A. and Palsberg, J. Generating action compilers by partial evaluation. Journal of Functional Programming, 6(2) (1996) 269-298.
7. Conference on Domain Specific Languages, Santa Barbara, CA, Usenix, Oct. 1997.
8. Consel, C. and Danvy, O. Static and dynamic semantics processing. In Conference Record of the Eighteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, Orlando, FL, USA, ACM Press, Jan. 1991.
9. Consel, C. and Danvy, O. Tutorial notes on partial evaluation. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, Charleston, SC, USA, ACM Press, Jan. 1993, pp. 493-501.
10. Consel, C. and Danvy, O. For a better support of static data flow. In Lecture Notes in Computer Science, Vol. 523: Functional Programming Languages and Computer Architecture, J. Hughes (Ed.). Springer Verlag, Cambridge, MA, USA, Aug. 1991, pp. 496-519.
11. Consel, C., Hornof, L., Lawall, J., Marlet, R., Muller, G., Noyé, J., Thibault, S., and Volanschi, N. Tempo: Specializing systems applications and beyond. ACM Computing Surveys, Symposium on Partial Evaluation, 30(3) (1998).
12. Consel, C., Hornof, L., Noël, F., Noyé, J., and Volanschi, E.N. A uniform approach for compile-time and run-time specialization. In Partial Evaluation, International Seminar, Dagstuhl Castle, O. Danvy, R. Glück, and P. Thiemann (Eds.). Feb. 1996, pp. 54-72. Lecture Notes in Computer Science, Vol. 1110.
13. Consel, C., Hornof, L., Noël, F., Noyé, J., and Volanschi, E.N. A uniform approach for compile-time and run-time specialization. In Partial Evaluation, International Seminar, Dagstuhl Castle, O. Danvy, R. Glück, and P. Thiemann (Eds.). Feb. 1996, pp. 54-72. Lecture Notes in Computer Science, Vol. 1110.
14. Consel, C. and Khoo, S.C. Semantics-directed generation of a Prolog compiler. In Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming, J. Maluszyński and M. Wirsing (Eds.). Passau, Germany, Aug. 1991, pp. 135-146. Lecture Notes in Computer Science, Vol. 528, Springer-Verlag.
15. Consel, C. and Khoo, S.C. Semantics-directed generation of a Prolog compiler. In Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming, J. Maluszyński and M. Wirsing (Eds.). Passau, Germany, Aug. 1991, pp. 135-146. Lecture Notes in Computer Science, Vol. 528, Springer-Verlag.
16. Consel, C. and Noël, F. A general approach for run-time specialization and its application to C. In Conference Record of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, St. Petersburg Beach, FL, USA, ACM Press, Jan. 1996, pp. 145-156.
17. Engler, D.R. and Kaashoek, M.F. DPF: Fast, flexible message demultiplexing using dynamic code generation. In SIGCOMM Symposium on Communications Architectures and Protocols, Stanford University, CA, ACM Press, Aug. 1996, pp. 26-30.
18. Gosling, J., Joy, B., and Steele, G. The Java Language Specification. Addison-Wesley, 1996. ISBN 0-201-63451-1.
19. Hicks, M., Kakkar, P., Moore, J.T., Gunter, C.A., and Nettles, S. PLAN: A packet language for active networks. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages, ACM, June 1998, pp. 86-93. ACM SIGPLAN Notices, 34(1).
20. Hicks, M., Kakkar, P., Moore, J.T., Gunter, C.A., and Nettles, S. PLAN: A packet language for active networks. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming Languages, ACM, June 1998, pp. 86-93. ACM SIGPLAN Notices, 34(1).
21. Hornof, L. and Jim, T. Certifying compilation and run-time code generation. Higher-Order and Symbolic Computation, 12(4) (1999) 337-376.
22. Hornof, L. and Noyé, J. Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, ACM Press, June 1997, pp. 63-73.
23. Hornof, L., Noyé, J., and Consel, C. Effective specialization of realistic programs via use sensitivity. In Lecture Notes in Computer Science, Vol. 1302: Proceedings of the Fourth International Symposium on Static Analysis, SAS'97, P. Van Hentenryck (Ed.), Paris, France. Springer-Verlag, Sept. 1997, pp. 293-314.
24. Jones, N.D. Automatic program specialization: A re-examination from basic principles. In Partial Evaluation and Mixed Computation, D. Bjørner, A.P. Ershov, and N.D. Jones (Eds.). North-Holland, 1988, pp. 225-282.
25. Jones, N.D., Gomard, C., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, June 1993. International Series in Computer Science.
26. Jones, N.D., Gomard, C., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, June 1993. International Series in Computer Science.
27. Khoo, S.C. and Sundaresh, R.S. Compiling inheritance using partial evaluation. In Partial Evaluation and Semantics-Based Program Manipulation, New Haven, CT, USA, Sept. 1991, pp. 211-222. ACM SIGPLAN Notices, 26(9).
28. Khoo, S.C. and Sundaresh, R.S. Compiling inheritance using partial evaluation. In Partial Evaluation and Semantics-Based Program Manipulation, New Haven, CT, USA, Sept. 1991, pp. 211-222. ACM SIGPLAN Notices, 26(9).
29. Ladd, D. and Ramming, C. Two application languages in software production. In USENIX Symposium on Very High Level Languages, New Mexico, Oct. 1994.
30. Ladd, D.A. and Ramming, J.C. Programming the Web: An application-oriented language for hypermedia service programming. In Fourth International World Wide Web Conference, Boston, Massachusetts, Dec. 1995.
31. McCanne, S. and Jacobson, V. The BSD packet filter: A new architecture for user-level packet capture. In Proceedings of the Winter 1993 USENIX Conference, San Diego, California, USA, USENIX, Jan. 1993, pp. 259-269.
32. Mogul, J.C., Rashid, R.F., and Accetta, M.J. The packet filter: An efficient mechanism for user-level network code. In The Proceedings of the 11th Symposium on Operating System Principles, Nov. 1987.
33. Muller, G., Marlet, R., and Volanschi, E.N. Accurate program analyses for successful specialization of legacy system software. Theoretical Computer Science, 248(1-2) (2000). To appear in TCS Volume 248/1-2.
34. Muller, G., Marlet, R., and Volanschi, E.N. Accurate program analyses for successful specialization of legacy system software. Theoretical Computer Science, 248(1-2) (2000). To appear in TCS Volume 248/1-2.
35. Muller, G., Marlet, R., Volanschi, E.N., Consel, C., Pu, C., and Goel, A. Fast, optimized Sun RPC using automatic program specialization. In Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, IEEE Computer Society Press, May 1998, pp. 240-249.
36. Muller, G., Moura, B., Bellard, F., and Consel, C. Harissa: A flexible and efficient Java environment mixing bytecode and compiled code. In Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems, Portland, Oregon, USA, Usenix. June 1997, pp. 1-20.
37. Muller, G. and Schultz, U. Harissa: A hybrid approach to Java execution. IEEE Software, (1999) 44-51.
38. Necula, G. and Lee, P. Safe kernel extensions without run-time checking. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, Seattle, Washington, Oct. 1996, pp. 229-243.
39. Noël, F., Hornof, L., Consel, C., and Lawall, J. Automatic, template-based run-time specialization: Implementation and experimental study. In International Conference on Computer Languages, Chicago, IL, IEEE Computer Society Press, May 1998, pp. 132-142. Also available as IRISA report PI-1065.
40. Piumarta, I. and Riccardi, F. Optimizing directed threaded code by selective inlining. In PLDI'98 [33], pp. 291-300.
41. Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation, Montreal, Canada, 17-19 June 1998.
42. Schmidt, D.A. Denotational Semantics: a Methodology for Language Development. Allyn and Bacon, Inc., 1986.
43. Schultz, U., Lawall, J., Consel, C., and Muller, G. Towards automatic specialization of Java programs. In Proceedings of the European Conference on Object-oriented Programming (ECOOP'99), Lisbon, Portugal, June 1999, pp. 367-390. Lecture Notes in Computer Science, Vol. 1628.
44. Schultz, U., Lawall, J., Consel, C., and Muller, G. Towards automatic specialization of Java programs. In Proceedings of the European Conference on Object-oriented Programming (ECOOP'99), Lisbon, Portugal, June 1999, pp. 367-390. Lecture Notes in Computer Science, Vol. 1628.
45. Taha, W., Benaissa, W., and Sheard, T. Multi-stage programming: Axiomatization and type safety. In Automata, Languages and Programming, 25th International Colloquium (ICALP'98), Aalborg, Denmark, July 1998, pp. 918-929. Lecture Notes in Computer Science, Vol. 1443.
46. Taha, W., Benaissa, W., and Sheard, T. Multi-stage programming: Axiomatization and type safety. In Automata, Languages and Programming, 25th International Colloquium (ICALP'98), Aalborg, Denmark, July 1998, pp. 918-929. Lecture Notes in Computer Science, Vol. 1443.
47. Thibault, S., Consel, C., and Muller, G. Safe and efficient active network programming. In 17th IEEE Symposium on Reliable Distributed Systems, West Lafayette, Indiana, Oct. 1998, pp. 135-143.
48. Thibault, S., Marant, J., and Muller, G. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, Texas, IEEE Computer Society Press, May 1999, pp. 234-243.
49. Thibault, S., Marlet, R., and Consel, C. Domain-specific languages: From design to implementation -Application to video device drivers generation. IEEE Transactions on Software Engineering, 25(3) (1999) 363-377.
50. Volanschi, E.N. An automatic approach to specializing system components. Ph.D. Thesis, Université de Rennes I, Feb. 1998.
51. Wickline, P., Lee, P., and Pfenning, F. Run-time code generation and Modal-ML. In PLDI'98 [33], pp. 224-235.