Costing parallel programs as a function of shapes

Science of Computer Programming

Volumn 37, Issue 1, 2000, Pages 207-224

  Jay, C Barry ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; DATA STRUCTURES; PARALLEL PROCESSING SYSTEMS;

FISH PROGRAMMING LANGUAGE; PARALLEL PROGRAMMING; SHAPE ANALYSIS TECHNIQUES;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0033742351     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(99)00027-1     Document Type: Article

References (33)

1. P. Au, J. Darlington, M. Ghanem, Y. Guo, H.W. To, J. Yang, Co-ordinating heterogeneous parallel computation, in Proceedings of Europar'96, 1996.
2. J.-M Andreoli, C. Hankin, D. Le Metayer (Eds.), Coordination Programming: Mechanisms, Models and Semantics, Harvill Pr, 1996.
3. R. Bird, P. Wadler, Introduction to Functional Programming. International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, 1988.
4. Cole M. Algorithmic Skeletons: Structured Management of Parallel Computation. 1989;MIT Press, Cambridge.
5. D.E. Culler et al., LogP: towards a realistic model of parallel computation, in: Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 1993.
6. F. Desprez, S. Domas, J. Dongarra, A. Petitet, C. Randriamaro, Y. Robert, More on scheduling block-cyclic array redistribution, in: Proceedings of the fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers (LCR98), vol. 1511 of Lecture Notes in Computer Science, pp. 275-287, Pittsburgh, PA, Springer, Berlin, 1998.
7. J. Darlington, Y.K. Guo, H.W. To, Y. Jing, Functional skeletons for parallel coordination, in Proceedings of Europar 95, 1995.
8. Gorlatch S. Programming with divide-and-conquer skeletons: An application to FFT. J. Supercomputing. 12(1-2):1998;85-97.
9. C.A. Herrmann, C. Lengauer, Parallelization of divide-and-conquer by translation to nested loops. Technical Report MIP-9705, Fakultät für Mathematik und Informatik, Universität Passau, March 1997. J. Functional Programming, to appear.
10. J.M.D. Hill, D. Skillicorn, Lessons learned from implementing BSP, J. Future Generation Comput. Systems (1998).
11. Jay C.B. A semantics for shape. Sci. Comput. Program. 25:1995;251-283.
12. Jay C.B. Shape in computing. ACM Comput. Surveys. 28(2):1996;355-357.
13. C.B. Jay, The FISh language definition. http://www-staff.socs.uts.edu.au/ ̃cbj/Publications/fishdef.ps.gz, 1998.
14. C.B. Jay, Poly-dimensional array programming. http://www-staff.socs.uts.edu.au/ ̃cbj/Publications/polydimensional2.ps.gz, August 1998.
15. C.B. Jay, Denotational semantics of shape: past, present and future, in: A. Scedrov, A. Jung (Eds.), 15th Conference on the Mathematical Foundations of Programming Semantics (MFPS XV) Tulane Unversity New Orleans, LA, USA April 28-May 1, 1999: Proceedings, Vol. 20 of Electronic Notes in Computer Science, Elsevier, Amsterdam, 1999, pp. 15, to appear.
16. C.B. Jay, Partial evaluation of shaped programs: experience with FISh, in: O. Danvey (Ed.), ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99) San Antonio, Texas, January 22-23, 1999, Proceedings. BRICS, 1999.
17. C.B. Jay, M.I. Cole, M. Sekanina, P.A. Skeckler, A monadic calculus for parallel costing of a functional language of arrays, in: C. Lengauer, M. Griebl, S. Gorlatch (Eds.), Euro-Par'97 Parallel Processing, Vol. 1300 of Lecture Notes in Computer Science, Springer, Berlin, August 1997, pp. 650-661.
18. C.B. Jay, P.A. Steckler, The functional imperative: shape, in: C. Hankin, (Ed.), Programming languages and systems: Seventh European Symposium on Programming, ESOP'98 Held as part of the joint european conferences on theory and practice of software, ETAPS'98 Lisbon, Portugal, March/April 1998, Vol. 1381 of Lecture Notes in Computer Science, Springer, Berlin, 1998, pp. 139-153.
19. C.B. Jay, P.A. Steckler, Polymorphism over nested regular arrays: theory and implementation in FISh. Technical Report 01, University of Technology, Sydney, 1998. Presented at FMCS'98.
20. Kumar V.et al. Introduction to Parallel Computing: Design and Analysis of Algorithms. 1994;The Benjamin/Cummings Publishing Company, Inc. Minlo park, CA.
21. G. Keller, M.M.T. Chakravarty, Flattening trees, in EuroPar 98, Lecture Notes in Computer Science, Springer, Berlin, 1998.
22. W.F. McColl, Scalable parallel computing: A grand unified theory and its practical development, in: B. Pehrson, I. Simon (Eds.), Proceedings on the 13th IFIP World Computer Congress, Vol. 1 (Invited Paper), Elsevier, Amsterdam, 94.
23. R. Milner, A theory of type polymorphism in programming, JCSS 17 (1978).
24. Moggi E. Notions of computation and monads. Inform. Comput. 93(1):1991;55-92.
25. Pelagatti S. Structured Development of Parallel Programs. 1997;Taylor & Francis, London.
26. R. Rangaswami, Compile-time cost analysis for parallel programming, in Proceedings of EUROPAR 96, Lyon, France, 1996.
27. M. Sekanina, Shape Analysis, Ph.D. Thesis, University of Technology, Sydney, 1998.
28. Skillicorn D.B. Foundations of Parallel Programming. Number 6 in Cambridge Series in Parallel Computation. 1994;Cambridge University Press, Cambridge.
29. M. Südholt, C. Piepenbrock, K. Obermayer, P. Pepper, Solving large systems of differential equations in parallel using covers and skeletons, in Proceedings of the 50th International Working Conference on Algorithmic Languages and Calculi, Strasbourg, France, Chapman & Hall, London, 1997, 28 p.
30. H.W. To, Optimising the Parallel Behaviour of Combinations of Program Components, Ph.D. Thesis, Imperial College of Science, Technology and Medicine, University of London, 1995.
31. Valiant L.G. A bridging model for parallel computation. Commun. ACM. 33(8):1990;103.
32. P. Wadler, Comprehending monads, Mathematical Structures in Computer Science, 1993, Special issue of selected papers from 6th Conference on Lisp and Functional Programming, 1992.
33. University of Washington, ZPL. http://www.cs.washington.edu/-research/zpl/index.html, 1997.