{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:27:42Z","timestamp":1778300862302,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664598","type":"print"},{"value":"9783540482949","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48294-6_2","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:16:02Z","timestamp":1186157762000},"page":"19-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":33,"title":["Static Analyses for Eliminating Unnecessary Synchronization from Java Programs"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Aldrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Chambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emin Gun","family":"Sirer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Eggers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,10,1]]},"reference":[{"issue":"12","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1631","DOI":"10.1109\/12.40843","volume":"38","author":"T. E. Anderson","year":"1989","unstructured":"T. E. Anderson, E. D. Lazowska and H. M. Levy. The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors. IEEE Transactions on Computers 38(12), December 1989, pp. 1631\u20131644.","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"D. Bacon, R. Konuru, C. Murthy, M. Serrano. Thin Locks: Featherweight Synchronization for Java. In Proceedings of the 1998 Conference on Programming Language Design and Implementation, Montreal, Canada, June 1998.","DOI":"10.1145\/277650.277734"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"H. Boehm and M. Weiser. Garbage Collection in an Uncooperative Environment. Software Practice & Experience, September 1988, pp. 807\u2013820.","DOI":"10.1002\/spe.4380180902"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"J. Corbett. Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs. In Proceedings of the International Symposium on Software Testing and Analysis, March 1998. A more recent version is University of Hawaii ICS-TR-98-20, available at http:\/\/www.ics.hawaii.edu\/~corbett\/pubs.html.","DOI":"10.1145\/271771.271778"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"J. Dean, G. DeFouw, D. Grove, V. Litvinov, and C. Chambers. Vortex: An Optimizing Compiler for Object-Oriented Languages. In Proceedings of the Eleventh Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 1996.","DOI":"10.1145\/236337.236344"},{"key":"2_CR6","unstructured":"David L. Detlefs, K. Rustan, M. Leino, Greg Nelson, and James B. Saxe. Extended Static Checking. Compaq SRC Research Report 159. 1998."},{"issue":"Number 2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1006\/jpdc.1998.1441","volume":"49","author":"P. Diniz","year":"1998","unstructured":"P. Diniz and M. Rinard. Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-based Programs. In Journal of Parallel and Distributed Computing, Volume 49,Number 2, March 1998, pp. 218\u2013244.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"J. Dolby. Automatic Inline Allocation of Objects. In Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1997.","DOI":"10.1145\/258915.258918"},{"issue":"8","key":"2_CR9","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1145\/359763.359771","volume":"20","author":"C. M. Geschke","year":"1977","unstructured":"C. M. Geschke, J. H. Morris and E. H. Satterthwaite. Early Experiences with Mesa. Communications of the Association for Computing Machinery, 20(8), August 1977, pp. 540\u2013553.","journal-title":"Communications of the Association for Computing Machinery"},{"key":"2_CR10","unstructured":"J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"D. Grove, G. DeFouw, J. Dean, and C. Chambers. Call Graph Construction in Object-Oriented Languages. In Proceedings of the 12th Conference on Object-Oriented Programming, Systems, Languages, and Applications, 1997.","DOI":"10.1145\/263698.264352"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J. Hogg. Islands: Aliasing Protection in Object-Oriented Languages. In Proceedings of the Sixth Conference on Object-Oriented Programming, Systems, Languages, and Applications, November 1991.","DOI":"10.1145\/117954.117975"},{"key":"2_CR13","unstructured":"D. Keppel. Tools and Techniques for Building Fast Portable Thread Packages. University of Washington Technical Report UW CSE 93-05-06, May 1993."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"A. Krall and M. Probst. Monitors and Exceptions: How to implement Java efficiently. ACM 1998 Workshop on Java for High-Performance Network Computing, 1998.","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<837::AID-CPE384>3.0.CO;2-7"},{"issue":"2","key":"2_CR15","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/358818.358824","volume":"23","author":"B. Lampson","year":"1980","unstructured":"B. Lampson and D. Redell. Experience with Processes and Monitors in Mesa. In Communications of the Association for Computing Machinery 23(2), February 1980, pp. 105\u2013117.","journal-title":"Communications of the Association for Computing Machinery"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"N. Minsky. Towards Alias-Free Pointers. In Proceedings of the 10th European Conference on Object Oriented Programming, Linz, Austria July 1996.","DOI":"10.1007\/BFb0053062"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"J. Noble, J. Vitek, and J. Potter. Flexible Alias Protection. In Proceedings of the 12th European Conference on Object Oriented Programming, Brussels, Belgium, July 1998.","DOI":"10.1007\/BFb0054091"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"J. Plevyak, X. Zhang, and A. Chien. Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages. In Proceedings of the 22nd Symposium on Principles of Programming Languages, San Francisco, CA, January 1995.","DOI":"10.1145\/199448.199524"},{"issue":"7","key":"2_CR19","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/960116.54007","volume":"23","author":"O. Shivers","year":"1988","unstructured":"Olin Shivers. Control-Flow Analysis in Scheme. SIGPLAN Notices, 23(7):164\u2013174, July 1988. In Proceedings of the ACM SIGPLAN\u2019 88 Conference on Programming Language Design and Implementation.","journal-title":"SIGPLAN Notices"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"S. Singhal, B. Nguyen, R. Redpath, M. Fraenkel, and J. Nguyen. Building High-Performance Applications and Services in Java: An Experiential Study. IBM T.J. Watson Research Center white paper, available at http:\/\/www.ibm.com\/java\/education\/javahipr.html. 1997.","DOI":"10.1145\/274567.274571"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"E. G. Sirer, A. J. Gregory, N.R. Anderson, B.N. Bershad. Distributed Virtual Machines: A System Architecture for Network Computing. In Proceedings of the Eighth ACM SIGOPS European Workshop, September 1998.","DOI":"10.1145\/319195.319198"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48294-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:48:20Z","timestamp":1778248100000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-48294-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664598","9783540482949"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48294-6_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"1 October 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}