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

Proceedings of the Symposium on Testing, Analysis, and Verification, TAV 1991

Volumn , Issue , 1991, Pages 36-48

  Duesterwald, Evelyn ^a   Sofia, Mary Lou ^a  

^a UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA TRANSFER;

CONCURRENCY ANALYSIS; CONTROL FLOWS; CURRENT DATA; DATA RACE DETECTION; DATA RACES; PARTIAL EXECUTIONS; PROGRAM UNITS; RECURSIONS;

CONCURRENCY CONTROL;

EID: 84892753835     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/120807.120811     Document Type: Conference Paper

References (17)

1. A. V. Ano, R. Sethi, and J. D. Ullman, in Compilers, Principles, Techniques, and Tools, Addison-Wesley Publishing Company, Massachusetts, 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 Super-computing Systems, IEEE, pp. 386-391, 1985.
3. G. Bristow, C. Drey, B. Edwards, and W. Riddle, "Anomaly detection in concurrent programs, " Proceedings of Fourth International Conference on Software Enginering, IEEE, pp. 265-273, Munich, Germany, 1979.
4. D. Callahan and J. Subhlok, "Static analysis of low-level synchronization, " Proceedings of the ACM SIGPLANISIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN NOTICES, Vol. 24, No. 1, pp. 100-111, January 1989.
5. D. Callahan, K. Kennedy, and J. Subhlok, "Analysis of event synchronization in a parallel programming tool, " Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 21-30, Seattie WA, March 1990.
6. K. D. Cooper, "Analyzing aliases of reference formal parameters, " Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pp. 281-290, New Orleans, Louisiana, January 1985.
7. United States Department of Defense, "Reference Manual for the Ada Programming Language , " (ANSI/MIL-STD-1815A), Washington, D.C., January 1983.
8. E. Duesterwald, "Static concurrency analysis in the presence of procedures, " Technical Report #91-6, Dept. of Computer Science, University of Pittsburgh, March 1991.
9. T. Lengauer and R. E. Tarjan, "A fast algorithm for finding dominatore in a flowgraph, " ACM Transactions on Programming Languages and Systems, Vol. 1, No. 1, pp. 121-141, July 1979.
10. D. Long and L. Clarke, "Task interaction graphs: a representation for concurrency analysis, " Technical Report, Computer Science Department, University of Massachusetts, Amherst, March 1988.
11. D. Long and L. Clarke, "Task interaction graphs for concurrency analysis, " Proceedings of the Eleventh International Conference on Software Enginering, pp. 44-52, Pittsburgh, Pennsylvania, May 1989.
12. S. Masticola and B. G. Ryder, "A model of Ada programs for static deadlock detection in polynomial time, " Proceedings of the ACMIONR Workshop on Parallel and Distributed Debugging, pp. 91-102, Santa Cruez, California, May 1991.
13. C. McDowell, "A practical algorithm for static analysis of parallel programs, " Journal of Parallel and Distributed Computing, Vol. 6, No. 3, pp. 515-536, 1989.
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. R. N. Taylor, "A general purpose algorithm for analyzing concurrent programs, " Communications of the ACM, Vol. 26, No. 5, pp. 362-376, May 1983.
16. R. N. Taylor, "Complexity of analyzing the synchronization structure of concurrent programs, " Acta 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.