{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:23:10Z","timestamp":1725560590010},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280095"},{"type":"electronic","value":"9783540318132"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11532378_15","type":"book-chapter","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T19:16:36Z","timestamp":1279653396000},"page":"194-208","source":"Crossref","is-referenced-by-count":25,"title":["A Practical MHP Information Analysis for Concurrent Java Programs"],"prefix":"10.1007","author":[{"given":"Lin","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clark","family":"Verbrugge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"SPEC\u00a0JVM98 Benchmarks, http:\/\/wwww.spec.org\/jvm98"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/781131.781144","volume-title":"Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation","author":"M. Berndl","year":"2003","unstructured":"Berndl, M., Lhot\u00e1k, O., Qian, F., Hendren, L., Umanee, N.: Points-to analysis using BDDs. In: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pp. 103\u2013114. ACM Press, New York (2003)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Bogda, J., Holzle, U.: Removing unnecessary synchronization in Java. In: Proceedings of the ACM SIGPLAN 1999 Conference on Object-Oriented Programming, Systems, Languages, and Application, November 1999, pp. 35\u201346 (1999)","DOI":"10.1145\/320384.320388"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Lee, K., Loginov, A., Sarkar, R.O.V., Sirdharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Berlin, Germany (June 2002)","DOI":"10.1145\/512529.512560"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Emami, M., Ghiya, R., Hendren, L.J.: Context-sensitive interprocedural points-to analysis in the presence of function pointers. In: Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, pp. 242\u2013256 (1994)","DOI":"10.1145\/178243.178264"},{"key":"15_CR7","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, June 2000, pp. 208\u2013218 (2000)","DOI":"10.1145\/349299.349327"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its uses in optimization. ACM Transactions on Programming Languages and Systems (July 1987)","DOI":"10.1145\/24039.24041"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/349299.349328","volume-title":"Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java. In: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, pp. 219\u2013232. ACM Press, New York (2000)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Ferrante, J., Ottenstein, K., Warren, J.: Compile-time analysis and optimization of explicitly parallel programs. Journal of Parallel algorithms and applications (1997)","DOI":"10.1080\/01495739708941415"},{"key":"15_CR11","volume-title":"Concurrent Programming in Java Design Principles and Patterns","author":"D. Lea","year":"1997","unstructured":"Lea, D.: Concurrent Programming in Java Design Principles and Patterns. Addison-Wesley, Reading (1997)"},{"key":"15_CR12","volume-title":"Concurrent Programming in Java Design Principles and Patterns","author":"D. Lea","year":"1999","unstructured":"Lea, D.: Concurrent Programming in Java Design Principles and Patterns, 2nd edn. Addison-Wesley, Reading (1999)","edition":"2"},{"key":"15_CR13","unstructured":"Lee, J.: Compilation techniques for explicitly parallel programs. PhD thesis, University of Illinois at Unbana-Champaign (1999)"},{"key":"15_CR14","unstructured":"Lhot\u00e1k, O.: Spark: A flexible points-to analysis framework for Java. Master\u2019s thesis, McGill University (December 2002)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Naumovich, G., Avrumin, G.S., Clarke, L.A.: An efficient algorithm for computing MHP information for concurrent Java program. In: Proceedings of the 7th European engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, Toulous, France (1999)","DOI":"10.1007\/3-540-48166-4_21"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/781498.781528","volume-title":"Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"R. O\u2019Callahan","year":"2003","unstructured":"O\u2019Callahan, R., Choi, J.-D.: Hybrid dynamic data race detection. In: Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 167\u2013178. ACM Press, New York (2003)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/504282.504286","volume-title":"Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications","author":"A. Rountev","year":"2001","unstructured":"Rountev, A., Milanova, A., Ryder, B.G.: Points-to analysis for Java using annotated constraints. In: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp. 43\u201355. ACM Press, New York (2001)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 10th International Workshop on Languages and Compilers for Parallel Computing","author":"V. Sarkar","year":"1997","unstructured":"Sarkar, V.: Analysis and optimization of explicitly parallel programs using the parallel program graph representation. In: Proceedings of the 10th International Workshop on Languages and Compilers for Parallel Computing, Minneapolis, MN. LNCS. Springer, Heidelberg (1997)"},{"key":"15_CR19","unstructured":"Sarkar, V., Simons, B.: Parallel program graphs and their classification. In: Proceedings of ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, Montreal, Quebec, Canada (1998)"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/237721.237727","volume-title":"Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"B. Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 32\u201341. ACM Press, New York (1996)"},{"key":"15_CR21","unstructured":"Java Grande\u00a0Benchmark Suite, http:\/\/www.epcc.ed.ac.uk\/javagrande\/javag.html"},{"key":"15_CR22","unstructured":"Vall\u00e9e-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot - a Java optimization framework. In: Proceedings of CASCON 1999, pp. 125\u2013135 (1999)"},{"key":"15_CR23","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/504282.504288","volume-title":"Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications","author":"C. Praun von","year":"2001","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp. 70\u201382. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for High Performance Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11532378_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:21Z","timestamp":1605643761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11532378_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280095","9783540318132"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11532378_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}