Concurrency analysis in the presence of procedures using a data-flow framework

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Concurrency analysis in the presence of procedures using a data-flow framework

Full text

Pdf (1.10 MB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the symposium on Testing, analysis, and verification table of contents

Victoria, British Columbia, Canada

Pages: 36 - 48

Year of Publication: 1991

ISBN:0-89791-449-X

Authors

Evelyn Duesterwald	Department of Computer Science, University of Pittsburgh, Pittsburgh, PA
Mary Lou Soffa	Department of Computer Science, University of Pittsburgh, Pittsburgh, PA

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 28, Citation Count: 19

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/120807.120811 What is a DOI?

REFERENCES

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	W. F. Appelbe and C. E. McDowell, "Anomaly reporting: A tool for debugging and developing parallel numerical algorithms," Proceedings of the First International Conference on Supercomputing Systems, IEEE, pp. 386-391, 1985.
	3	G. Bristow , C. Drey , B. Edwards , W. Riddle, Anomaly detection in concurrent programs, Proceedings of the 4th international conference on Software engineering, p.265-273, September 17-19, 1979, Munich, Germany
	4	David Callahan , Jaspal Sublok, Static analysis of low-level synchronization, Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, p.100-111, May 05-06, 1988, Madison, Wisconsin, United States
	5	D. Callahan , K. Kennedy , J. Subhlok, Analysis of event synchronization in a parallel programming tool, Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, p.21-30, March 14-16, 1990, Seattle, Washington, United States
	6	Keith D. Cooper, Analyzing aliases of reference formal parameters, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.281-290, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318658]
	7	United States Department of Defense, "Reference Manual for the Ada Programming Language," (ANSIIMIL-STD-1815A), Washington, D. C., January 1983.
	8	E. Duestcrwald, "Static concurrency analysis in the presence of procedures," Technical Report #91 -6, Dept. of Computer Science, University of Pittsburgh, March 1991.
	9	Thomas Lengauer , Robert Endre Tarjan, A fast algorithm for finding dominators in a flowgraph, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.121-141, July 1979 [doi>10.1145/357062.357071]
	10	Douglas L. Long , Lori A. Clarke, Task Interaction Graph: An Intermediate Representation for Concurrency, University of Massachusetts, Amherst, MA, 1988
	11	Douglas L. Long , Lori A. Clarke, Task interaction graphs for concurrency analysis, Proceedings of the 11th international conference on Software engineering, p.44-52, May 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74587.74592]
	12	Stephen P. Masticola , Barbara G. Ryder, A model of Ada programs for static deadlock detection in polynomial times, Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, p.97-107, May 20-21, 1991, Santa Cruz, California, United States
	13	Charles E. McDowell, A practical algorithm for static analysis of parallel programs, Journal of Parallel and Distributed Computing, v.6 n.3, p.515-536, June 1989 [doi>10.1016/0743-7315(89)90004-X]
	14	R. N. Taylor and L. J. Osterweil, "Anomaly detection in concurrent software by static data flow analysis," IEEE Transactions on Software Engineering, vol. SE-6, no. 3, pp. 265-278, May 1980.
	15	Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983 [doi>10.1145/69586.69587]
	16	R. N. Taylor, "Complexity of analyzing the synchronization structure of concurrent programs," Acts Informatica, vol. 19, no. 1, pp. 57-83,1983.
	17	M. Young and R. N. Taylor, "Combining static concurrency analysis with symbolic execution," Proceedings of Workshop on Software Testing, pp. 10-18,1986.

CITED BY 19

	Matthew B. Dwyer , Lori A. Clarke, A flexible architecture for building data flow analyzers, Proceedings of the 18th international conference on Software engineering, p.554-564, March 25-29, 1996, Berlin, Germany
	Shing Chi Cheung , J. Kramer, Tractable Dataflow Analysis for Distributed Systems, IEEE Transactions on Software Engineering, v.20 n.8, p.579-593, August 1994
	Stephen P. Masticola , Thomas J. Marlowe , Barbara G. Ryder, Lattice frameworks for multisource and bidirectional data flow problems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.5, p.777-803, Sept. 1995
	Gleb Naumovich , George S. Avrunin , Lori A. Clarke, An efficient algorithm for computing MHP information for concurrent Java programs, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.338-354, Nov. 1999
	Zhenqiang Chen , Baowen Xu , Huiming Yu, Detecting concurrently executed pairs of statements using an adapted MHP algorithm, ACM SIGAda Ada Letters, v.XXI n.4, December 2001
	Stephen P. Masticola , Barbara G. Ryder, Non-concurrency analysis, ACM SIGPLAN Notices, v.28 n.7, p.129-138, July 1993
	Gleb Naumovich , George S. Avrunin, A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.24-34, Nov. 1998
	Radu Rugina , Martin C. Rinard, Pointer analysis for structured parallel programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.1, p.70-116, January 2003
	Matthew B. Dwyer , Lori A. Clarke , Kari A. Nies, A compact Petri net representation for concurrent programs, Proceedings of the 17th international conference on Software engineering, p.147-157, April 24-28, 1995, Seattle, Washington, United States
	Ahmed Bouajjani , Javier Esparza , Tayssir Touili, A generic approach to the static analysis of concurrent programs with procedures, ACM SIGPLAN Notices, v.38 n.1, p.62-73, January 2003
	Shaz Qadeer , Sriram K. Rajamani , Jakob Rehof, Summarizing procedures in concurrent programs, ACM SIGPLAN Notices, v.39 n.1, p.245-255, January 2004
	Christoph von Praun , Thomas R. Gross, Static conflict analysis for multi-threaded object-oriented programs, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Radu Rugina , Martin C. Rinard, Symbolic bounds analysis of pointers, array indices, and accessed memory regions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.2, p.185-235, March 2005
	Zehra Sura , Xing Fang , Chi-Leung Wong , Samuel P. Midkiff , Jaejin Lee , David Padua, Compiler techniques for high performance sequentially consistent java programs, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, June 15-17, 2005, Chicago, IL, USA
	G. Ramalingam, Context-sensitive synchronization-sensitive analysis is undecidable, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.2, p.416-430, March 2000
	Matthew B. Dwyer , Lori A. Clarke, A Compact Petri Net Representation and Its Implications for Analysis, IEEE Transactions on Software Engineering, v.22 n.11, p.794-811, November 1996
	Shivali Agarwal , Rajkishore Barik , Vivek Sarkar , Rudrapatna K. Shyamasundar, May-happen-in-parallel analysis of X10 programs, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, March 14-17, 2007, San Jose, California, USA
	Yuan Zhang , Evelyn Duesterwald, Barrier matching for programs with textually unaligned barriers, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, March 14-17, 2007, San Jose, California, USA
	Amir Kamil , Jimmy Su , Katherine Yelick, Making Sequential Consistency Practical in Titanium, Proceedings of the 2005 ACM/IEEE conference on Supercomputing, p.15, November 12-18, 2005