{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:51Z","timestamp":1772164011627,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,22]]},"DOI":"10.1145\/2048066.2048131","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"845-864","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A simple abstraction for complex concurrent indexes"],"prefix":"10.1145","author":[{"given":"Pedro","family":"da Rocha Pinto","sequence":"first","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"given":"Thomas","family":"Dinsdale-Young","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"given":"Mike","family":"Dodds","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}]},{"given":"Philippa","family":"Gardner","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]},{"given":"Mark","family":"Wheelhouse","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/227234.227246"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760273"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040328"},{"key":"e_1_3_2_1_4_1","volume-title":"Reasoning about Concurrent Indexes. Master's thesis","author":"da Rocha Pinto P.","year":"2010","unstructured":"da Rocha Pinto , P. Reasoning about Concurrent Indexes. Master's thesis , Imperial College London , Sept. 2010 . da Rocha Pinto, P. Reasoning about Concurrent Indexes. Master's thesis, Imperial College London, Sept. 2010."},{"key":"e_1_3_2_1_5_1","volume-title":"A simple abstraction for complex concurrent indexes. Tech. rep","author":"da Rocha Pinto P.","year":"2011","unstructured":"da Rocha Pinto , P. , Dinsdale-Young , T. , Dodds , M. , Gardner , P. , and Wheelhouse , M . A simple abstraction for complex concurrent indexes. Tech. rep ., Imperial College London , 2011 . da Rocha Pinto, P., Dinsdale-Young, T., Dodds, M., Gardner, P., and Wheelhouse, M. A simple abstraction for complex concurrent indexes. Tech. rep., Imperial College London, 2011."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926407"},{"key":"e_1_3_2_1_7_1","volume-title":"ECOOP","author":"Dinsdale-Young T.","year":"2010","unstructured":"Dinsdale-Young , T. , Dodds , M. , Gardner , P. , Parkinson , M. , and Vafeiadis , V. Concurrent abstract predicates . In ECOOP ( 2010 ). Dinsdale-Young, T., Dodds, M., Gardner, P., Parkinson, M., and Vafeiadis,V. Concurrent abstract predicates. In ECOOP (2010)."},{"key":"e_1_3_2_1_8_1","volume-title":"VSTTE","author":"Dinsdale-Young T.","year":"2010","unstructured":"Dinsdale-Young , T. , Gardner , P. , and Wheelhouse , M . Abstraction and Refinement for Local Reasoning . In VSTTE ( 2010 ). Dinsdale-Young, T., Gardner, P., and Wheelhouse, M. Abstraction and Refinement for Local Reasoning. In VSTTE (2010)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_26"},{"key":"e_1_3_2_1_10_1","volume-title":"ESOP","author":"Feng X.","year":"2007","unstructured":"Feng , X. , Ferreira , R. , and Shao , Z . On the relationship between concurrent separation logic andassume-guarantee reasoning . In ESOP ( 2007 ). Feng, X., Ferreira, R., and Shao, Z. On the relationship between concurrent separation logic andassume-guarantee reasoning. In ESOP (2007)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/15.4.321"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.125"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706329"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.035"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040326"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1721"},{"key":"e_1_3_2_1_19_1","volume-title":"LICS","author":"Reynolds J.","year":"2002","unstructured":"Reynolds , J. Separation logic: a logic for shared mutable data structures . In LICS ( 2002 ). Reynolds, J. Separation logic: a logic for shared mutable data structures. In LICS (2002)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90021-8"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.10.021"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926415"},{"key":"e_1_3_2_1_23_1","volume-title":"A marriage of rely\/guarantee and separation logic. CONCUR","author":"Vafeiadis V.","year":"2007","unstructured":"Vafeiadis , V. , and Parkinson , M . A marriage of rely\/guarantee and separation logic. CONCUR ( 2007 ). Vafeiadis, V., and Parkinson, M. A marriage of rely\/guarantee and separation logic. CONCUR (2007)."}],"event":{"name":"SPLASH '11: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048131","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2048066.2048131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:32Z","timestamp":1750225712000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":23,"alternative-id":["10.1145\/2048066.2048131","10.1145\/2048066"],"URL":"https:\/\/doi.org\/10.1145\/2048066.2048131","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2076021.2048131","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}