{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T09:44:24Z","timestamp":1785577464114,"version":"3.56.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540693291","type":"print"},{"value":"9783540693307","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69330-7_11","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T17:16:20Z","timestamp":1179162980000},"page":"152-169","source":"Crossref","is-referenced-by-count":34,"title":["Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs"],"prefix":"10.1007","author":[{"given":"Rajkishore","family":"Barik","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Compilers Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers Principles, Techniques, and Tools. Addison-Wesley publishing company, Reading (1986)"},{"key":"11_CR2","unstructured":"Alstrup, S., Lauridsen, P.W., Thorup, M.: Dominators in linear time. DIKU technical report\u00a0(35) (1996)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Callahan, D., Subhlok, J.: Static analysis of low-level synchronization. In: Workshop on parallel and distributed debugging, pp. 100\u2013111 (1989)","DOI":"10.1145\/69215.69225"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Escape analysis for java. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 1\u201319 (1999)","DOI":"10.1145\/320384.320386"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Choi, J., Lee, K., Loginov, A., Callahan, R.O., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 258\u2013269 (2002)","DOI":"10.1145\/512529.512560"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Duesterwald, E., Soffa, M.L.: Concurrency analysis in the presence of procedures using a data-flow framework. In: Proceedings of the Symposium on Testing, Analysis, and Verification, pp. 36\u201348 (1991)","DOI":"10.1145\/120807.120811"},{"key":"11_CR7","unstructured":"Gnu software, gcj - the gnu compiler for the java programming language, \n                  \n                    http:\/\/gcc.gnu.org\/java"},{"key":"11_CR8","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification. In: Sun Microsystems, 2nd edn. (2000)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Krinke, J.: Static slicing of threaded programs. In: Proceedings of the ACM SIGPLAN\/ SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, June 1998, pp. 35\u201341 (1998)","DOI":"10.1145\/277631.277638"},{"key":"11_CR10","unstructured":"Java grande forum, multi-threaded benchmark suite, \n                  \n                    http:\/\/www.epcc.ed.ac.uk\/javagrande"},{"issue":"7","key":"11_CR11","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1109\/12.599898","volume":"46","author":"L. Lamport","year":"1997","unstructured":"Lamport, L.: How to make a correct multiprocess program execute correctly on a multiprocessor. IEEE Transactions on Computers\u00a046(7), 779\u2013782 (1997)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR12","volume-title":"Concurrent Programming in Java","author":"D. Lea","year":"2000","unstructured":"Lea, D.: Concurrent Programming in Java, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11532378_15","volume-title":"Languages and Compilers for High Performance Computing","author":"L. Li","year":"2005","unstructured":"Li, L., Verbrugge, C.: A practical mhp information analysis for concurrent java programs. In: Eigenmann, R., Li, Z., Midkiff, S.P. (eds.) LCPC 2004. LNCS, vol.\u00a03602, pp. 194\u2013208. Springer, Heidelberg (2005)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Masticola, S.P., Ryder, B.G.: Non-concurrency analysis. In: Proceedings of the Fourth Symposium on Principles and Practices of Parallel Programming, May 1993, pp. 129\u2013138 (1993)","DOI":"10.1145\/155332.155346"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-48166-4_21","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"G. Naumovich","year":"1999","unstructured":"Naumovich, G., Avrunin, G.S., Clarke, L.A.: An efficient algorithm for computing mhp information for concurrent java programs. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 338\u2013354. Springer, Heidelberg (1999)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Naumovich, G., Avrunin, G.S.: A conservative data flow algorithm for detecting all pairs of statements that happen in parallel. In: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 24\u201334 (1998)","DOI":"10.1145\/288195.288213"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001), October 2001, pp. 70\u201382 (2001)","DOI":"10.1145\/504282.504288"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Static conflict analysis for multithreaded object-oriented programs. In: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pp. 115\u2013128 (2003)","DOI":"10.1145\/781131.781145"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47764-0_1","volume-title":"Static Analysis","author":"M. Rinard","year":"2001","unstructured":"Rinard, M.: Analysis of multithreaded programs. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, p. 1. Springer, Heidelberg (2001)"},{"key":"11_CR20","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), pp. 208\u2013218 (2000)","DOI":"10.1145\/349299.349327"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032686","volume-title":"Languages and Compilers for Parallel Computing","author":"V. Sarkar","year":"1998","unstructured":"Sarkar, V.: Analysis and optimization of explicitly parallel programs using the parallel program graph representation. In: Huang, C.-H., Sadayappan, P., Sehr, D. (eds.) LCPC 1997. LNCS, vol.\u00a01366. Springer, Heidelberg (1998)"},{"key":"11_CR22","unstructured":"Sarkar, V., Simons B.: Parallel program graphs and their classification. In: The Proceedings of ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (1998)"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1145\/42190.42277","volume":"10","author":"D. Shasha","year":"1988","unstructured":"Shasha, D., Snir, M.: Efficient and correct execution of parallel programs that share memory. ACM Transactions on Programming Languages and Systems\u00a010(2), 282\u2013312 (1988)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR24","unstructured":"Spec jvm98 benchmarks, the standard performance evaluation corporation, \n                  \n                    http:\/\/www.spec.org\/osg\/jvm98"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1065944.1065947","volume-title":"PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"Z. Sura","year":"2005","unstructured":"Sura, Z., Fang, X., Wong, C.-L., Midkiff, S.P., Lee, J., Padua, D.: Compiler techniques for high performance sequentially consistent java programs. In: PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 2\u201313. ACM Press, New York (2005)"},{"issue":"2","key":"11_CR26","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal on Computing"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF00263928","volume":"19","author":"R.N. Taylor","year":"1983","unstructured":"Taylor, R.N.: Complexity of analyzing the synchronization structure of concurrent programs. Acta Informatica\u00a019, 57\u201384 (1983)","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69330-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:57:28Z","timestamp":1605743848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69330-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540693291","9783540693307"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69330-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}