{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T16:45:34Z","timestamp":1743439534508},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,19]]},"DOI":"10.1145\/2384616.2384619","type":"proceedings-article","created":{"date-parts":[[2012,10,22]],"date-time":"2012-10-22T12:07:05Z","timestamp":1350907625000},"page":"21-40","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":48,"title":["Uniqueness and reference immutability for safe parallelism"],"prefix":"10.1145","author":[{"given":"Colin S.","family":"Gordon","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]},{"given":"Matthew J.","family":"Parkinson","sequence":"additional","affiliation":[{"name":"Microsoft Research Cambridge, Cambridge, England UK"}]},{"given":"Jared","family":"Parsons","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]},{"given":"Aleks","family":"Bromfield","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]},{"given":"Joe","family":"Duffy","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953122.1953145"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297050"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926447"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504287"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760273"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040329"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25934-3_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_11"},{"key":"e_1_3_2_1_13_1","volume-title":"VAMP","author":"Cunningham D.","year":"2007","unstructured":"D. Cunningham , S. Drossopoulou , and S. Eisenbach . Universe Types for Race Safety . In VAMP , 2007 . D. Cunningham, S. Drossopoulou, and S. Eisenbach. Universe Types for Race Safety. In VAMP, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394763"},{"key":"e_1_3_2_1_15_1","volume-title":"Views: Compositional Reasoning for Concurrent Programs. Technical report","author":"Dinsdale-Young T.","year":"2012","unstructured":"T. Dinsdale-Young , L. Birkedal , P. Gardner , M. Parkinson , and H. Yang . Views: Compositional Reasoning for Concurrent Programs. Technical report , 2012 . URL https:\/\/sites.google.com\/site\/viewsmodel\/. T. Dinsdale-Young, L. Birkedal, P. Gardner, M. Parkinson, and H. Yang. Views: Compositional Reasoning for Concurrent Programs. Technical report, 2012. URL https:\/\/sites.google.com\/site\/viewsmodel\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646734.701453"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645393.651882"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_24"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1884002"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512942"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87873-5_17"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708027"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297061"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103722"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/647851.737404"},{"key":"e_1_3_2_1_30_1","volume-title":"Objects, Components","author":"\u00d6stlund J.","year":"2008","unstructured":"rblom}ostlund08 J. \u00d6stlund , T. Wrigstad , D. Clarke , and B. \u00c5kerblom . Ownership, Uniqueness, and Immutability. In Objects, Components , Models and Patterns , 2008 . rblom}ostlund08J. \u00d6stlund, T. Wrigstad, D. Clarke, and B. \u00c5kerblom. Ownership, Uniqueness, and Immutability. In Objects, Components, Models and Patterns, 2008."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.52"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103695"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664578"},{"volume-title":"J. Richter. CLR Via C#","year":"2006","key":"e_1_3_2_1_34_1","unstructured":"J. Richter. CLR Via C# , Second Edition. Microsoft Press , 2006 . ISBN 0735621632. J. Richter. CLR Via C#, Second Edition. Microsoft Press, 2006. ISBN 0735621632."},{"key":"e_1_3_2_1_35_1","volume-title":"Polymorphic Type, Region, and Effect Inference. JFP, 2 (2)","author":"Talpin J.-P.","year":"1992","unstructured":"J.-P. Talpin and P. Jouvelot . Polymorphic Type, Region, and Effect Inference. JFP, 2 (2) , 1992 . J.-P. Talpin and P. Jouvelot. Polymorphic Type, Region, and Effect Inference. JFP, 2 (2), 1992."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177855"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094828"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_27"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287637"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869509"}],"event":{"name":"SPLASH '12: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Tucson Arizona USA","acronym":"SPLASH '12"},"container-title":["Proceedings of the ACM international conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2384616.2384619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:35:22Z","timestamp":1693848922000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2384616.2384619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,19]]},"references-count":38,"alternative-id":["10.1145\/2384616.2384619","10.1145\/2384616"],"URL":"https:\/\/doi.org\/10.1145\/2384616.2384619","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2398857.2384619","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,10,19]]},"assertion":[{"value":"2012-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}