{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:48:01Z","timestamp":1780994881837,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,2,23]],"date-time":"2013-02-23T00:00:00Z","timestamp":1361577600000},"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":[[2013,2,23]]},"DOI":"10.1145\/2442516.2442540","type":"proceedings-article","created":{"date-parts":[[2013,2,26]],"date-time":"2013-02-26T10:23:04Z","timestamp":1361874184000},"page":"239-250","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["The tasks with effects model for safe concurrency"],"prefix":"10.1145","author":[{"given":"Stephen T.","family":"Heumann","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vikram S.","family":"Adve","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shengjie","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328449"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A model of concurrent computation in distributed systems","author":"Agha G.","year":"1986","unstructured":"G. Agha . Actors: A model of concurrent computation in distributed systems . MIT Press , 1986 . G. Agha. Actors: A model of concurrent computation in distributed systems. MIT Press, 1986."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504190"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375600"},{"key":"e_1_3_2_1_6_1","unstructured":"Apple. Concurrency Programming Guide. http:\/\/developer.apple.com\/library\/mac\/documentation\/General\/Conceptual\/ConcurrencyProgrammingGuide\/ Dec. 2012.  Apple. Concurrency Programming Guide. http:\/\/developer.apple.com\/library\/mac\/documentation\/General\/Conceptual\/ConcurrencyProgrammingGuide\/ Dec. 2012."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2388996.2389086"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640096"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993573"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209958"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032497.2032519"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926447"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1986.4767851"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145828"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01728-5","volume-title":"Transactional Memory","author":"Harris T.","year":"2010","unstructured":"T. Harris , J. Larus , and R. Rajwar . Transactional Memory , 2 nd Edition (Synthesis Lectures on Comp. Arch.). Morgan & Claypool , 2010 . T. Harris, J. Larus, and R. Rajwar. Transactional Memory, 2nd Edition (Synthesis Lectures on Comp. Arch.). Morgan & Claypool, 2010.","edition":"2"},{"key":"e_1_3_2_1_20_1","volume-title":"HotPar","author":"Heumann S.","year":"2012","unstructured":"S. Heumann and V. Adve . Disciplined concurrent programming using tasks with effects . In HotPar , 2012 . S. Heumann and V. Adve. Disciplined concurrent programming using tasks with effects. In HotPar, 2012."},{"key":"e_1_3_2_1_21_1","volume-title":"WoDet","author":"Heumann S.","year":"2012","unstructured":"S. Heumann and V. Adve . Tasks with effects: A model for disciplined concurrent programming . In WoDet , 2012 . S. Heumann and V. Adve. Tasks with effects: A model for disciplined concurrent programming. In WoDet, 2012."},{"key":"e_1_3_2_1_22_1","unstructured":"Intel. Intel Thread Building Blocks Reference Manual. http:\/\/software.intel.com\/sites\/products\/documentation\/hpc\/tbb\/referencev2.pdf Aug. 2011.  Intel. Intel Thread Building Blocks Reference Manual. http:\/\/software.intel.com\/sites\/products\/documentation\/hpc\/tbb\/referencev2.pdf Aug. 2011."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941563"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596655.1596658"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048087"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250759"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868304"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048133"},{"key":"e_1_3_2_1_29_1","unstructured":"Microsoft. Axum. http:\/\/msdn.microsoft.com\/en-us\/devlabs\/dd795202.  Microsoft. Axum. http:\/\/msdn.microsoft.com\/en-us\/devlabs\/dd795202."},{"key":"e_1_3_2_1_30_1","unstructured":"Microsoft. Task Parallel Library (TPL). http:\/\/msdn.microsoft.com\/en-us\/library\/dd460717.aspx.  Microsoft. Task Parallel Library (TPL). http:\/\/msdn.microsoft.com\/en-us\/library\/dd460717.aspx."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_32_1","unstructured":"OpenMP Architecture Review Board. OpenMP Application Program Interface Version 3.1. http:\/\/www.openmp.org\/mp-documents\/OpenMP3.1.pdf 2011.  OpenMP Architecture Review Board. OpenMP Application Program Interface Version 3.1. http:\/\/www.openmp.org\/mp-documents\/OpenMP3.1.pdf 2011."},{"key":"e_1_3_2_1_33_1","unstructured":"Oracle. Java Platform Standard Edition 7 API specification. http:\/\/download.oracle.com\/javase\/7\/docs\/api\/.  Oracle. Java Platform Standard Edition 7 API specification. http:\/\/download.oracle.com\/javase\/7\/docs\/api\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTR.2008.4663765"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291893"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1883996"}],"event":{"name":"PPoPP '13: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Shenzhen China","acronym":"PPoPP '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442516.2442540","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442516.2442540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:07Z","timestamp":1750220347000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442516.2442540"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,23]]},"references-count":37,"alternative-id":["10.1145\/2442516.2442540","10.1145\/2442516"],"URL":"https:\/\/doi.org\/10.1145\/2442516.2442540","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2517327.2442540","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,2,23]]},"assertion":[{"value":"2013-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}