Accurate program analyses for successful specialization of legacy system software

Theoretical Computer Science

Volumn 248, Issue 1-2, 2000, Pages 201-210

  Muller, Gilles ^a   Marlet, Renaud ^a   Volanschi, Eugen Nicolae ^a,b  

^a CAMPUS DE BEAULIEU   (France)

^b Canon Research Centre France   (France)

Author keywords

Partial evaluation; Program analysis; Program transformation; Remote procedure call (RPC)

Indexed keywords

EID: 0012344776     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00052-9     Document Type: Article

References (40)

1. L.O. Andersen, 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. S. Chirokoff, C. Consel, Combining program and data specialization, in: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, TX, USA, ACM Press, New York, January 1999, pp. 45-49.
3. D.D. Clark, D.L. Tennenhouse, Architectural considerations for a new generation of protocols, in: SIGCOMM Symp. on Communications Architectures and Protocols, Philadelphia, PA, ACM Press, New York, September 1990, pp. 200-208.
4. C. Consel, Program adaptation based on program transformation, ACM Comput. Surveys 28(4es) (1996) 164-167.
5. C. Consel, O. Danvy, Tutorial notes on partial evaluation, in: Conference Record of the 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Charleston, SC, USA, ACM Press, New York, January 1993, pp. 493-501.
6. C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé, S. Thibault, N. Volanschi, Tempo. Specializing systems applications and beyond, ACM Comput. Surveys, Symp. Partial Evaulation 30(3) (1998).
7. C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noyé, S. Thibault, N. Volanschi, Partial evaluation for software engineering, ACM Comput. Surveys, Symp. Partial Evaulation 30(3) 1998.
8. C. Consel, L. Hornof, F. Noël, J. Noyé, E.N. Volanschi, A uniform approach for compile-time and run-time specialization, in: O. Danvy, R. Glück, P. Thiemann (Eds.), Partial Evaluation, Internat. Seminar, Dagstuhl Castle, Lecture Notes in Computer Science, Vol. 110, Springer, Berlin, February 1996, pp. 54-72.
9. C. Consel, F. Noël, A general approach for run-time specialization and its application to C, in: Conf. Record of the 23rd Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, St. Petersburg Beach, FL, USA, ACM Press, New York, January 1996, pp. 145-156.
10. B. Grant, M. Mock, M. Philipose, C. Chambers, S. Eggers, Annotation-directed run-time specialization in C, in: PEPM'97 [25], pp. 163-178.
11. B. Grant, M. Philipose, M. Mock, C. Chambers, S. Eggers, An evaluation of staged run-time optimizations in DyC, in: PLDI'99 [26], pp. 293-304.
12. L. Hornof, J. Noyé, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, in: PEPM'97 [25], pp. 63-73.
13. L. Hornof, J. Noyé, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, Theoret. Comput. Sci. 248 (this Vol.) (2000) 3-27.
14. L. Hornof, J. Noyé, C. Consel, Effective specialization of realistic programs via use sensitivity, in: P. Van Hentenryck (Ed.), Proc. 4th Internat. Symposium on Static Analysis, SAS'97, Lecture Notes in Computer Science, Vol. 1302, Paris, France, Springer, Berlin, September 1997, pp. 293-314.
15. D.B. Johnson, W. Zwaenepoel, The Peregrine high-performance RPC system, Software - Practice Experience 23 (2) (1993) 201-221.
16. N.D. Jones, C. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, June 1993.
17. J.L. Lawall, Faster Fourier transforms via automatic program specialization, Research Report 3437, INRIA, Rennes, France, June 1998.
18. R. Marlet, C. Consel, P. Boinot, Efficient incremental run-time specialization for free, in: PLDI'99 [26], pp. 281-292.
19. R. Marlet, S. Thibault, C. Consel, Efficient implementations of software architectures via partial evaluation, J. Automat. Software Eng. 6 (1999) 411-440.
20. G. Muller, R. Marlet, E.N. Volanschi, C. Consel, C. Pu, A. Goel, Fast, optimized Sun RPC using automatic program specialization, in: Proc. 18th Internat. Conf. Distributed Computing Systems, Amsterdam, The Netherlands, IEEE Computer Society Press, Silver Spring, MD, May 1998, pp. 240-249.
21. G. Muller, U. Schultz, Harissa: a hybrid approach to Java execution, IEEE Software (1999) 44-51.
22. G. Muller, E.N. Volanschi, R. Marlet, Scaling up partial evaluation for optimizing the Sun commercial RPC protocol, in: PEPM' 97 [25], pp. 116-125.
23. F. Noël, L. Hornof, C. Consel, J. Lawall, Automatic, template-based run-time specialization: implementation and experimental study, in: Internat. Conf. Computer Languages, Chicago, IL, May 1998; IEEE Computer Society Press, Silver Spring, MD, pp. 132-142. Also available as IRISA Report PI-1065.
24. F. Noël, L. Hornof, C. Consel, J. Lawall, Automatic, template-based run-time specialization: implementation and experimental study, in: Internat. Conf. Computer Languages, Chicago, IL, May 1998; IEEE Computer Society Press, Silver Spring, MD, pp. 132-142. Also available as IRISA Report PI-1065.
25. S. O'Malley, T. Proebsting, A.B. Montz, USC: a universal stub compiler, Technical Report TR94-10, University of Arizona, Department of Computer Science, 1994. Also in Proc. Conf. on Communications Archi. Protocols and Applications.
26. S. O'Malley, T. Proebsting, A.B. Montz, USC: a universal stub compiler, Technical Report TR94-10, University of Arizona, Department of Computer Science, 1994. Also in Proc. Conf. on Communications Archi. Protocols and Applications.
27. Proc. ACM SIGPLAN Symp. Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, ACM Press, New York, June 1997.
28. Proc. ACM SIGPLAN'99 Conf. Programming Language Design and Implementation, Atlanta, Georgia, US, 1-4 May 1999.
29. C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, in: Proc. 1995 ACM Symp. on Operating Systems Principles, Copper Mountain Resort, CO, USA, December 1995, ACM Press, New York, pp. 314-324; ACM Oper. Systems Rev. 29(5).
30. C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, in: Proc. 1995 ACM Symp. on Operating Systems Principles, Copper Mountain Resort, CO, USA, December 1995, ACM Press, New York, pp. 314-324; ACM Oper. Systems Rev. 29(5).
31. C. Pu, H. Massalin, J. Ioannidis, The Synthesis kernel, Comput. Systems 1(1) (1988) 10-32.
32. R. Ramsey, All about administering NIS+. SunSoft, 1993.
33. M.D. Schroeder, M. Burrows, Performance of Firefly RPC, ACM Trans. Comput. Systems 8(1) (1990) 1-17.
34. U. Schultz, J. Lawall, C. Consel, G. Muller, Towards automatic specialization of Java programs, in: Proc. European Conf. on Object-oriented Programming (ECOOP'99), Lisbon, Portugal, June 1999, to appear.
35. Sun Microsystem, NFS: Network file system protocol specification, RFC 1094, Sun Microsystem, March 1989.
36. C.A. Thekkath, H.M. Levy, Limits to low-latency communication on high-speed networks, ACM Trans. Comput. Systems 11(2) (1993) 179-203.
37. S. Thibault, L. Bercot, C. Consel, R. Marlet, G. Muller, J. Lawall, Experiments in program compilation by interpreter specialization, Research Report 3588, INRIA, Rennes, France, December 1998.
38. S. Thibault, C. Consel, G. Muller, Safe and efficient active network programming, in: 17th IEEE Symp. on Reliable Distributed Systems, West Lafayette, Indiana, October 1998, pp. 135-143.
39. S. Thibault, R. Marlet, C. Consel, A domain-specific language for video device drivers: from design to implementation, in: Conf. Domain Specific Languages, Santa Barbara, CA, Usenix, October 1997, pp. 11-26.
40. E.N. Volanschi, An automatic approach to specializing system components, Ph.D. Thesis, Université de Rennes I, February 1998.