Generating message-passing programs from abstract specifications by partial evaluation

Parallel Processing Letters

Volumn 15, Issue 3, 2005, Pages 305-320

  Herrmann, Christoph A ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

Cost model; Meta programming; Parallelism; Partial evaluation; Skeletons

Indexed keywords

ALGORITHMS; PROGRAM INTERPRETERS; SEMANTICS;

COST-MODEL; META-PROGRAMMING; PARTIAL EVALUATION; SKELETONS;

PARALLEL PROCESSING SYSTEMS;

EID: 24944457551     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129626405002234     Document Type: Conference Paper

References (20)

1. A. Berlin and D. Weise. Compiling scientific code using partial evaluation. IEEE Computer, 23(12):25-37, 1990.
2. H. Bischof, S. Gorlatch, and E. Kitzelmann. Cost optimality and predictability of parallel programming with skeletons. In H. Kosch, L. Böszörményi, and H. Hellwagner, editors, Euro-Par 2003: Parallel Processing, Lecture Notes in Computer Science 2790, pages 682-693. Springer-Verlag, 2003.
3. G. E. Blelloch. Programming parallel algorithms. Communications of the ACM, 39(3):85-96, 1996.
4. J. J. Dongarra and D. W. Walker. Software libraries for linear algebra computations on high performance computers. SIAM Review, 37(2):151-180, 1995.
5. Y. Futamura. Partial evaluation of computation process - an approach to a compiler-compiler. Higher-Order and Symbolic Computation, 12(4):381-391, 1999.
6. Originally published in Systems.Computers.Controls, 2(5):45-50, 1971.
7. K. S. Gatlin and L. Carter. Faster FFTs via architecture-cognizance. In IEEE PACT, pages 249-260, 2000.
8. S. Gorlatch. Send-receive considered harmful: Myths and realities of message passing. ACM Trans. on Programming Languages and Systems, 26(1):47-56, 2004.
9. C. A. Herrmann. Functional meta-programming in the construction of parallel programs. In S. Gorlatch, editor, 4th International Workshop on "Constructive Methods for Parallel Programming" (CMPP 2004), Stirling (Scotland, UK), pages 3-17. Technical Report of Westfälische Wilhelms-Universität Münster, 2004.
10. N. D. Jones and A. J. Glenstrup. Program generation, termination, and binding-time analysis. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering, Lecture Notes in Computer Science 2487, pages 1-31. Springer-Verlag, 2002.
11. A. Karatsuba and Y. Ofman. Multiplication of multidigit numbers on automata. Doklady Akademii Nauk SSSR, 145(2):293-294, 1962. In Russian.
12. C. Lengauer, D. Batory, C. Consel, and M. Odersky, editors. Domain-Specific Program Generation. Lecture Notes in Computer Science 3016. Springer-Verlag, 2004.
13. P. Liniker, O. Beckmann, and P. H. J. Kelly. Delayed evaluation, self-optimising software components as a programming model. In B. Monien and R. Feldmann, editors, Euro-Par 2002: Parallel Processing, Lecture Notes in Computer Science 2400, pages 666-673. Springer-Verlag, 2002.
14. G. Michaelson and N. Scaife. Skeleton realisations from functional prototypes. In F. A. Rabhi and S. Gorlatch, editors, Patterns and Skeletons for Parallel and Distributed Computing, chapter 5, pages 129-153. Springer-Verlag, 2003.
15. MPI Forum. MPI-2: Extensions to the Message-Passing Interface. Univ. of Tennessee at Knoxville, 1997. http://www.mpi-forum.org/.
16. T. Sheard. Accomplishments and research challenges in meta-programming. In W. Taha, editor, Semantics, Applications, and Implementation of Program Generation (SAIG'01), Lecture Notes in Computer Science 2196, pages 2-44. Springer-Verlag, 2001.
17. W. Taha. A gentle introduction to multi-stage programming. In C. Lengauer, D. Batory, C. Consel, and M. Odersky, editors, Domain-Specific Program Generation, Lecture Notes in Computer Science 3016, pages 30-50. Springer-Verlag, 2004.
18. http://www.cs.rice.edu/~taha/MetaOCaml/.
19. http://www.infosun.fmi.uni-passau.de/cl/metaprog/.
20. http://caml.inria.fr/.