{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:11:42Z","timestamp":1725804702398},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116914"},{"type":"electronic","value":"9783319116921"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11692-1_14","type":"book-chapter","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T03:59:26Z","timestamp":1410148766000},"page":"161-173","source":"Crossref","is-referenced-by-count":5,"title":["Static Data Race Detection for Java Programs with Dynamic Class Loading"],"prefix":"10.1007","author":[{"given":"Noriaki","family":"Yoshiura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, R., Sasturkar, A., Wang, L., Stoller, S.: Optimized run-time race detection and atomicity checking using partial discovered types. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2005), pp. 233\u2013242 (2005)","DOI":"10.1145\/1101908.1101944"},{"key":"14_CR2","unstructured":"Chord: A Versatile Program Analysis Plathome for Java, \n                    \n                      http:\/\/pag.gatech.edu\/chord\/\n                    \n                    \n                   (October 01, 2011)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Engler, D., Ashcraft, K.: RacerX: Effective, static detection of race conditions and deadlocks. In: Proceedings of the 19th ACM Symposium on Operating Systems Principles, pp. 237\u2013252 (2003)","DOI":"10.1145\/1165389.945468"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Grove, D., DeFouw, G., Dean, J., Chambers, C.: Call graph construction in object-oriented languages. In: Proceedings of the ACM Conference on Object-oriented Programming, Systems, Languages, and Applications, pp. 108\u2013124 (1997)","DOI":"10.1145\/263700.264352"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Liang, S., Bracha, G.: Dynamic Class Loading in the Java Virtual Machine. In: Proceedings of the 13th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, pp. 36\u201344 (1998)","DOI":"10.1145\/286942.286945"},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A. Milanova","year":"2005","unstructured":"Milanova, A., Rountev, A., Ryder, B.: Parameterized object sensitivity for points-to analysis for Java. ACM Transactions on Software Engineering Methodology\u00a014(1), 1\u201341 (2005)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective Static Race Detection for Java. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2006), pp. 20\u201329 (2006)","DOI":"10.1145\/1133981.1134018"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Pratikakis, P., Foster, J., Hicks, M.: LOCKSMITH: Context-sensitive correlation analysis for race detection. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2006), pp. 320\u2013331 (2006)","DOI":"10.1145\/1133981.1134019"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Praun, C., Gross, T.: Static conflict analysis for multi-threaded object-oriented programs. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2003), pp. 115\u2013128 (2003)","DOI":"10.1145\/780822.781145"},{"key":"14_CR10","unstructured":"Praun, C., Gross, T.: Object race detection. In: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 70\u201382 (2003)"},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M. Ronsse","year":"1999","unstructured":"Ronsse, M., Bosschere, K.: RecPlay: A fully integrated practical record\/replay system. ACM Transactions on Computer Systems\u00a017(2), 133\u2013152 (1999)","journal-title":"ACM Transactions on Computer Systems"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Schonberg, E.: On-the-fly detection of access anomalies. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1989), pp. 285\u2013297 (1989)","DOI":"10.1145\/74818.74844"},{"key":"14_CR13","unstructured":"Vallee-Rai, R., Co, P., Gargnon, E., Hendren, L., Lam, P., Sundaresan, Y.: Soot - a Java optimization framework. In: Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaboratives Research, pp. 125\u2013135 (1999)"},{"issue":"2","key":"14_CR14","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s10515-009-0049-9","volume":"16","author":"J. Sawin","year":"2009","unstructured":"Sawin, J., Rountev, A.: Improved Static Resolution of Dynamic Class Loading in Java. Automated Software Engineering\u00a016(2), 357\u2013381 (2009)","journal-title":"Automated Software Engineering"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44898-5_1","volume-title":"Static Analysis","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., Moller, A., Schwartzbach, M.: Precise Analysis of String Expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 1\u201318. Springer, Heidelberg (2003)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Chugh, R., Voung, W.J., Jhala, R., Lerner, S.: Dataflow analysis for concurrent programs using datarace detection. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 316\u2013326 (2008)","DOI":"10.1145\/1375581.1375620"}],"container-title":["Lecture Notes in Computer Science","Internet and Distributed Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11692-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T16:08:01Z","timestamp":1558973281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11692-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116914","9783319116921"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11692-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}