With-loop fusion for data locality and parallelism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4015 LNCS, Issue , 2006, Pages 178-195

  Grelck, Clemens ^a   Hinckfuß, Karsten ^a   Scholz, Sven Bodo ^b  

^a UNIVERSITY OF LÜBECK   (Germany)

^b UNIVERSITY OF HERTFORDSHIRE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARRAY OPERATIONS; DATA LOCALITY; FUNCTIONAL ARRAYS; OPTIMISATION TECHNIQUES; RUN-TIME PERFORMANCE;

ARTIFICIAL INTELLIGENCE;

COMPUTER SCIENCE;

EID: 84888863418     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11964681_11     Document Type: Conference Paper

References (24)

1. Scholz, S.B.: Single Assignment C - Efficient Support for High-Level Array Operations in a Functional Setting. J. Functional Programming 13 (2003) 1005-1059
2. Grelck, C.: Implementing the NAS Benchmark MG in SAC. In: Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS'02), Fort Lauderdale, USA, IEEE Computer Society Press (2002)
3. Grelck, C., Scholz, S.B.: Towards an Efficient Functional Implementation of the NAS Benchmark FT. In: Proceedings of the 7th International Conference on Parallel Computing Technologies (PaCT'03), Nizhni Novgorod, Russia. LNCS 2763, Springer-Verlag (2003) 230-235
4. Iverson, K.: A Programming Language. John Wiley, New York, USA (1962)
5. Iverson, K.: Programming in J. Iverson Software Inc., Toronto, Canada. (1991)
6. Jenkins, M.: Q'Nial: A Portable Interpreter for the Nested Interactive Array Language Nial. Software Practice and Experience 19 (1989) 111-126
7. Scholz, S.B.: With-loop-folding in SAC - Condensing Consecutive Array Operations. In: Proceedings of the 9th International Workshop on Implementation of Functional Languages (IFL'97), St. Andrews, Scotland, UK, Selected Papers. LNCS 1467, Springer-Verlag (1998) 72-92
8. Grelck, C., Scholz, S.B., Trojahner, K.: With-Loop Scalarization: Merging Nested Array Operations. In: Proceedings of the 15th International Workshop on Implementation of Functional Languages (IFL'03), Edinburgh, UK, Revised Selected Papers. LNCS 3145, Springer-Verlag (2004)
9. Appel, A.: SSA is Functional Programming. ACM SIGPLAN Notices 33 (1998)
10. Hinckfuß, K.: With-Loop Fusion für die Funktionale Programmiersprache SAC. Master's thesis, University of Lübeck, Institute of Software Technology and Programming Languages, Lübeck, Germany (2005)
11. Chin, W.: Towards an Automated Tupling Strategy. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantic-Based Program Manipulation (PEPM'97), Copenhagen, Denmark, ACM Press (1993) 119-132
12. Wadler, P.: Deforestation: Transforming Programs to Eliminate Trees. Theoretical Computer Science 73 (1990) 231-248
13. Gill, A., Launchbury, J., Peyton Jones, S.: A Short Cut to Deforestation. In: Proceedings of the Conference on Functional Programming Languages and Computer Architecture (FPCA'93), Copenhagen, Denmark, ACM Press (1993) 223-232
14. Chin,W.: Safe Fusion of Functional Expressions II: Further Improvements. J. Functional Programming 4 (1994) 515-550
15. van Arkel, D., van Groningen, J., Smetsers, S.: Fusion in Practice. In: Proceedings of the 14th International Workshop on Implementation of Functional Languages (IFL'02), Madrid, Spain, Selected Papers. LNCS 2670, Springer-Verlag (2003)
16. Alimarine, A., Plasmeijer, R.: A Generic Programming Extension for Clean. In: Proceedings of the 13th International Workshop on Implementation of Functional Languages (IFL'01), Stockholm, Sweden, Selected Papers. LNCS 2312, Springer- Verlag (2002) 168-186
17. Löh, A., Clarke, D., Jeuring, J.: Dependency-style Generic Haskell. In: Proceedings of the 8th ACM SIGPLAN Conference on Functional Programming (ICFP'03), Uppsala, Sweden, ACM Press (2003) 141-152
18. Alimarine, A., Smetsers, S.: Improved Fusion for Optimizing Generics. In: Proceedings on the 7th International Symposium on Practical Aspects of Declarative Languages (PADL'05), Long Beach, USA. LNCS 3350, Springer-Verlag (2005)
19. Chakravarty, M.M., Keller, G.: Functional Array Fusion. In: Proceedings of the 6th ACM SIGPLAN International Conference on Functional Programming (ICFP'01), Florence, Italy, ACM Press (2001) 205-216
20. McKinley, K., Carr, S., Tseng, C.W.: Improving Data Locality with Loop Transformations. ACM Transactions on Programming Languages and Systems 18 (1996)
21. Manjikian, N., Abdelrahman, T.: Fusion of Loops for Parallelism and Locality. IEEE Transactions on Parallel and Distributed Systems 8 (1997) 193-209
22. Roth, G., Kennedy, K.: Loop Fusion in High Performance Fortran. In: Proceedings of the 12th ACM International Conference on Supercomputing (ICS'98), Melbourne, Australia, ACM Press (1998) 125-132
23. Xue, J.: Aggressive Loop Fusion for Improving Locality and Parallelism. In: Parallel and Distributed Processing and Applications: 3rd International Symposium, ISPA 2005, Nanjing, China. LNCS 3758, Springer-Verlag (2005) 224-238
24. Grelck, C.: Shared memory multiprocessor support for functional array processing in SAC. J. Functional Programming 15 (2005) 353-401