{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:09Z","timestamp":1763467989722},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212973"},{"type":"electronic","value":"9783540247234"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24723-4_4","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:14:24Z","timestamp":1280276064000},"page":"39-56","source":"Crossref","is-referenced-by-count":11,"title":["Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs"],"prefix":"10.1007","author":[{"given":"Venkatesh Prasad","family":"Ranganath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-48294-6_2","volume-title":"Static Analysis","author":"J. Aldrich","year":"1999","unstructured":"Aldrich, J., Chambers, C., Sirer, E.G., Eggers, S.J.: Static analyses for eliminating unnecessary synchronization from java programs. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 19\u201338. Springer, Heidelberg (1999)"},{"issue":"10","key":"4_CR2","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/320385.320387","volume":"34","author":"B. Blanchet","year":"1999","unstructured":"Blanchet, B.: Escape analysis for object-oriented languages: application to Java. ACM SIGPLAN Notices\u00a034(10), 20\u201334 (1999)","journal-title":"ACM SIGPLAN Notices"},{"issue":"10","key":"4_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/320385.320388","volume":"34","author":"J. Bogda","year":"1999","unstructured":"Bogda, J., H\u00f6lzle, U.: Removing unnecessary synchronization in Java. ACM SIGPLAN Notices\u00a034(10), 35\u201346 (1999)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free Java programs. In: Proceedings of 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001), Tampa Bay, FL, USA (October 2001)","DOI":"10.1145\/504282.504287"},{"issue":"4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/375431.375420","volume":"36","author":"Z. Chen","year":"2001","unstructured":"Chen, Z., Baowen, X.: Slicing concurrent java programs. SIGPLAN Notices\u00a036(4), 41\u201347 (2001)","journal-title":"SIGPLAN Notices"},{"key":"4_CR6","series-title":"ACM SIGPLAN Notices","first-page":"1","volume-title":"Proceedings of Conference on Object-Oriented Systems, Languages and Applications (OOPSLA 1999)","author":"J.D. Choi","year":"1999","unstructured":"Choi, J.D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Escape analysis for object oriented languages. application to Java. In: Proceedings of Conference on Object-Oriented Systems, Languages and Applications (OOPSLA 1999), Denver, CO, USA, October 1999. ACM SIGPLAN Notices, vol.\u00a034(10), pp. 1\u201319. ACM, New York (1999)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Lee, K., Loginov, A., O\u2019Callahan, R., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proceedings of ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002) (June 2002)","DOI":"10.1145\/512529.512560"},{"key":"4_CR8","unstructured":"Choi, J.D., Loginov, A., Sarkar, V.: Static datarace analysis for multithreaded object-oriented programs. Technical report, IBM Research Division, Thomas J. Watson Research Centre (2001)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby, Zheng, H.: Bandera: Extracting finite-state models from Java source code. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), June 2000, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/358438.349328","volume":"35","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java. ACM SIGPLAN Notices\u00a035(5), 219\u2013232 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Detecting race conditions in large programs. In: Proceedings ACM SIGPLAN\/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2001 (2001)","DOI":"10.1145\/379605.379687"},{"key":"4_CR12","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Language Specification, 2nd edn. Addison Wesley, Reading (2000)","edition":"2"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48294-6_1","volume-title":"Static Analysis","author":"J. Hatcliff","year":"1999","unstructured":"Hatcliff, J., Corbett, J.C., Dwyer, M.B., Sokolowski, S., Zheng, H.: A formal study of slicing for multi-threaded programs with jvm concurrency primitives. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, p. 1. Springer, Heidelberg (1999)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/73141.74821","volume-title":"Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI 1989)","author":"S. Horwitz","year":"1989","unstructured":"Horwitz, S., Pfeiffer, P., Reps, T.W.: Dependence analysis for pointer variables. In: Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI 1989), pp. 28\u201340. ACM, New York (1989)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation (PLDI 1988), vol.\u00a023, pp. 35\u201346 (1988)","DOI":"10.1145\/53990.53994"},{"key":"4_CR16","unstructured":"Indus, a toolkit to customize and adapt java programs. This software is, available at http:\/\/indus.projects.cis.ksu.edu"},{"key":"4_CR17","unstructured":"Java grande forum benchmark suite - thread version 1.0. This software is, Java Grande Benchmarking Project at Edinburgh Parallel Computing Centre, available at http:\/\/www.epcc.ed.ac.uk\/computing\/research_activities\/java_grande\/"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Static slicing of threaded programs. In: Proceedings ACM SIGPLAN\/ SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998), Montreal, Canada, June 1998. ACM SIGPLAN Notices, vol.\u00a033(7), pp. 35\u201342 (1998)","DOI":"10.1145\/277631.277638"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Context-sensitive slicing of concurrent programs. In: Proceedings of ESEC\/SIGSOFT FSE 2003 (2003)","DOI":"10.1145\/940071.940096"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Larsen, L., Harrold, M.J.: Slicing object-oriented software. In: Proceedings of International Conference on Software Engineering (ICSE 1996), pp. 495\u2013505 (1996)","DOI":"10.1109\/ICSE.1996.493444"},{"key":"4_CR21","unstructured":"Liang, D., Harrold, M.J.: Slicing objects using system dependence graphs. In: Proceedings of International Conference on Software Maintenance (ICSM 1998), pp. 358\u2013367 (1998)"},{"key":"4_CR22","unstructured":"Livadas, P., Rosenstein, A.: Slicing in the presence of pointer variables (1994)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1145\/380752.380864","volume-title":"Proceedings of the thirty-third annual ACM symposium on Theory of computing (STOC 2001)","author":"M. M\u00fcller-Olm","year":"2001","unstructured":"M\u00fcller-Olm, M., Seidl, H.: On optimal slicing of parallel programs. In: Proceedings of the thirty-third annual ACM symposium on Theory of computing (STOC 2001), Hersonissos, Greece, pp. 647\u2013656. ACM Press, New York (2001)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Nanda, M.G., Ramesh, S.: Slicing concurrent programs. In: Proceedings of International Symposium on Software Testing and Analysis (ISSTA 2000), pp. 180\u2013190 (2000)","DOI":"10.1145\/347324.349121"},{"key":"4_CR25","unstructured":"Naumovich, G., Avrunin, G., Clarke, L.: An efficient algorithm for computing MHP information for concurrent java programs. Technical Report UM-CS-1998- 044, University of Massachusetts, Amherst (October 1998)"},{"issue":"2","key":"4_CR26","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1145\/349214.349241","volume":"22","author":"G. Ramalingam","year":"2000","unstructured":"Ramalingam, G.: Context-sensitive synchronization-sensitive analysis is undecidable. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a022(2), 416\u2013430 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"4_CR27","unstructured":"Ranganath, V.P.: Object-flow analysis for optimizing finite-state models of java software. Master\u2019s thesis, Kansas State University (2002)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Ruf, E.: Effective synchronization removal for java. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI 2000), June 2000, pp. 203\u2013213 (2000)","DOI":"10.1145\/349299.349327"},{"key":"4_CR29","volume-title":"Compilers: Principles, Techniques, and Tools","author":"V. Aho","year":"1986","unstructured":"Aho, V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley International, Reading (1986)"},{"key":"4_CR30","unstructured":"Vall\u00e9e-Rai, R.: Soot: A Java Bytecode Optimization Framework. Master\u2019s thesis, School of Computer Science, McGill University, Montreal, Canada (October 2000)"},{"issue":"4","key":"4_CR31","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Transactions on Software Engineering\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Zhao, J.: Slicing concurrent Java programs. In: Proceedings of the 7th IEEE International Workshop on Program Comprehension (IWPC 1999), May 1999, pp. 126\u2013133 (1999)","DOI":"10.1109\/WPC.1999.777751"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24723-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:29:33Z","timestamp":1559330973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24723-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212973","9783540247234"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24723-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}