A concurrent execution semantics for parallel program graphs and program dependence graphs

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

Volumn 757 LNCS, Issue , 1993, Pages 16-30

  Sarkar, V ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; GRAPHIC METHODS; INTERACTIVE COMPUTER SYSTEMS;

CONCURRENT EXECUTION; EFFICIENT IMPLEMENTATION; EQUIVALENCE THEOREM; EXECUTION MODEL; PARALLEL PROGRAM; PROGRAM DEPENDENCE GRAPH; SEQUENTIAL PROGRAMS;

SEMANTICS;

EID: 85029476925     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57502-2_37     Document Type: Conference Paper

References (20)

1. A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. Frances Allen, Michael Burke, Philippe Charles, Ron Cytron, and Jeanne Ferrante. An Overview of the PTRAN Analysis System for Multiprocessing. Proceedings of the ACM 1981 International Conference on Supercomputing, 1987. Also published in The Journal of Parallel and Distributed Computing, Oct., 1988, 5(5) pages 617-640.
3. Frances Allen, Michael Burke, Ron Cytron, Jeanne Ferrante, Wilson Hsieh, and Vivek Sarkar. A Framework for Determining Useful Parallelism. Proceedings of the ACM 1988 International Conference on Supercomputing, pages 207-215, July 1988.
4. David Alpern, Jeanne Ferrante, and Barbara Simons. A Foundation for Sequentializing Parallel Code. Proceedings of the Second ACM Symposium on Parallel Algorithms and Architectures, July 1990.
5. William Baxter and J. R. Bauer, ILT. The Program Dependence Graph in Vectorization. Sixteenth ACM Principles of Programming Languages Symposium, pages 1 - 11., January 11-13 1989. Austin, Texas.
6. Micah Beck and Keshav Pingali. From Control Flow to Dataflow. Technical report, Department of Computer Science, Cornell University, October 1989. TR 89-1050.
7. Robert Cartwright and Mathias Felleisen. The Semantics of Program Dependence. SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 13-27, June 1989.
8. Ron Cytron, Jeanne Ferrante, and Vivek Sarkar. Experiences Using Control Dependence in PTRAN. Proceedings of the Second Workshop on Languages and Compilers for Parallel Computing, August 1989. In Languages and Compilers for Parallel Computing, edited by D. Gelernter, A. Nicolau, and D. Padua, MIT Press, 1990 (pages 186-212).
9. J. Ferrante and M. E. Mace. On Linearizing Parallel Code. Conf. Rec. Twelfth ACM Symp. on Principles of Programming Languages, pages 179-189, January 1985.
10. 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.
11. Miland Girkar and Constantine Polychronopoulos. The HTG: An Intermediate Representation for Programs Based on Control and Data Dependences. Technical report, Center for Supercomputing Res. and Dev.-University of Illinois, May 1991. CSRD Rpt. No.1046.
12. Rajiv Gupta and Mary Lou Sofia. A Reconfigurable LIW Architecture and its Compiler. Proc. of the 1987 Int’l Conf. on Parallel Processing, Aug. 1987.
13. Rajiv Gupta and Mary Lou Sofia. Region Scheduling. Proc. of the Second International Conferenece on Supercomputing, 3:141-148, May 1987.
14. Susan Horwitz, Jan Prins, and Thomas Reps. Integrating Non-Interfering Versions of Programs. Conf. Rec. Fifteenth ACM Symposium on Principles of Programming Languages, pages 133-145, January 1987.
15. L. Lamport. The Parallel Execution of DO Loops. Communications of the ACM, 17(2):83-93, February 1974.
16. Samuel Midkiff, David Padua, and Ron Cytron. Compiling Programs with User Parallelism. Proceedings of the Second Workshop on Languages and Compilers for Parallel Computing, August 1989.
17. Karl J. Ottenstein, Robert A. Ballance, and Arthur B. Maccabe. Gated Single-Assignment Form: Dataflow Interpretation for Imperative Languages. Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, White Plains, New York, pages 257-271, June 1990.
18. Rebecca Parsons Selke. A Rewriting Semantics for Program Dependence Graphs. Sixteenth ACM Principles of Programming Languages Symposium, January 11-13 1989. Austin, Texas.
19. Harini Srinivasan and Michael Wolfe. Analyzing Programs with Explicit Parallelism. Proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing, August 1991. To be published by Springer-Verlag.
20. Michael J. Wolfe. Optimizing Supercompilers for Supercomputers. Pitman, London and The MIT Press, Cambridge, Massachusetts, 1989. In the series, Research Monographs in Parallel and Distributed Computing This monograph is a revised version of the author’s Ph.D. dissertation published as Technical Report UIUCDCS-R-82-1105, U. Illinois at Urbana-Champaign, 1982.