Effective SIMD Code Generation for the High-Level Declarative Data-Parallel Language 81/2

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1996, Pages 114-119

  De Vito, Dominique ^a   Michel, Olivier ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS);

CODEGENERATION; DATA PARALLEL; DATA PARALLELISM; OPTIMISATIONS; OVERALL EFFECTIVENESS; PARALLEL LANGUAGES; SIMD ARCHITECTURE; VECTOR ARCHITECTURES;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0013187495     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1996.546372     Document Type: Conference Paper

References (18)

1. G. E. Bielloch, S. Chattete, J. C. Hardwick, M. Reid-Miller, J. Sipelstein, and M. Zagha. CVL: A C vector library. Technical Report CMU-CS-93-114, School of Computer Science, Carnegie Mellon University, February 1993.
2. D. C. Cann and P. Evripidou. Advanced array optimizations for high performance functional languages. IEEE Trans, on Parallel and Distributed Systems, 6(3):229-239, March 1995.
3. P. Caspi, D. Pilaud, H. N., and J. Plaice. Lustre: a declarative language for programming synchronous systems. In Fourteenth annual symposium onprinciples of programming languages. ACM, ACM Press, January 1987.
4. A. Couvert, A. Maddi, and R. Pédrono. Object sharing in distributed systems - principles of garbage collection. Technical Report 963, IRISA, January 1989.
5. D. De Vito. Semantics and compilation of sequential streams into a static SIMD code for the declarative data-parallel language 81/2. Technical Report 1044, Laboratoire de Recherche en Informatique, May 1996. 34 pages.
6. D. De Vito. Compilation portable d'un langage déclaratif à flot de données synchrones, Juin 1994. Rapport de stage du DEA Informatique de l'Université de Paris-Sud.
7. J.-L. Giavitto. Typing geometries of homogeneous collection. In 2nd Int. workshop on array manipulation, (ATABLE), Montréal, 1992.
8. N. Halbwachs, P. Raymond, and C. Ratel. Generating efficient code from data-flow programs. In S. Verlag, editor, 3rd international symposium, PLILP'91, Passau, Germany, LNCS, pages 207-218, August 1991.
9. P. Le Guemic, A. Benveniste, P. Bournai, and T. Gautier. Signal, a dataflow oriented language for signal processing. IEEE-ASSSP, 34(2):362-374,1986.
10. A. Mahiout, J.-L. Giavitto, and J.-P. Sansonnet. Distribution and scheduling data-parallel dataflow programs on massively parallel architectures. In SMS-TPE'94: Software for Multiprocessors and Supercomputers, Moscow, September, 1994. Office of Naval Research USA & Russian Basic Research Foundation.
11. O. Michel. Design and implementation of 81/2, a declarative data-parallel language, special issue on Parallel Logic Programming in Computer Languages, 1996. (to appear).
12. O. Michel, D. De Vito, and J.-P. Sansonnet. 81/2: data-parallelism and data-flow. In E. Ashcroft, editor, Intensional Programming II. World Scientific, May 1996.
13. N. Paris. Définition de pomp-c (version 1.99). Technical Report LIENS95-2, Département de Mathématiques et d'Informatique de l'École Normale Supérieure, mars 1992.
14. J. Sipelstein and G. E. Bielloch. Collection-oriented languages. Proc. of the IEEE, 79(4), April 1991.
15. G. D. Smith. Numerical solution ofpartial differential equations: finite difference methods. Oxford Applied Mathematics and Computing series. Oxford University Press, 1985.
16. Thinking Machines Corporation, Cambridge M. The Essential *Lisp Manual, 1986.
17. Thinking Machines Corporation, Cambridge, Massachusetts. Connection machine programming in C/Paris, 1989.
18. W. W. Wadge and E. A. Ashcroft. Lucid - a formal system for writing and proving programs. SIAM Journal on Computing, 3:336-354, September 1976.