{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:05Z","timestamp":1772163965733,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,15]],"date-time":"2009-06-15T00:00:00Z","timestamp":1245024000000},"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":[[2009,6,15]]},"DOI":"10.1145\/1542476.1542493","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T09:34:36Z","timestamp":1245144876000},"page":"144-154","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Progress guarantee for parallel programs via bounded lock-freedom"],"prefix":"10.1145","author":[{"given":"Erez","family":"Petrank","sequence":"first","affiliation":[{"name":"Technion, Haifa, Israel"}]},{"given":"Madanlal","family":"Musuvathi","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}]},{"given":"Bjarne","family":"Steesngaard","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Lawrence Bush. Lock free linked list using compare & swap. http:\/\/www.cs.rpi.edu\/ bushl2\/project web\/page5.html April 2002.  Lawrence Bush. Lock free linked list using compare & swap. http:\/\/www.cs.rpi.edu\/ bushl2\/project web\/page5.html April 2002."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/s00446-002-0079-z"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_16"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/42282.42283"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561927_8"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561071_31"},{"key":"e_1_3_2_1_8_1","volume-title":"Addison-Wesley","author":"Goetz Brian","year":"2006"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480886"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062247.1062249"},{"key":"e_1_3_2_1_12_1","first-page":"522","volume-title":"Proceedings of the 23rd International Conference on Distributed Computing Systems","author":"Herlihy Maurice","year":"2003"},{"key":"e_1_3_2_1_13_1","volume-title":"Morgan Kaufmann","author":"Herlihy Maurice","year":"2008"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/645955.675789"},{"key":"e_1_3_2_1_15_1","volume-title":"Columbia University","author":"Massalin Henry","year":"1992"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/645957.675966"},{"key":"e_1_3_2_1_17_1","unstructured":"Distributed Computing pages 164---178. Springer--Verlag 2000.  Distributed Computing pages 164---178. Springer--Verlag 2000."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996848"},{"key":"e_1_3_2_1_19_1","unstructured":"and Implementation ACM SIGPLAN Notices Washington DC June 2004. ACM Press.  and Implementation ACM SIGPLAN Notices Washington DC June 2004. ACM Press."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/571825.571829"},{"key":"e_1_3_2_1_21_1","unstructured":"Symposium on Principles of Distributed Computing pages 21---30 July 2002.  Symposium on Principles of Distributed Computing pages 21---30 July 2002."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 18th International Conference","author":"Michael Maged M."},{"key":"e_1_3_2_1_23_1","unstructured":"on \n      \n      Distributed\n       \n      Computing volume \n  3274\n   of \n  LNCS pages \n  144\n  ---\n  158\n  . \n  Springer--Verlag October \n  2004\n  .  on Distributed Computing volume 3274 of LNCS pages 144---158. Springer--Verlag October 2004."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996848"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Design and Implementation pages 35---46 June 2004.  Design and Implementation pages 35---46 June 2004.","DOI":"10.1007\/s00234-004-1233-z"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the","author":"Maged"},{"key":"e_1_3_2_1_27_1","first-page":"267","volume-title":"International Symposium on Principles of Distributed Computing","year":"1996"},{"key":"e_1_3_2_1_28_1","unstructured":"Madanlal Musuvathi Shaz Qadeer Thomas Ball Gerard Basler Piramanayagam Arumuga Nainar and Iulian Neamtiu. Finding and reproducing  Madanlal Musuvathi Shaz Qadeer Thomas Ball Gerard Basler Piramanayagam Arumuga Nainar and Iulian Neamtiu. Finding and reproducing"},{"key":"e_1_3_2_1_29_1","first-page":"267","volume-title":"OSDI 08: Operating Systems Design and Implementation","year":"2008"},{"key":"e_1_3_2_1_30_1","unstructured":"Filip Pizlo Daniel Frampton Erez Petrank and Bjarne Steensgard. STOPLESS: A real--time garbage collector for multiprocessors. In Mooly Sagiv Filip Pizlo Daniel Frampton Erez Petrank and Bjarne Steensgard. STOPLESS: A real--time garbage collector for multiprocessors. In Mooly Sagiv"},{"key":"e_1_3_2_1_31_1","first-page":"159","volume-title":"ISMM'07 Proceedings of the Fifth International Symposium on Memory Management"},{"key":"e_1_3_2_1_32_1","unstructured":"eal Canada October 2007. ACM  eal Canada October 2007. ACM"},{"key":"e_1_3_2_1_33_1","unstructured":"Press.  Press."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375587"},{"key":"e_1_3_2_1_35_1","unstructured":"Programming Languages Design and Implementation ACM SIGPLAN Notices pages 33---44 Tucson AZ June 2008. ACM Press.  Programming Languages Design and Implementation ACM SIGPLAN Notices pages 33---44 Tucson AZ June 2008. ACM Press."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224988"},{"key":"e_1_3_2_1_38_1","unstructured":"computing pages 214---222 Ottawa Ontario CA 1995.  computing pages 214---222 Ottawa Ontario CA 1995."}],"event":{"name":"PLDI '09: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Dublin Ireland","acronym":"PLDI '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542493","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542476.1542493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:56Z","timestamp":1750238996000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,15]]},"references-count":37,"alternative-id":["10.1145\/1542476.1542493","10.1145\/1542476"],"URL":"https:\/\/doi.org\/10.1145\/1542476.1542493","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1543135.1542493","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,6,15]]},"assertion":[{"value":"2009-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}