{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:13Z","timestamp":1772164093969,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,7]],"date-time":"2017-09-07T00:00:00Z","timestamp":1504742400000},"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":[[2017,9,7]]},"DOI":"10.1145\/3122955.3122973","type":"proceedings-article","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T08:27:52Z","timestamp":1504254472000},"page":"197-211","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping"],"prefix":"10.1145","author":[{"given":"Chao-Hong","family":"Chen","sequence":"first","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vikraman","family":"Choudhury","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan R.","family":"Newton","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/153724.153741"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693487"},{"key":"e_1_3_2_1_3_1","volume-title":"Ideal Hash Trees. Es Grands Champs 1195","author":"Bagwell Phil","year":"2001","unstructured":"Phil Bagwell . 2001. Ideal Hash Trees. Es Grands Champs 1195 ( 2001 ). Phil Bagwell. 2001. Ideal Hash Trees. Es Grands Champs 1195 (2001)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784740"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509531"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814228.2814231"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384619"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688501"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645958.676105"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 16th International Conference on Distributed Computing (DISC \u201902)","author":"Harris Timothy L.","unstructured":"Timothy L. Harris , Keir Fraser , and Ian A. Pratt . 2002. A Practical Multi-word Compare-and-Swap Operation . In Proceedings of the 16th International Conference on Distributed Computing (DISC \u201902) . Springer-Verlag, London, UK, UK, 265\u2013279. http:\/\/dl.acm.org\/citation.cfm?id=645959.676137 Timothy L. Harris, Keir Fraser, and Ian A. Pratt. 2002. A Practical Multi-word Compare-and-Swap Operation. In Proceedings of the 16th International Conference on Distributed Computing (DISC \u201902). Springer-Verlag, London, UK, UK, 265\u2013279. http:\/\/dl.acm.org\/citation.cfm?id=645959.676137"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007912.1007944"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/850929.851942"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872048"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535884"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892220"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87873-5_17"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034685"},{"key":"e_1_3_2_1_19_1","unstructured":"Faisal Nawab Dhruva R Chakrabarti Terence Kelly and Charles B Morrey III. 2015. Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience.. In EDBT. 689\u2013694.  Faisal Nawab Dhruva R Chakrabarti Terence Kelly and Charles B Morrey III. 2015. Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience.. In EDBT. 689\u2013694."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784734"},{"key":"e_1_3_2_1_21_1","unstructured":"Rishiyur S. Nikhil. 1991. ID Language Reference Manual. (1991).  Rishiyur S. Nikhil. 1991. ID Language Reference Manual. (1991)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/301631.301637"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145836"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147954.1147958"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018743.3018746"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784735"}],"event":{"name":"ICFP '17: ACM SIGPLAN International Conference on Functional Programming","location":"Oxford UK","acronym":"ICFP '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122955.3122973","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122955.3122973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:11:04Z","timestamp":1750198264000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122955.3122973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"references-count":28,"alternative-id":["10.1145\/3122955.3122973","10.1145\/3122955"],"URL":"https:\/\/doi.org\/10.1145\/3122955.3122973","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3156695.3122973","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,9,7]]},"assertion":[{"value":"2017-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}