{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T13:28:26Z","timestamp":1791120506469,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642141065","type":"print"},{"value":"9783642141072","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14107-2_15","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T08:10:14Z","timestamp":1277799014000},"page":"304-328","source":"Crossref","is-referenced-by-count":12,"title":["A Type System for Data-Centric Synchronization"],"prefix":"10.1007","author":[{"given":"Mandana","family":"Vaziri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Tip","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julian","family":"Dolby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Hammer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: Static race detection for Java. ACM Transactions on Programming Languages and Systems\u00a028(2) (2006)","DOI":"10.1145\/1119479.1119480"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA) (November 2002)","DOI":"10.1145\/582419.582440"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free Java programs. In: Conference on Object-Oriented Programming Systems, Languages and Applications OOPSLA (2001)","DOI":"10.1145\/504282.504287"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Ceze, L., von Praun, C., Cascaval, C., Montesinos, P., Torrellas, J.: Concurrency control with data coloring. In: Workshop on Memory Systems Performance and Correctness (MSPC), pp. 6\u201310 (2008)","DOI":"10.1145\/1353522.1353525"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Cherem, S., Chilimbi, T., Gulwani, S.: Inferring locks for atomic sections. In: Conference on Programming Language Design and Implementation, PLDI (2008)","DOI":"10.1145\/1375581.1375619"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, D., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: Conference on Object-Oriented Programming, Languages, and Applications, OOPSLA (1998)","DOI":"10.1145\/286936.286947"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Conference on Programming Language Design and Implementation, PLDI (2003)","DOI":"10.1145\/781131.781169"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.: Type-based race detection for Java. In: Conference on Programming Language Design and Implementation, PLDI (June 2000)","DOI":"10.1145\/349299.349328"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Lifshin, M., Qadeer, S.: Types for atomicity: Static checking and inference for Java. ACM Transactions on Programming Languages and Systems\u00a030(4) (2008)","DOI":"10.1145\/1377492.1377495"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-48743-3_10","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"A. Greenhouse","year":"1999","unstructured":"Greenhouse, A., Boyland, J.: An object-oriented effects system. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, p. 205. Springer, Heidelberg (1999)"},{"issue":"6","key":"15_CR11","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/1286821.1286823","volume":"29","author":"C. Grothoff","year":"2007","unstructured":"Grothoff, C., Palsberg, J., Vitek, J.: Encapsulating objects with confined types. Transactions on Programming Languages and Systems\u00a029(6), 32\u201373 (2007)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Hammer, C., Dolby, J., Vaziri, M., Tip, F.: Dynamic detection of atomic-set-serializability violations. In: International Conference on Software Engineering, ICSE (2008)","DOI":"10.1145\/1368088.1368120"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp. 388\u2013402 (November 2003)","DOI":"10.1145\/949305.949340"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional Memory: Architectural Support for Lock-Free Data Structures. In: International Symposium on Computer Architecture, ISCA (1993)","DOI":"10.1145\/165123.165164"},{"issue":"10","key":"15_CR15","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: an operating system structuring concept. Communications of the ACM\u00a017(10), 549\u2013557 (1974)","journal-title":"Communications of the ACM"},{"issue":"3","key":"15_CR16","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-93900-9_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N. Kidd","year":"2009","unstructured":"Kidd, N., Reps, T.W., Dolby, J., Vaziri, M.: Finding concurrency-related bugs using random isolation. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol.\u00a05403, pp. 198\u2013213. Springer, Heidelberg (2009)"},{"key":"15_CR18","unstructured":"Rustan, K., Leino, M.: Data Groups: Specifying the modification of extended state. In: Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA (1998)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"McCloskey, B., Zhou, F., Gay, D., Brewer, E.: Autolocker: Synchronization inference for atomic sections. In: Symposium on Principles of Programming Languages, POPL (2006)","DOI":"10.1145\/1111037.1111068"},{"key":"15_CR20","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., Potter, J., Vitek, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, p. 158. Springer, Heidelberg (1998)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: Symposium on Principles of Programming Languages, POPL (2006)","DOI":"10.1145\/1111037.1111067"},{"issue":"6","key":"15_CR22","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1002\/spe.369","volume":"31","author":"J. Vitek","year":"2001","unstructured":"Vitek, J., Bokowski, B.: Confined types in Java. Software Practice & Experience\u00a031(6), 507\u2013532 (2001)","journal-title":"Software Practice & Experience"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: Symposium on Principles and Practice of Parallel Programming, PPoPP (2006)","DOI":"10.1145\/1122971.1122993"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multithreaded programs. IEEE Transactions on Software Engineering\u00a032(2) (2006)","DOI":"10.1109\/TSE.2006.1599419"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-642-03013-0_21","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"T. Wrigstad","year":"2009","unstructured":"Wrigstad, T., Pizlo, F., Meawad, F., Zhao, L., Vitek, J.: Loci: Simple thread-locality for Java. In: Drossopoulou, S. (ed.) ECOOP 2009 \u2013 Object-Oriented Programming. LNCS, vol.\u00a05653, pp. 445\u2013469. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2010 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14107-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:47:40Z","timestamp":1606168060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14107-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141065","9783642141072"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14107-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}