Techniques for debugging parallel programs with flowback analysis

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	Frances Allen , Michael Burke , Philippe Charles , Ron Cytron , Jeanne Ferreant, An overview for the PTRAN analysis system for multiprocessing, Journal of Parallel and Distributed Computing, v.5 n.5, p.617-640, October 1988 [doi>10.1016/0743-7315(88)90015-9]
	3	F. Allen , M. Burke , R. Cytron , J. Ferrante , W. Hsieh, A framework for determining useful parallelism, Proceedings of the 2nd international conference on Supercomputing, p.207-215, June 1988, St. Malo, France [doi>10.1145/55364.55385]
	4	Randy Allen , Ken Kennedy, Automatic translation of FORTRAN programs to vector form, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.491-542, Oct. 1987 [doi>10.1145/29873.29875]
	5	ALLEN, T. R., AND PADUA, D. A. Debugging Fortran on a shared memory machine. In Proceedings of the 1987 International Conference on Parallel Processing (St. Charles, Ill., Aug. 1987), pp. 721-727.
	6	V. Balasundaram , K. Kennedy, A technique for summarizing data access and its use in parallelism enhancing transformations, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, p.41-53, June 19-23, 1989, Portland, Oregon, United States
	7	BALZER, R.M. EXDAMS--EXtendable Debugging and Monitoring System. In Proceedings of AFIPS Spring Joint Computer Conference, vol. 34. AFIPS Press, Reston, Va., 1969, pp. 567-580.
	8	John P. Banning, An efficient way to find the side effects of procedure calls and the aliases of variables, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.29-41, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567756]
	9	Jeffrey M. Barth, A practical interprocedural data flow analysis algorithm, Communications of the ACM, v.21 n.9, p.724-736, Sept. 1978 [doi>10.1145/359588.359596]
	10	Jongdeok Choi , Barton P. Miller, Parallel program debugging with flowback analysis, 1989
	11	Jong-Deok Choi , Barton P. Miller, Code generation and separate compilation in a parallel program debugger, Selected papers of the second workshop on Languages and compilers for parallel computing, p.149-169, May 1990, Urbana, Illinois, United States
	12	Keith D. Cooper , Ken Kennedy , Linda Torczon, The impact of interprocedural analysis and optimization in the Rⁿ programming environment, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.491-523, Oct. 1986 [doi>10.1145/6465.6489]
	13	A. Dinning , E. Schonberg, An empirical comparison of monitoring algorithms for access anomaly detection, Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, p.1-10, March 14-16, 1990, Seattle, Washington, United States
	14	P. A. Emrath , S. Chosh , D. A. Padua, Event synchronization analysis for debugging parallel programs, Proceedings of the 1989 ACM/IEEE conference on Supercomputing, p.580-588, November 12-17, 1989, Reno, Nevada, United States [doi>10.1145/76263.76329]
	15	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	16	C. J. Fidge, Partial orders for parallel debugging, ACM SIGPLAN Notices, v.24 n.1, p.183-194, Jan. 1989
	17	HELMBOLD, D. P., McDOWELL, C. E., AND WANG, J. -Z. Analyzing traces with anonymous synchronization. In Proceedings of the 1990 International Conference on Parallel Processing (St. Charles, Il., Aug. 1990). 1990, pp. II-70-II-77.
	18	Robert Hood , Ken Kennedy , John Mellor-Crummey, Parallel program debugging with on-the-fly anomaly detection, Proceedings of the 1990 conference on Supercomputing, p.74-81, October 1990, New York, New York, United States
	19	Ellis Horowitz , Sartaj Sahni, Fundamentals of data structures in PASCAL, Computer Science Press, Inc., New York, NY, 1984
	20	S. Horwitz , P. Pfeiffer , T. Reps, Dependence analysis for pointer variables, Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, p.28-40, June 19-23, 1989, Portland, Oregon, United States
	21	Susan Horwitz , Jan Prins , Thomas Reps, Integrating noninterfering versions of programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.345-387, July 1989 [doi>10.1145/65979.65980]
	22	KENNEDY, K. A survey of data-fiow analysis techniques. In Program Flow Analysis. Theory and Applications, S. S. Muchnick and N. D. Jones, Eds. Prentice-Hall, Englewood Chffs, N.J., 1981, pp. 5-54.
	23	B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
	24	David L. Kuck, Structure of Computers and Computations, John Wiley & Sons, Inc., New York, NY, 1978
	25	KucK, D. J., MURAOKA, Y., AND CHEN, S. C. On the number of operations simultaneously executable in FORTRAN-like programs and their speed-up. IEEE Trans. Comput. (Dec. 1972), 1293-1310.
	26	D. J. Kuck , R. H. Kuhn , D. A. Padua , B. Leasure , M. Wolfe, Dependence graphs and compiler optimizations, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-218, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567555]
	27	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	28	LAMPORT, L. How to make a multiprocessor computer that correctly exeeutes multiprocess programs. IEEE Trans. Comput. C-28, 9, (Sept 1979), 690-691.
	29	J. R. Larus , P. N. Hilfinger, Detecting conflicts between structure accesses, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.24-31, June 20-24, 1988, Atlanta, Georgia, United States
	30	Barton P. Miller, The frequency of dynamic pointer references in “C” programs, ACM SIGPLAN Notices, v.23 n.6, p.152-156, June, 1988 [doi>10.1145/44546.44562]
	31	B. P. Miller , Jong-Deok Choi, A mechanism for efficient debugging of parallel programs, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.135-144, June 20-24, 1988, Atlanta, Georgia, United States
	32	NETZER, R. H. B., AND MmLER, B.P. Detecting data races in parallel program executions. In Advances zn Languages and Compilers for Parallel Computing, D. Gelernter, T. Gross, A. Nicolau, and D. Padua, Eds. MIT Press, Cambridge, Mass, 1991. (Also appears in Proceedings of the 3rd Workshop on Programming Languages and Compilers for Parallel Computing (Irvine, Calif., Aug. 1990),
	33	Robert H. B. Netzer , Barton P. Miller, Improving the accuracy of data race detection, Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming, p.133-144, April 21-24, 1991, Williamsburg, Virginia, United States
	34	Karl J. Ottenstein , Linda M. Ottenstein, The program dependence graph in a software development environment, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.177-184, April 1984
	35	CORPORATE Sequent Computer Systems, Inc., Guide to parallel programming (3rd ed.): on sequent computer systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	36	Ross Albert Towle, Control and data dependence for program transformations., 1976
	37	Mark Weiser, Programmers use slices when debugging, Communications of the ACM, v.25 n.7, p.446-452, July 1982 [doi>10.1145/358557.358577]
	38	WmSER, M. Program slicing. IEEE Trans. Softw. Eng. SAEIO, 4 (July 1984), 352-357
	39	Michael Joseph Wolfe, Optimizing Supercompilers for Supercomputers, MIT Press, Cambridge, MA, 1990