Skip to main content

Models, languages, and compiler technology for high performance computers

  • Invited Papers
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1994 (MFCS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 841))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Walter Morris CCG: A Prototype Coagulating Code Generator Sigplan Notices, Vol. 26 No. 6, 1991

    Google Scholar 

  2. A. Geist, et. al PVM3 Users Guide and Reference Manual ORNL/TM-12187, Oak Ridge National Laboratory, Tennessee, May 1993

    Google Scholar 

  3. D. E. Culler, et al Introduction to Split-C EECS, UC Berkeley, Berkeley, CA 94720, April 1993

    Google Scholar 

  4. S. P. Amarasinghe and M. Lam Communication Optimization and Code Generation for Distributed Memory Machines Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation, June 1993

    Google Scholar 

  5. R.H. Bisseling and W. F. McColl Scientific Computing on Bulk Synchronous Parallel Architectures Preprint 836, Dept. of Mathematics, Utrecht University, December 1993

    Google Scholar 

  6. Thomas Cheatham The Unbundled Compiler Center for Research in Computing Technology, Harvard University, September 1993

    Google Scholar 

  7. T. Cheatham, A. Fahmy, and D. Stefanescu Supporting Multiple Evolving Compilers Center for Research in Computing Technology, Harvard University, December 1993

    Google Scholar 

  8. T. Cheatham, H. Gao, and D. Stefanescu A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter, Proceedings of the International Conference on Compiler Construction, Edinburgh, April 1994

    Google Scholar 

  9. D. Gannon, W. Jalby and K. Gallivan Strategies for cache and local memory management by global program transformation, Journal of Parallel and Distributed Computing, 5;586–616, 1988

    Google Scholar 

  10. A.V.Gerbessiotis and L.G.Valiant Direct bulk-synchronous parallel algorithms, Third Scandinavian Workshop on Algorithm Theory, vol. 621, pages 1–18, Springer Verlag, 1992

    Google Scholar 

  11. E. Heinz, M. Phillipson Synchronization Barrier Elimination in Synchronous FORALLs TR13/93 University of Karlsruhe, April 1993

    Google Scholar 

  12. W. F. McColl General Purpose Parallel Computing, In A.M. Gibbons and P.Spirakis, editors, Lectures on Parallel Computation, Proc. 1991 ALCOM Spring School on Parallel Computation, vol 4 of Cambridge International Series on Parallel Computation, Cambridge University Press, 1993

    Google Scholar 

  13. W. F. McColl An Architecture Independent Programming Model for Scalable Parallel Computing, General Purpose Parallel Computing Workshop, London, 1993

    Google Scholar 

  14. R. Miller A Library for Bulk-synchronous Parallel Programming, General Purpose Parallel Computing Workshop, London, 1993

    Google Scholar 

  15. M.E.Wolf and M.Lam A Data Locality Optimizing Algorithm, Conference on Programming Languages Design and Implementation'91, 1991

    Google Scholar 

  16. T. von Eicken, D.E.Culler. S.C. Goldstein and K.Schauser Active messages: a mechanism for integrated communication and computation, 19th Annual International Symposium on Computer Architecture Conference Proceedings, Australia, 1992

    Google Scholar 

  17. L. G. Valiant A Bridging Model for Parallel Computation Communications of the ACM, 33(8):103–111, 1990

    Google Scholar 

  18. S. Hiranandani, K.Kennedy, C.Tseng Compiling Fortran D for MIMD distributed-Memory Machines Communications of the ACM, August 1992

    Google Scholar 

  19. Thomas Cheatham, Haiming Gao, and Dan Stefanescu The Harvard Abstract Interpreter Technical Report, Harvard University, April 1993.

    Google Scholar 

  20. Dan Stefanescu and Yuli Zhou An Equational Framework for the Abstract Analysis of Functional Programs, Proceedings of ACM Conference on Lisp and Functional Programming, Orlando, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Igor Prívara Branislav Rovan Peter Ruzička

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cheatham, T. (1994). Models, languages, and compiler technology for high performance computers. In: Prívara, I., Rovan, B., Ruzička, P. (eds) Mathematical Foundations of Computer Science 1994. MFCS 1994. Lecture Notes in Computer Science, vol 841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58338-6_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-58338-6_55

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58338-7

  • Online ISBN: 978-3-540-48663-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics