{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:36:53Z","timestamp":1725896213113},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370359"},{"type":"electronic","value":"9783642370366"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37036-6_22","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T14:35:55Z","timestamp":1361198155000},"page":"391-410","source":"Crossref","is-referenced-by-count":2,"title":["Structural Lock Correlation with Ownership Types"],"prefix":"10.1007","author":[{"given":"Yi","family":"Lu","sequence":"first","affiliation":[]},{"given":"John","family":"Potter","sequence":"additional","affiliation":[]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Bocchino Jr., R.L., Adve, V.S., Dig, D., Adve, S.V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H., Vakilian, M.: A type and effect system for Deterministic Parallel Java. In: OOPSLA (2009)","DOI":"10.1145\/1640089.1640097"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: OOPSLA (2002)","DOI":"10.1145\/582438.582440"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free Java programs. In: OOPSLA (2001)","DOI":"10.1145\/504282.504287"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Cameron, N., Drossopoulou, S., Noble, J., Smith, M.: Multiple Ownership. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297060"},{"key":"22_CR5","unstructured":"Clarke, D.: Object Ownership and Containment. PhD thesis, The University of New South Wales, Sydney, Australia (2001)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and disjointness of type and effect. In: OOPSLA (2002)","DOI":"10.1145\/582446.582447"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Clarke, D., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA (1998)","DOI":"10.1145\/286936.286947"},{"key":"22_CR8","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: VAMP (2007)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-49099-X_7","volume-title":"Programming Languages and Systems","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Abadi, M.: Types for Safe Locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 91\u2013108. Springer, Heidelberg (1999)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java. In: PLDI (2000)","DOI":"10.1145\/349299.349328"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Greenhouse, A., Scherlis, W.L.: Assuring and evolving concurrent programs: annotations and policy. In: ICSE (2002)","DOI":"10.1145\/581339.581395"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Lea, D.: A Java fork\/join framework. In: Java Grande (2000)","DOI":"10.1145\/337449.337465"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes - a comprehensive study on real world concurrency bug characteristics. In: ASPLOS (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"22_CR14","unstructured":"Lu, Y.: Object Validity, Effects and Accessibility with Ownership. PhD thesis, The University of New South Wales, Sydney, Australia (2008)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11785477_6","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"Y. Lu","year":"2006","unstructured":"Lu, Y., Potter, J.: On Ownership and Accessibility. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 99\u2013123. Springer, Heidelberg (2006)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL (2006)","DOI":"10.1145\/1111037.1111069"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-73589-2_11","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"Y. Lu","year":"2007","unstructured":"Lu, Y., Potter, J., Xue, J.: Validity Invariants and Effects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 202\u2013226. Springer, Heidelberg (2007)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-35182-2_3","volume-title":"Programming Languages and Systems","author":"Y. Lu","year":"2012","unstructured":"Lu, Y., Potter, J., Xue, J.: Ownership Types for Object Synchronisation. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol.\u00a07705, pp. 18\u201333. Springer, Heidelberg (2012)"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-642-28869-2_26","volume-title":"Programming Languages and Systems","author":"Y. Lu","year":"2012","unstructured":"Lu, Y., Potter, J., Zhang, C., Xue, J.: A Type and Effect System for Determinism in Multithreaded Programs. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 518\u2013538. Springer, Heidelberg (2012)"},{"key":"22_CR20","unstructured":"M\u00fcller, P., Poetzsch-Heffter, A.: Universes: A type system for controlling representation exposure. In: PLFP (1999)"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A.: Conditional must not aliasing for static race detection. In: POPL (2007)","DOI":"10.1145\/1190216.1190265"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective static race detection for java. In: PLDI (2006)","DOI":"10.1145\/1133981.1134018"},{"key":"22_CR23","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":"22_CR24","doi-asserted-by":"crossref","unstructured":"Pratikakis, P., Foster, J.S., Hicks, M.: Locksmith: context-sensitive correlation analysis for race detection. In: PLDI (2006)","DOI":"10.1145\/1133981.1134019"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37036-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T04:24:26Z","timestamp":1557548666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37036-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370359","9783642370366"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37036-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}