Compilation of a specialized functional language for massively parallel computers

Journal of Functional Programming

Volumn 10, Issue 6, 2000, Pages 561-605

  Fradet, Pascal ^a   Mallet, Julien ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034562170     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796800003816     Document Type: Article

References (48)

1. Bacci, B., Gorlatch, S., Lengauer, C. and Pelagatti, S. (1999) Skeletons and transformations in an integrated parallel programming environment. Parallel Computing Technologies: LNCS 1662, pp. 13-27.
2. Blelloch, G. E., Hardwick, J. C., Sipelstein, J., Zagha, M. and Chatterjee, S. (1994) Implementation of a portable nested data-parallel language. J. Parallel & Distributed Comput., 21(1), 4-14.
3. Bratvold, T. (1993) A Skeleton-Based Parallelising Compiler for ML. Proc. International Workshop on Parallel Implementation of Functional Languages, pp. 23-33.
4. Cai, W., & Skillicorn, D. (1995) Calculating recurrences using the Bird-Meertens formalism. Parallel Processing Lett., 5(2), 179-190.
5. Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B. and Watt, S. M. (1992) Maple V Language Reference Manual. Springer-Verlag.
6. Chatterjee, S., Gilbert, J. R., Schreiber, R. and Teng, S. (1993) Automatic array alignment in data-parallel program. Proc. ACM Symposium on Principles of Programming Languages, pp. 16-28.
7. Chen, M., Choo, Y. and Li, J. (1991) Crystal: Theory and Pragmatics of Generating Efficient Parallel Code. In: Szymanski, B. K. (ed.), Parallel Functional Languages and Compilers, pp. 255-308. ACM Press.
8. Chin, W. N. (1990) Automatic methods for program transformation. PhD thesis, Imperial College.
9. Choi, J. and Dongarra, J. J. (1995) Scalable linear algebra software libraries for distributed memory concurrent computers. Proc. IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 170-177.
10. Clarke, L., Glendinning, I. and Hempel, R. (1994) The MPI Message Passing Interface Standard. Programming Environments for Massively Parallel Distributed Systems: Working conference of the IFIP, pp. 213-218.
11. Clauss, P. (1996) Counting solutions to linear and nonlinear constraints through Ehrhart polynomials: Applications to analyze and transform scientific programs. Proc. ACM International Conference on Supercomputing, pp. 278-285.
12. Cole, M. (1988) A skeletal approach to the exploitation of parallelism. Proc. CONPAR, pp. 667-675. Cambridge University Press.
13. Darlington, J., Field, A. J., Harrison, P. G., Kelly, P. H. J., Sharp, D. W. N., Wu, Q. and While, R. L. (1993) Parallel programming using skeleton functions. Proc. of the PARLE: LNCS 694, pp. 146-160.
14. Darlington, J., Guo, Y. K, To, H. W. and Jing, Y. (1995) Skeletons for structured parallel composition. Proc. ACM Symposium on Principle and Practice of Parallel Programming, pp. 19-28.
15. Douence, R. and Fradet, P. (1998) A systematic study of functional language implementations. ACM Trans. Programming Languages and Systems, 20(2), 344-387.
16. Feautrier, P. (1994) Toward automatic distribution. Parallel Processing Letters, 4(3), 233-244.
17. Fox, G., Johnson, M., Lyzenga, G., Otto, S., Salmon, J. and Walker, D. (1988) Solving Problems on Concurrent Processors. Prentice-Hall.
18. Golub, G. H. and Ortega, J. M. (1993) Scientific Computing: An introduction with parallel computing. Academic Press.
19. Gorlatch, S., Wedler, C. and Lengauer, C. (1999) Optimization rules for programming with collective operations. Proc. Symp. on Parallel and Distributed Processing, pp. 492-499.
20. Gupta, M. and Banerjee, P. (1992) Demonstration of automatic data partitioning techniques for parallelizing compilers on multicomputers. IEEE Trans. Parallel & Distributed Syst., 3(2), 179-193.
21. Guzmán, J. C. and Hudak, P. (1990) Single-threaded polymorphic lambda calculus. Proc. Symposium on Logic in Computer Science, pp. 333-343. IEEE Press.
22. Herrmann, C. and Lengauer, C. (1998) Size inference of nested lists in functional programs. Proc. International Workshop on Implementation of Functional Languages, pp. 347-364. University College, London.
23. Herrmann, C. and Lengauer, C. (1999) Parallelization of divide-and-conquer by translation to nested loops. J. Functional Programming, 9(3), 279-310.
24. Hudak, P., Peyton Jones, S., Walder, P., Boutel, B., Fairbairn, J., Fasel, J., Guzman, M. M., Hammond, K., Hughes, J., Johnsson, T, Kieburtz, D., Nikhil, R., Partain, W. and Peterson, J. (1992) Report on the programming language haskell. Sigplan Notices, 27(5).
25. Hudak, P., Peyton Jones, S., Wadler, P., Hughes, John, Augustsson, L., Barton, D., Boutel, B., Burton, W., Fasel, J., Hammond, K., Hinze, R., Johnsson, T., Jones, M., Launchbury, J., Meijer, E., Peterson, J., Reid, A. and Runciman, C. (1999) Standard Libraries for the Haskell 98 Programming Language. Research report, Yale university.
26. Jay, B. (2000) Costing parallel programs as a function of shapes. Science of Computer Programming, 37(1), 207-224.
27. Jay, B. and Steckler, P. (1998) The functional imperative: shape! European Symposium on Programming: LNCS 1381, pp. 139-153.
28. Johnsson, T. (1985) Lambda lifting: Transforming programs to recursive equations. Functional Programming Languages and Computer Architecture: LNCS 201, pp. 190-203.
29. Kastens, U. and Schmidt, M. (1986) Lifetime analysis for procedure parameters. European Symposium on Programming: LNCS 213, pp. 53-69.
30. Mallet, J. (1998a) Compilation d'un langage spécialisé pour machine massivement parallèle. Doctorat d'université, Rennes I.
31. Mallet, J. (1998b) Symbolic cost analysis and automatic data distribution for a skeleton-based language. Euro-par'98 parallel processing: LNCS 1470, pp. 688-697.
32. Michaelson, G., Scaife, N., Bristow, P. and King, P. (1998) Engineering a parallel compiler for SML. Proc. of the International Workshop on Implementation of Functional Languages, pp. 213-226. University College, London.
33. Mitchell, J. C. (1991) Type inference with simple sub-types. J. Functional Programming, 1(3), 245-286.
34. Nitsche, T. (2000) Shapeliness analysis of functional programs with algebraic data types. Science of Computer Programming, 37(1), 225-252.
35. Press, W. H., Teukolsky, S. A., Vetterling, W. T. and Flannery, Brian P. (1986) Numerical Recipes in FORTRAN: The art of scientific computing. Cambridge University Press.
36. Pugh, W. (1994) Counting solutions to presburger formulas: How and why. Proc. Conference on Programming Language Design and Implementation, pp. 121-134.
37. Quinton, P., Rajopadhye, S. and Wilde, D. (1995) On deriving data parallel code from a functional program. Proc. of the International IEEE Symposium on Parallel Processing, pp. 766-773.
38. Rangaswami, R. (1996) A cost analysis for a higher-order parallel programming model. PhD thesis, Edinburgh University.
39. Schmidt, D. A. (1985) Detecting global variables in denotational definitions. ACM TOPLAS, 7(2), 299-310.
40. Sestoft, P. (1989) Replacing functional parameters by global variables. Proc. of the Conference on Functional Programming Languages and Computer Architecture, pp. 39-53.
41. Shafarenko, A. (1995) Symmetries in data parallelism. The Computer Journal, 38(5), 365-380.
42. Südholt, M. (1997) The transformational derivation of parallel programs using data-distribution algebras and skeletons. PhD thesis, Technische Universität Berlin.
43. Tawbi, N. (1994) Estimation of nested loops execution time by integer arithmetic in convex polyhedra. Proc. of International Symposium on Parallel Processing, pp. 217-223.
44. Turner, D. A. (1979) A new implementation technique for applicative languages. Software-Practice and Experience, 9, 31-49.
45. Wadler, P. (1990) Linear types can change the world! Programming Concepts and Methods, pp. 561-581. North Holland.
46. Wilde, D. (1993) A library for polyhedral operations. Publication Interne 785. IRISA.
47. Wilde, D. (1994) The ALPHA language. Technical Report 2295, INRIA, France.
48. Wilson, G. (1994) Assessing the usability of parallel programming systems: The cowichan problems. Proc. IFIP Working Conference on Programming Environments for Massively Parallel Distributed Systems.