Context-sensitive slicing of concurrent programs

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 178-187

  Krinke, Jens ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

concurrency; context sensitive; parallelism; program analysis; program slicing

Indexed keywords

CONCURRENT PROGRAM; CONTEXT-SENSITIVE; CONTROL FLOW GRAPHS; INLINING; INTER-PROCEDURAL; PROGRAM ANALYSIS; PROGRAM DEPENDENCE GRAPH; PROGRAM SLICING;

COMPUTER SOFTWARE;

CONCURRENCY CONTROL;

EID: 33644574841     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940096     Document Type: Conference Paper

References (37)

1. Z. Chen and B. Xu. Slicing concurrent java programs. ACM SIGPLAN Notices, 36(4):41-47, 2001.
2. Z. Chen, B. Xu, J. Zhao, and H. Yang. Static dependency analysis for concurrent ada 95 programs. In 7th Ada-Europe International Conference on Reliable Software Technologies, pages 219-230, 2002.
3. J. Cheng. Slicing concurrent programs. In Automated and Algorithmic Debugging, 1st International Workshop, AADEBUG'93, pages 223-240, 1993.
4. J. Cheng. Dependence analysis of parallel and distributed programs and its applications. In International Conference on Advances in Parallel and Distributed Computing, 1997.
5. J.-D. Choi, B. Miller, and R. Netzer. Techniques for debugging parallel programs with flowback analysis. ACM Trans. Prog. Lang. Syst., 13(4):491-530, 1991.
6. E. Duesterwald, R. Gupta, and M. L. Soffa. Distributed slicing and partial re-execution for distributed programs. In 5th Workshop on Languages and Compilers for Parallel Computing, pages 497-511, 1992.
7. M. B. Dwyer, J. C. Corbett, J. Hatcliff, S. Sokolowski, and H. Zheng. Slicing multi-threaded java programs: A case study. Technical Report KSU CIS TR 99-7, Department of Computing and Information Sciences, Kansas State University, 1999.
8. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Trans. Prog. Lang. Syst., 9(3):319-349, 1987. (Pubitemid 17641083)
9. D. Goswami and R. Mall. Dynamic slicing of concurrent programs. In High Performance Computing - HiPC 2000, 7th International Conference, pages 15-26, 2000.
10. J. Hatcliff, J. C. Corbett, M. B. Dwyer, S. Sokolowski, and H. Zheng. A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In Static Analysis Symposium, pages 1-18, 1999.
11. S. B. Horwitz, T. W. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. Prog. Lang. Syst., 12(1):26-60, 1990.
12. M. Kamkar and P. Krajina. Dynamic slicing of distributed programs. In International Conference on Software Maintenance, pages 222-231, 1995.
13. J. Knoop, B. Steffen, and J. Vollmer. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs. ACM Trans. Prog. Lang. Syst., 18(3):268-299, 1996.
14. B. Korel and R. Ferguson. Dynamic slicing of distributed programs. Applied Mathematics and Computer Science Journal, 2(2):199-215, 1992.
15. J. Krinke. Static slicing of threaded programs. In Proc. ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), pages 35-42. ACM Press, 1998.
16. ACM SIGPLAN Notices 33(7).
17. J. Krinke. Evaluating context-sensitive slicing and chopping. In International Conference on Software Maintenance, pages 22-31, 2002.
18. C. E. McDowell and D. P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, 1989.
19. B. P. Miller and J.-D. Choi. A mechanism for efficient debugging of parallel programs. In ACM SIGPLAN'88 Conference on Programming Language Design and Implementation, pages 135-144, 1988.
20. L. Millett and T. Teitelbaum. Slicing promela and its applications to model checking. In Proceedings of the 4th International SPIN Workshop, 1998.
21. M. Müller-Olm and H. Seidl. On optimal slicing of parallel programs. In STOC 2001 (33th ACM Symposium on Theory of Computing), pages 647-656, 2001.
22. M. G. Nanda and S. Ramesh. Slicing concurrent programs. In International Conference on Software Testing and Analysis (ISSTA 2000), pages 180-190, 2000.
23. G. Naumovich and G. S. Avrunin. A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel. In Proceedings of 6th International Symposium on the Foundations of Software Engineering, pages 24-34, 1998.
24. G. Naumovich, G. S. Avrunin, and L. A. Clarke. An efficient algorithm for computing mhp information for concurrent java programs. In O. Nierstrasz and M. Lemoine, editors, 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 1687 of LNCS, pages 338-354. Springer, 1999.
25. G. Ramalingam. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Trans. Prog. Lang. Syst., 22(2):416-430, 2000.
26. T. Reps and G. Rosay. Precise interprocedural chopping. In Proceedings of the 3rd ACM Symposium on the Foundations of Software Engineering, pages 41-52, 1995.
27. V. Sarkar and B. Simons. Parallel program graphs and their classification. In Proc. 6th Workshop on Languages and Compilers for Parallel Computing, pages 633-655, 1993.
28. H. Seidl and B. Steffen. Constraint-based inter-procedural analysis of parallel programs. In Proceedings of ESOP'00, 9th European Symposium on Programming, volume 1782 of LNCS, 2000.
29. M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In Program Flow Analysis: Theory and Applications, pages 189-233. Prentice-Hall, 1981.
30. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3(3), 1995.
31. N. Uchihira, S. Honiden, and T. Seki. Hypersequential programming. IEEE Concurrency, pages 44-54, 1997.
32. M. Weiser. Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, 1979.
33. M. Weiser. Program slicing. IEEE Trans. Softw. Eng., 10(4):352-357, 1984.
34. J. Zhao. Multithreaded dependence graphs for concurrent java programs. In Proceedings of 1999 International Symposium on Software Engineering for Parallel and Distributed Systems, pages 13-23, 1999.
35. J. Zhao. Slicing concurrent Java programs. In Proceedings of the 7th IEEE International Workshop on Program Comprehension, pages 126-133, 1999.
36. J. Zhao, J. Cheng, and K. Ushijima. Static slicing of concurrent object-oriented programs. In Proceedings of the 20th IEEE Annual International Computer Software and Applications Conference, pages 312-320, 1996.
37. J. Zhao, J. Cheng, and K. Ushijima. A dependence-based representation for concurrent object-oriented software maintenance. In Procedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, pages 60-66, 1998.