Algorithmic concept recognition support for automatic parallelization: A case study on loop optimization and parallelization

Journal of Information Science and Engineering

Volumn 14, Issue 1, 1998, Pages 191-203

  Di Martino, Beniamino D I ^a,b,c,d,e  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b UNIVERSITY OF VIENNA   (Austria)

^c SECOND UNIVERSITY OF NAPLES   (Italy)

^d IBM   (Italy)

^e Intl Assoc for Pattern Recognition   (Italy)

Author keywords

Algorithmic pattern recognition; Automated code replacement with optimized Libraries; Automated program understanding; Knowledge based program transformation and optimization; Program analysis

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); DATA COMMUNICATION SYSTEMS; DATABASE SYSTEMS; HEURISTIC METHODS; KNOWLEDGE BASED SYSTEMS; OPTIMIZATION; PROGRAM COMPILERS;

ALGORITHMIC CONCEPT RECOGNITION; AUTOMATED PROGRAM UNDERSTANDING;

PARALLEL PROCESSING SYSTEMS;

EID: 0032025421     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. S. Bhansali and J.R. Hagemeister, "A pattern matching approach for reusing software libraries in parallel systems," in Proceedings of Workshop on Knowledge Based Systems for the Reuse of Program Libraries. 1995, pp. 103-112.
2. T.J. Biggerstaff, "The concept assignment problem in program understanding," in Proceedings of IEEE Working Conference on Reverse Engineering, 1993, pp. 97-110.
3. P. Bose, "Interactive program improvement via EAVE: an expert adviser for vectorization," in Proceedings of International Conference on Supercomputing, 1988, pp. 119-130.
4. B. Di Martino, "Sviluppo di tecniche di riconoscimento automatico di algoritmi nel codice per il supporto alla compilazione parallelizzante," Ph.D. Thesis, Dipartimento di Informatica e Sistemistica, Universitá "Federico II" di Napoli, 1996.
5. B. Di Martino and C.W. Kessler, "Program comprehension engines for automatic parallelization: A comparative study," in: I. Jelly, I. Gorton and P. Croll (ed.), Software Engineering for Parallel and Distributed Systems, Chapman Hall, 1996, pp. 146-157.
6. B. Di Martino, G. Iannello, H. Zima, "An automated algorithmic recognition technique to support parallel software development," in Proceedings of International Workshop on Parallel and Distributed Software Engineering, 1997, pp. 120-129.
7. J. Ferrante, K.J. Ottenstein and J.D. Warren, "The program dependence graph and its use in optimization," ACM Transactions Programming Languages and Systems, Vol. 9, No. 3, 1987, pp. 319-349.
8. M.T. Harandi and J.Q. Ning, "Knowledge-based program analysis," IEEE Software, Vol. 7, No. 1, 1990, pp. 74-81.
9. C. W. Kessler, "Pattern driven automatic parallelization," Scientific Programming, Vol. 5, No. 4, 1996, pp. 251-274.
10. D. Kuck, "A survey of parallel machine organization and programming," ACM Computing Surveys, Vol. 9, 1977, pp. 29-59.
11. B. Leasure, "The parafrase project's FORTRAN analyzer. Major module documentation," Technical Report, n. 85-504, Department of Computer Science, University of Illinois at Urbana-Champaign, 1985.
12. R. Metzger, "Automated recognition of parallel algorithms in scientific applications," in Proceedings of Workshop on Plan Recognition at IJCAI'95, 1995, pp. 53-65.
13. S. Pinter and R. Pinter, "Program optimization and parallelization using idioms," in Proceeding of ACM SIGPLAN Principles of Programming Languages, 1991, pp. 79-82.
14. A. Quilici, "A memory based approach to recognizing programming plans," Communications of ACM, Vol. 37, No. 5, 1994, pp. 84-93.
15. X. Redon and P. Feautrier, "Detection of recurrences in sequential programs with loops," in Proceedings of PARLE 93, Vol. 694, 1993, pp. 132-145.
16. H. Vogt, S. Swiestra and M. Kuiper, "Higher order attribute grammars," in Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, SIGPLAN Notices, Vol. 24, No. 7, 1989, pp. 131-145.
17. L.M. Wills, "Automated program recognition: a feasibility demonstration," Artificial Intelligence, Vol. 45, No. 2, 1990, pp. 113-172.
18. M.J. Wolfe, "Optimizing supercompilers for supercomputers," Ph. D. Thesis, Technical Report, n. 82-1009, Department of Computer Science, University of Illinois at Urbana-Champaign, 1982.
19. H. Zima and B. Chapman, "Compiling for distributed-memory systems," in Proceedings of the IEEE, Special Section on Languages and Compilers for Parallel Machines, Vol. 81, No. 2, 1993, pp. 264-287.