Analysis and transformation in the ParaScope editor

Proceedings of the International Conference on Supercomputing

Volumn , Issue , 1991, Pages 433-447

  Kennedy, Ken ^a   McKinley, Kathryn S ^a   Tseng, Chau Wen ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SUPERCOMPUTERS;

FORTRAN PROGRAMS; KNOWLEDGEABLE USERS; OR-PARALLELISM; PROGRAM ANALYSIS;

PARALLEL PROGRAMMING;

EID: 84976840610     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/109025.109126     Document Type: Conference Paper

References (59)

1. F. Allen, M. Burke, P. Charles, R. Cytron, and J. Ferrante. An overview of the PTRAN analysis system for multiprocessing. In Proceedings of the First International Conference on Supercomputing. Springer-Verlag, Athens, Greece, June 1987.
2. F. Allen and J. Cocke. A catalogue of optimizing transformations. In J. Rustin, editor, Design and Optimization of Compilers. Prentice-Hall, 1972.
3. J. R. Allen. Dependence Analysis for Subscripted Variables and Its Application to Program Transformations. PhD thesis, Rice University, April 1983.
4. J. R. Allen and K. Kennedy. Automatic translation of Fortran programs to vector form. ACM Transactions on Programming Languages and Systems, 9(4):491-542, October 1987.
5. V. Balasundaram, G. Fox, K. Kennedy, and U. Kremer. An interactive environment for data partitioning and distribution. In Proceedings of the 5th Distributed Memory Computing Conference, Charleston, SC, April 1990.
6. V. Balasundaram, G. Fox, K. Kennedy, and U. Kremer. A static performance estimator to guide data partitioning decisions. In Proceedings of the Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Williamsburg, VA, April 1991.
7. V. Balasundaram and K. Kennedy. A technique for summarizing data access and its use in parallelism enhancing transformations. In Proceedings of the ACM SIGPLAN'89 Conference on Program Language Design and Implementation, Portland, OR, June 1989.
8. V. Balasundaram, K. Kennedy, U. Kremer, K. S. McKinley, and J. Subhlok. The ParaScope Editor: An interactive parallel programming tool. In Proceedings of Supercomputing'89, Reno, NV, November 1989.
9. U. Banerjee. Unimodular transformations of double loops. In Proceedings of the Third Workshop on Languages and Compilers for Parallel Computing, Irvine, CA, August 1990.
10. M. Burke. An interval-based approach to exhaustive and incremental interprocedural data-flow analysis. ACM Transactions on Programming Languages and Systems, 12(3):341-395, 1990.
11. M. Burke, K. Cooper, K. Kennedy, and L. Torczon. Interprocedural optimization: Eliminating unnecessary recompilation. Technical Report TR90-126, Dept. of Computer Science, Rice University, 1990.
12. D. Callahan, S. Carr, and K. Kennedy. Improving register allocation for subscripted variables. In Proceedings of the ACM SIGPLAN'90 Conference on Program Language Design and Implementation, White Plains, NY, June 1990.
13. D. Callahan, J. Cocke, and K. Kennedy. Estimating interlock and improving balance for pipelined machines. Journal of Parallel and Distributed Computing, 5(4):334-358, August 1988.
14. D. Callahan, K. Cooper, R. Hood, K. Kennedy, and L. Torczon. ParaScope: A parallel programming environment. The International Journal of Supercomputer Applications, 2(4):84-99, Winter 1988.
15. D. Callahan, K. Cooper, K. Kennedy, and L. Torczon. Interprocedural constant propagation. In Proceedings of the SIGPLAN'86 Symposium on Compiler Construction, Palo Alto, CA, July 1986.
16. D, Callahan and K. Kennedy. Analysis of interprocedural side effects in a parallel programming environment. In Proceedings of the First International Conference on Supercomputing. Springer-Verlag, Athens, Greece, June 1987.
17. D. Callahan, K. Kennedy, and J. Subhlok. Analysis of of event synchronization in a parallel programming tool. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seattle, WA, March 1990.
18. D. Chen, H. Su, and P. Yew. The impact of synchronization and granularity on parallel systems. In Proceedings of the 17th Annual International Symposium on Computer Architecture, Seattle, WA, May 1990.
19. K. Cooper, M. Hall, and L. Torczon. An experiment with inline substitution. Technical Report TR90-128, Dept. of Computer Science, Rice University, July 1990. To appear in Software-Practice and Experience.
20. K. Cooper, K. Kennedy, and L. Torczon. The impact of interprocedural analysis and optimization in the Rn programming environment. ACM Transactions on Programming Languages and Systems, 8(4):491-523, October 1986.
21. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and K. Zadeck. An efficient method of computing static single assignment form. In Conference Record of the Sixteenth ACM Symposium on the Principles of Programming Languages, Austin, TX, June 1989.
22. J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
23. K. Fletcher, K. Kennedy, K. S. McKinley, and S. Warren. The ParaScope Editor: User interface goals. Technical Report TR90-113, Dept. of Computer Science, Rice University, 1990.
24. D. Gannon, W. Jalby, and K. Gallivan. Strategies for cache and local memory management by global program transformations. In Proceedings of the First International Conference on Supercomputing. Springer-Verlag, Athens, Greece, June 1987.
25. G. Goff, K. Kennedy, and C. Tseng. Practical dependence testing. In Proceedings of the ACM SIGPLAN'91 Conference on Program Language Design and Implementation, Toronto, Canada, June 1991.
26. V. Guarna, D. Gannon, Y. Gaur, and D. Jablonowski. Faust: An environment for programming parallel scientific applications. In Proceedings of Supercomputing'88, Orlando, FL, November 1988.
27. M. Haghighat and C. Polychronopoulos. Symbolic dependence analysis for high performance parallelizing compilers. In Proceedings of the Third Workshop on Languages and Compilers for Parallel Computing, Irvine, CA, August 1990.
28. P. Havlak and K. Kennedy. An implementation of interprocedural bounded regular section analysis. IEEE Transactions on Parallel and Distributed Systems, 2(3), July 1991.
29. S. Hiranandani, K. Kennedy, and C. Tseng. Compiler support for machine-independent parallel programming in Fortran D. Technical Report TR90-149, Dept. of Computer Science, Rice University, February 1991. To appear in J. Saltz and P. Mehrotra, editors, Compilers and Runtime Software for Scalable Multiprocessors, Elsevier, 1991.
30. R. Hood, K. Kennedy, and J. Mellor-Crummey. Parallel program debugging with on-the-fly anomaly detection. In Proceedings of Supercomputing'90, New York, NY, November 1990.
31. F. Irigoinand R. Triolet. Supernodepartitioning. In Conference Record of the Fifteenth ACM Symposium on the Principles of Programming Languages, San Diego, CA, January 1988.
32. K. Kennedy and K. S. McKinley. Loop distribution with arbitrary control flow. In Proceedings of Supercomputing'90, New York, NY, November 1990.
33. K. Kennedy, K. S. McKinley, and C. Tseng. Interactive parallel programming using the ParaScope Editor. IEEE Transactions on Parallel and Distributed Systems, 2(3), July 1991.
34. U. Kremer, H. Zima, H.-J. Bast, and M. Gerndt. Advanced tools and techniques for automatic parallelization. Parallel Computing, 7:387-393, 1988.
35. D. Kuck. The Structure of Computers and Computations, Volume 1. John Wiley and Sons, New York, NY, 1978.
36. D. Kuck, R. Kuhn, B. Leasure, and M. J. Wolfe. The structure of an advanced rotargetable vectorizer. In Supercomputers: Design and Applications, pages 163-178. IEEE Computer Society Press, Silver Spring, MD, 1984.
37. D. Kuck, R. Kuhn, D. Padua, B. Leasure, and M. J. Wolfe. Dependence graphs and compiler optimizations. In Conference Record of the Eighth ACM Symposium on the Principles of Programming Languages, Williamsburg, VA, January 1981.
38. D. Kuck, Y. Muraoka, and S. Chen. On the number of operations simultaneously executable in Fortran-like programs and their resulting speedup. IEEE Transactions on Computers, C-21(12):1293-1310, December 1972.
39. L. Lamport. The parallel execution of DO loops. Communications of the ACM, 17(2):83-93, February 1974.
40. B. Leasure, editor. PCF Fortran: Language Definition, version 3.1. The Parallel Computing Forum, Champaign, IL, August 1990.
41. D. Loveman. Program improvement by source-to-source transformations. Journal of the ACM, 17(2):121-145, January 1977.
42. K. S. McKinley. Evaluating the potential for automatic parallel code generation. Technical Report TR90-148, Dept. of Computer Science, Rice University, December 1990.
43. Y. Muraoka. Parallelism Exposure and Exploitation in Programs. PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign, February 1971. Report No. 71-424.
44. C. Polychronopoulos, M. Girkar, M. Haghighat, C. Lee, B. Leung, and D. Schouten. The structure of Parafrase-2: An advanced parallelizing compiler for C and Fortran. In D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Computing. The MIT Press, 1990.
45. C. Rosene. Incremental Dependence Analysis. PhD thesis, Rice University, March 1990.
46. B. Ryder and M. Carroll. An incremental algorithm for software analysis. In Proceedings of the Second ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, December 1986.
47. B. Ryder and M. Paull. Incremental data flow analysis algorithms. ACM Transactions on Programming Languages and Systems, 10(1):1-50, January 1988.
48. B. Shei and D. Gannon. SIGMACS: A programmable programming environment. In Proceedings of the Third Workshop on Languages and Compilers for Parallel Computing, Irvine, CA, August 1990.
49. J. Singh and J. Hennessy. An empirical investigation of the effectiveness of and limitations of automatic parallelization. In Proceedings of the International Symposium on Shared Memory Multiprocessors, Tokyo, Japan, April 1991.
50. K. Smith and W. Appelbe. PAT - an interactive Fortran parallelizing assistant tool. In Proceedings of the 1988 International Conference on Parallel Processing, St. Charles, IL, August 1988.
51. K. Smith, W. Appelbe, and K. Stirewalt. Incremental dependence analysis for interactive parallelization. In Proceedings of the 1990 ACM International Conference on Supercomputing, Amsterdam, The Netherlands, June 1990.
52. J. Subhlok. Analysis of Synchronization in a Parallel Programming Environment. PhD thesis, Rice University, August 1990.
53. M. Wegrnan and K. Zadeck. Constant propagation with conditional branches. Technical Report CS-89-36, Brown University, May 1989.
54. M. E. Wolf and M. Lam. Maximizing parallelism via loop transformations. In Proceedings of the Third Workshop on Languages and Compilers for Parallel Computing, Irvine, CA, August 1990.
55. M. J. Wolfe. Optimizing Supercompilers for Supercomputers. PhD thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign, October 1982.
56. M. J. Wolfe. Loop skewing: The wavefront method revisited. International Journal of Parallel Programming, 15(4):279-293, August 1986.
57. M. J. Wolfe. More iteration space tiling. In Proceedings of Supercomputing'89, Reno, NV, November 1989.
58. F. Zadeck. Incremental data flow analysis in a structured program editor. In Proceedings of the SIGPLAN'84 Symposium on Compiler Construction, Montreal, Canada, June 1984.
59. H. Zima, H.-J. Bast, and M. Gerndt. SUPERB: A tool for semi-automatic MIMD/SIMD parallelization. Parallel Computing, 6:1-18, 1986.