skip to main content
article
Free Access

Tempo: specializing systems applications and beyond

Published:01 September 1998Publication History
First page image

References

  1. 1 TypeGuard, MemGuard, and Replugger publically available at are http://www.cse.ogi.edu/DISC/projects/synthetix/toolkit/.]]Google ScholarGoogle Scholar
  2. 2 The Java Specialization Classes compiler publically available at is http://www, irisa.fr/compose/sc/.]]Google ScholarGoogle Scholar
  3. BANNING, J. 1979. An efficient way to find the side effects of procedure calls and the aliases of variables. In Con}erence Record o} the 6th annual A CM Symposium on Principles O} Programming Languages (San Antonio, TX, USA, Jan. 1979), pp. 29-41. ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. CONSEL, C., HORNOF, L., NOL, F., NoY, J., AND VOLANSCHI, E. 1996. A uniform approach for compile-time and run-time specialization. In O. DANVY, R. GLCK, AND P. THIEMANN Eds., Partial Evaluation, International Seminar, Dagstuhl Castle, Number 1110 in Lecture Notes in Computer Science (Feb. 1996), pp. 54-72.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. CONSEL, C. AND NOL, F. 1996. A general approach for run-time specialization and its application to C. In Con}erence Record o} the 23rd Annual A CM SIGPLAN-SIGACT Symposium on Principles O} Programming Languages (St. Petersburg Beach, FL, USA, Jan. 1996), pp. 145-156. ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. CONSEL, C., Pu, C., AND WALPOLE, J. 1993. Incremental specialization: The key to high performance, modularity and portability in operating systems. In Partial Evaluation and Semantics-Based Program Manipulation (Copenhagen, Denmark, June 1993), pp. 44-46. ACM Press. Invited paper.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. EMAMI, M., GHIYA, R., AND HENDREN, L. 1994. Context-sensitive interprocedural pointsto analysis in the presence of function pointers. In Proceedings o} the A CM SIGPLAN '94 Conference on Programming Language Design and Implementation (June 1994), pp. 242-256. ACM SIGPLAN Notices, 29(6). ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. HORNOF, L. 1997. Static Analyses }or the Effective Specialization o} Realistic Applications. Ph.D. thesis, Universit de Rennes I.]]Google ScholarGoogle Scholar
  9. HORNOF, L. AND NoY, J. 1997. Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity. In A CM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (Amsterdam, The Netherlands, June 1997), pp. 63-73. ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. HORNOF, L., NoY, J., AND CONSEL, C. 1997. Effective specialization of realistic programs via use sensitivity. In P. VAN HENTENRYCK Ed., Proceedings of the Fourth International Symposium on Static Analysis, SAS'97, Volume 1302 of Lecture Notes in Computer Science (Paris, France, Sept. 1997), pp. 293-314. Springer-Verlag.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. MARLET, R., THIBAULT, S., AND CONSEL, C. 1997. Happing software architectures to efficient implementations via partial evaluation. In Conference on Automated Software Engineering (Lake Tahoe, Nevada, Nov. 1997), pp. 183-192. IEEE Computer Society.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. MULLER, G., MARLET, R., VOLANSCHI, E., CONSEL, C., Pu, C., AND GOEL, A. 1997. Fast, optimized Sun RPC using automatic program specialization. Rapport de recherche RR-3220 (July), INRIA, Rennes, France.]]Google ScholarGoogle Scholar
  13. HULLER, G., MOURA, B., BELLARD, F., AND CONSEL, C. 1997. 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, June 1997), pp. 1-20. Usenix.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. MULLER, G., VOLANSCHI, E., AND MARLET, R. 1997. Scaling up partial evaluation for optimizing the Sun commercial RPC protocol. In A CM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (Amsterdam, The Netherlands, June 1997), pp. 116-125. ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. NOL, F., HORNOF, L., CONSEL, C., AND LAWALL, J. 1996. Automatic, template-based runtime specialization : Implementation and experimental study. Rapport de recherche 1065 (Nov.), IRISA, Rennes, France.]]Google ScholarGoogle Scholar
  16. PU, C., AUTREY, T., BLACK, A., CONSEL, C., COWAN, C., INOUYE, J., KETHANA, L., WALPOLE, J., AND ZHANG, K. 1995. Optimistic incremental specialization: Streamlining a commercial operating system. In Proceedings of the 1995 A CM Symposium on Operating Systems Principles (Copper Mountain Resort, CO, USA, Dec. 1995), pp. 314-324. ACM Operating Systems Reviews, 29(5), ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. SCHROEDER, M. AND BURROWS, M. 1990. Performance of Firefly RPC. A CM Transactions on Computer Systems 8, 1 (February), 1-17. ACH Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. SUN MICROSYSTEM 1989. NFS: Network file system protocol specification. RFC 1094 (March), Sun Microsystem. ftp://ds.internic.net/rfc/1094.txt.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. THIBAULT, S. AND CONSEL, C. 1997. A framework of application generator design. In Pro ceedings of the Symposium on Software Reusability (May 1997), pp. 131-135. ACM Press. THIBAULT, S., MARLET, R., AND CONSEL, C. 1997. A domain-specific language for video device drivers: from design to implementation. In Conference on Domain Specific Languages (Santa Barbara, CA, Oct. 1997), pp. 11-26. Usenix.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. VOLANSCHI, E., CONSEL, C., MULLER, C., AND COWAN, C. 1997. Declarative specialization of object-oriented programs. In OOPSLA'97 Conference Proceedings (Atlanta, USA, Oct. 1997), pp. 286-300. ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. VOLANSCHI, E., MULLER, G., AND CONSEL, C. 1996. Safe operating system specialization: the RPC case study. In Workshop Record of WCSSS'96 - The Inaugural Workshop on Compiler Support for Systems Software (Tucson, AZ, USA, Feb. 1996), pp. 24-28.]]Google ScholarGoogle Scholar

Index Terms

  1. Tempo: specializing systems applications and beyond

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM Computing Surveys
            ACM Computing Surveys  Volume 30, Issue 3es
            Special issue: electronic supplement to the September 1998 issue
            Sept. 1998
            141 pages
            ISSN:0360-0300
            EISSN:1557-7341
            DOI:10.1145/289121
            Issue’s Table of Contents

            Copyright © 1998 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 September 1998
            Published in csur Volume 30, Issue 3es

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader