Pruning interference and ready dependence for slicing concurrent Java programs

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

Volumn 2985, Issue , 2004, Pages 39-56

  Ranganath, Venkatesh Prasad ^a   Hatcliff, John ^a  

^a Sunflower Networking Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; STATIC ANALYSIS;

CONCURRENT JAVA PROGRAMS; CONCURRENT OBJECT-ORIENTED PROGRAMS; ESCAPE ANALYSIS; ESCAPE INFORMATIONS; RUNTIMES; SOFTWARE MODEL;

OBJECT ORIENTED PROGRAMMING;

EID: 35048897515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24723-4_4     Document Type: Article

References (32)

1. J. Aldrich, C. Chambers, E. G. Sirer, and S. J. Eggers. Static analyses for eliminating unnecessary synchronization from Java programs. In Proceedings of Static Analysis Symposium (SAS'99), pages 19-38, 1999.
2. B. Blanchet. Escape analysis for object-oriented languages: application to Java. ACM SIGPLAN Notices, 34(10):20-34, 1999.
3. J. Bogda and U. Hölzle. Removing unnecessary synchronization in Java. ACM SIGPLAN Notices, 34(10):35-46, 1999.
4. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '01), Tampa Bay, FL, USA, Oct 2001.
5. Z. Chen and X. Baowen. Slicing concurrent Java programs. SIGPLAN Notices, 36(4):41-47, April 2001.
6. J. D. Choi, M. Gupta, M. J. Serrano, V. C. Sreedhar, and S. P. Midkiff. Escape analysis for object oriented languages, application to Java. In Proceedings of Conference on Object-Oriented Systems, Languages and Applications (OOPSLA'99), volume 34(10) of ACM SIGPLAN Notices, pages 1-19, Denver, CO, USA, Oct 1999. ACM.
7. J. D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02), June 2002.
8. J. D. Choi, A. Loginov, and V. Sarkar. Static datarace analysis for multithreaded object-oriented programs. Technical report, IBM Research Division, Thomas J. Watson Research Centre, 2001.
9. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and II. Zheng. Bandera: Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering (ICSE'00), pages 439-448, June 2000.
10. C. Flanagan and S. N. Freund. Type-based race detection for Java. ACM SIGPLAN Notices, 35(5):219-232, 2000.
11. C. Flanagan and S. N. Freund. Detecting race conditions in large programs. In Proceedings ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01), 2001.
12. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison Wesley, second edition, 2000.
13. 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 Lecture Notes in Computer Science, Sept 1999. Proceedings on the 1999 International Symposium on Static Analysis (SAS'99).
14. S. Horwitz, P. Pfeiffer, and T. W. Reps. Dependence analysis for pointer variables. In Proceedings of the ACM SIGPLAN '89 Conference on Programming Language Design and Implementation (PLDI'89), pages 28-40. ACM, 1989.
15. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. In Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation (PLDI'88), volume 23, pages 35-46, 1988.
16. Indus, a toolkit to customize and adapt Java programs. This software is available at http://indus.projects.cis.ksu.edu.
17. Java grande'forum benchmark suite - thread version 1.0. This software is available at http://www.epcc.ed.ac.uk/computing/research.activities/java-grande/ . Java Grande Benchmarking Project at Edinburgh Parallel Computing Centre.
18. J. Krinke. Static slicing of threaded programs. In Proceedings ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), pages 35-42, Montreal, Canada, June 1998. ACM SIGPLAN Notices 33(7).
19. J. Krinke. Context-sensitive slicing of concurrent programs. In Proceedings of ESEC/SIGSOFT FSE'03, 2003.
20. L. Larsen and M. J. Harrold. Slicing object-oriented software. In Proceedings of International Conference on Software Engineering (ICSE'96), pages 495-505, 1996.
21. D. Liang and M. J. Harrold. Slicing objects using system dependence graphs. In Proceedings of International Conference on Software Maintenance (ICSM'98), pages 358-367, 1998.
22. P. Livadas and A. Rosenstein. Slicing in the presence of pointer variables, 1994.
23. M. Muller-Olm and H. Seidl. On optimal slicing of parallel programs. In Proceedings of the thirty-third annual ACM symposium on Theory of computing (STOC'01), pages 647 - 656, Hersonissos, Greece, 2001. ACM, ACM Press.
24. M. G. Nanda and S. Ramesh. Slicing concurrent programs. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA '00), pages 180-190, 2000.
25. G. Naumovich, G. Avrunin, and L. Clarke. An efficient algorithm for computing MHP information for concurrent Java programs. Technical Report UM-CS-1998044, University of Massachusetts, Amherst, October 1998.
26. G. Ramalingam. Context-sensitive synchronization- sensitive analysis is undecidable. ACM Transactions on Programming Languages and Systems (TOPLAS), 22(2):416 - 430, March 2000.
27. V. P. Ranganath. Object-flow analysis for optimizing finite-state models of Java software. Master's thesis, Kansas State University, 2002.
28. E. Ruf. Effective synchronization removal for Java. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI'OO), pages 203-213, June 2000.
29. A. V.Aho, R. Sethi, and J. D.Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley International, 1986.
30. R. Vallée-Rai. Soot: A Java Bytecode Optimization Framework. Master's thesis, School of Computer Science, McGill University, Montreal, Canada., Oct 2000.
31. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, 1984.
32. J. Zhao. Slicing concurrent Java programs. In Proceedings of the 7th IEEE International Workshop on Program Comprehension (IWPC'99), pages 126-133, May 1999.