{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:27:41Z","timestamp":1752985661696,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030123"},{"type":"electronic","value":"9783642030130"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03013-0_21","type":"book-chapter","created":{"date-parts":[[2009,7,30]],"date-time":"2009-07-30T10:30:01Z","timestamp":1248949801000},"page":"445-469","source":"Crossref","is-referenced-by-count":24,"title":["Loci: Simple Thread-Locality for Java"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Wrigstad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filip","family":"Pizlo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fadi","family":"Meawad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Java theory and practice: Synchronization optimizations in mustang, http:\/\/www-128.ibm.com\/developerworks\/java\/library\/j-jtp10185\/"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Chambers, C., Sirer, E.G., Eggers, S.J.: Static analyses for eliminating unnecessary synchronization from Java programs. In: SAS, pp. 19\u201338 (1999)","DOI":"10.1007\/3-540-48294-6_2"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Konuru, R., Murthy, C., Serrano, M.: Thin locks: Featherweight synchronization for Java. In: PLDI, pp. 258\u2013268 (1998)","DOI":"10.1145\/277652.277734"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Strom, R.E., Tarafdar, A.: Guava: a dialect of Java without data races. In: OOPSLA, pp. 382\u2013400 (2000)","DOI":"10.1145\/353171.353197"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Blackburn, S.M., et al.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA, pp. 169\u2013190 (2006)","DOI":"10.1145\/1167473.1167488"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Escape analysis for object-oriented languages: application to Java. In: OOPSLA, pp. 20\u201334 (1999)","DOI":"10.1145\/320384.320387"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Bogda, J., H\u00f6lzle, U.: Removing unnecessary synchronization in Java. In: OOPSLA, pp. 35\u201346 (1999)","DOI":"10.1145\/320385.320388"},{"key":"21_CR8","unstructured":"Borman, S.: Sensible sanitation \u2013 understanding the IBM Java garbage. IBM DeveloperWorks (August 2002)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In: OOPSLA, pp. 211\u2013230 (2002)","DOI":"10.1145\/583854.582440"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for Java. In: OOPSLA, pp. 1\u201319 (1999)","DOI":"10.1145\/320384.320386"},{"issue":"6","key":"21_CR11","doi-asserted-by":"publisher","first-page":"876","DOI":"10.1145\/945885.945892","volume":"25","author":"J.-D. Choi","year":"2003","unstructured":"Choi, J.-D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Stack allocation and synchronization optimizations for Java using escape analysis. ACM Trans. Program. Lang. Syst.\u00a025(6), 876\u2013910 (2003)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR12","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, University of New South Wales, Australia (2001)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-45070-2_9","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"D. Clarke","year":"2003","unstructured":"Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 176\u2013200. Springer, Heidelberg (2003)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Clarke, D., Wrigstad, T., \u00d6stlund, J., Johnsen, E.B.: Minimal Ownership for Active Objects. Technical Report SEN-R0803, CWI (2008)","DOI":"10.1007\/978-3-540-89330-1_11"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA, pp. 48\u201364 (1998)","DOI":"10.1145\/286936.286947"},{"key":"21_CR16","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: VAMP 2007, September 2007, pp. 20\u201351 (2007)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Domani, T., Goldshtein, G., Kolodner, E.K., Lewis, E., Petrank, E., Sheinwald, D.: Thread-local heaps for Java. In: ISMM, pp. 76\u201387 (2002)","DOI":"10.1145\/512429.512439"},{"issue":"4","key":"21_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1377492.1377495","volume":"30","author":"C. Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N., Lifshin, M., Qadeer, S.: Types for atomicity: Static checking and inference for Java. ACM TOPLAS\u00a030(4), 1\u201353 (2008)","journal-title":"ACM TOPLAS"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI, pp. 338\u2013349 (2003)","DOI":"10.1145\/781131.781169"},{"key":"21_CR20","unstructured":"Goetz, B.: Java theory and practice: Urban performance legends, revisited. IBM DeveloperWorks (September 2005)"},{"key":"21_CR21","unstructured":"Jikes RVM homepage, http:\/\/jikesrvm.org\/"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Joisha, P.G.: Compiler optimizations for nondeferred reference: counting garbage collection. In: ISMM, pp. 150\u2013161 (2006)","DOI":"10.1145\/1133956.1133976"},{"key":"21_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45651-1","volume-title":"Modular Specification and Verification of Object-Oriented Programs","author":"P. M\u00fcller","year":"2002","unstructured":"M\u00fcller, P.: Modular Specification and Verification of Object-Oriented Programs. Springer, Heidelberg (2002)"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/BFb0054091","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Noble","year":"1998","unstructured":"Noble, J., Vitek, J., Potter, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 158\u2013185. Springer, Heidelberg (1998)"},{"key":"21_CR25","unstructured":"OpenJDK, http:\/\/openjdk.java.net\/"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, uniqueness and immutability. In: TOOLS (2007)","DOI":"10.1007\/978-3-540-69824-1_11"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Pizlo, F., Hosking, A.L., Vitek, J.: Hierarchical real-time garbage collection. In: LCTES, pp. 123\u2013133 (2007)","DOI":"10.1145\/1254766.1254784"},{"key":"21_CR28","unstructured":"Potanin, A.: Generic Ownership\u2014A Practical Approach to Ownership and Confinement in OO Programming Languages. PhD thesis, Victoria University of Wellington (2007)"},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"Russell, K., Detlefs, D.: Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. In: OOPSLA, pp. 263\u2013272 (2006)","DOI":"10.1145\/1167473.1167496"},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"Spring, J.H., Privat, J., Guerraoui, R., Vitek, J.: StreamFlex: High-throughput Stream Programming in Java. In: OOPSLA, pp. 211\u2013228 (2007)","DOI":"10.1145\/1297105.1297043"},{"key":"21_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-70592-5_6","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S. Srinivasan","year":"2008","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: Isolation-typed actors for java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 104\u2013128. Springer, Heidelberg (2008)"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Thread-specific heaps for multi-threaded programs. In: ISMM, pp. 18\u201324 (2000)","DOI":"10.1145\/362422.362432"},{"issue":"1","key":"21_CR33","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput.\u00a0115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."},{"key":"21_CR34","unstructured":"Wrigstad, T.: Ownership-Based Alias Management. PhD thesis, Royal Institute of Technology, Kista, Stockholm (2006)"},{"issue":"6","key":"21_CR35","doi-asserted-by":"publisher","first-page":"141","DOI":"10.5381\/jot.2007.6.4.a5","volume":"4","author":"T. Wrigstad","year":"2007","unstructured":"Wrigstad, T., Clarke, D.: Existential owners for ownership types. Journal of Object Technology\u00a04(6), 141\u2013159 (2007)","journal-title":"Journal of Object Technology"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2009 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03013-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T15:52:23Z","timestamp":1558453943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03013-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030123","9783642030130"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03013-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}