{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:35:37Z","timestamp":1777498537270,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"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":[[2018,11,5]]},"DOI":"10.1145\/3281366.3281373","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T15:28:39Z","timestamp":1540394919000},"page":"33-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Chocola: integrating futures, actors, and transactions"],"prefix":"10.1145","author":[{"given":"Janwillem","family":"Swalens","sequence":"first","affiliation":[{"name":"Vrije Universiteit Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joeri","family":"De Koster","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"De Meuter","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 1977 symposium on Artificial intelligence and programming languages. 55-59","author":"Baker H. C.","unstructured":"H. C. Baker and C. Hewitt . 1977. The incremental garbage collection of processes . In Proceedings of the 1977 symposium on Artificial intelligence and programming languages. 55-59 . H. C. Baker and C. Hewitt. 1977. The incremental garbage collection of processes. In Proceedings of the 1977 symposium on Artificial intelligence and programming languages. 55-59."},{"key":"e_1_3_2_1_3_1","first-page":"1","volume-title":"15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM","author":"Brandauer S.","year":"2015","unstructured":"S. Brandauer , E. Castegren , D. Clarke , K. Fernandez-Reyes , E. B. Johnsen , K. I. Pun , S. L. T. Tarifa , Tobias Wrigstad , and Albert Mingkun Yang . 2015 . Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. In Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2015). 1 - 56 . S. Brandauer, E. Castegren, D. Clarke, K. Fernandez-Reyes, E. B. Johnsen, K. I. Pun, S. L. T. Tarifa, Tobias Wrigstad, and Albert Mingkun Yang. 2015. Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. In Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2015). 1-56."},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"Fast Actors. In Proceedings of AGERE!","author":"Clebsch S.","year":"2015","unstructured":"S. Clebsch , S. Drossopoulou , S. Blessing , and A. McNeil . 2015. Deny Capabilities for Safe , Fast Actors. In Proceedings of AGERE! 2015 . 1 - 12 . S. Clebsch, S. Drossopoulou, S. Blessing, and A. McNeil. 2015. Deny Capabilities for Safe, Fast Actors. In Proceedings of AGERE! 2015. 1-12."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2016.01.003"},{"key":"e_1_3_2_1_6_1","first-page":"31","volume-title":"Proceedings of AGERE'16","author":"Koster J. De","unstructured":"J. De Koster , T. Van Cutsem , and W. De Meuter . 2016. 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties . In Proceedings of AGERE'16 . 31 - 40 . J. De Koster, T. Van Cutsem, and W. De Meuter. 2016. 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties. In Proceedings of AGERE'16. 31-40."},{"key":"e_1_3_2_1_7_1","unstructured":"M. Felleisen R. B. Findler and M. Flatt. 2009. Semantics Engineering with PLT Redex. The MIT Press.   M. Felleisen R. B. Findler and M. Flatt. 2009. Semantics Engineering with PLT Redex . The MIT Press."},{"key":"e_1_3_2_1_8_1","first-page":"101","volume-title":"Proceedings of COORDINATION","author":"Fernandez-Reyes K.","year":"2016","unstructured":"K. Fernandez-Reyes , D. Clarke , and D. S. McCain . 2016. ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations . In Proceedings of COORDINATION 2016 . 101 - 120 . K. Fernandez-Reyes, D. Clarke, and D. S. McCain. 2016. ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. In Proceedings of COORDINATION 2016. 101-120."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"T. Harris J. R. Larus and R. Rajwar. 2010. Transactional Memory (2nd ed.). Morgan & Claypool.   T. Harris J. R. Larus and R. Rajwar. 2010. Transactional Memory (2nd ed.). Morgan & Claypool.","DOI":"10.1007\/978-3-031-01728-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_12_1","first-page":"235","volume-title":"Proceedings of IJCAI'73","author":"Hewitt C.","unstructured":"C. Hewitt , P. Bishop , and R. Steiger . 1973. A Universal Modular ACTOR Formalism for Artificial Intelligence . In Proceedings of IJCAI'73 . 235 - 245 . C. Hewitt, P. Bishop, and R. Steiger. 1973. A Universal Modular ACTOR Formalism for Artificial Intelligence. In Proceedings of IJCAI'73. 235-245."},{"key":"e_1_3_2_1_14_1","first-page":"753","volume-title":"Proceedings of OOPSLA '12","author":"Imam S. M.","unstructured":"S. M. Imam and V. Sarkar . 2012. Integrating Task Parallelism with Actors . In Proceedings of OOPSLA '12 . 753 - 772 . S. M. Imam and V. Sarkar. 2012. Integrating Task Parallelism with Actors. In Proceedings of OOPSLA '12. 753-772."},{"key":"e_1_3_2_1_15_1","volume-title":"STAMP: Stanford Transactional Applications for Multi-Processing. In 2008 IEEE International Symposium on Workload Characterization. 35-46","author":"Minh C. C.","unstructured":"C. C. Minh , J. Chung , C. Kozyrakis , and K. Olukotun . 2008 . STAMP: Stanford Transactional Applications for Multi-Processing. In 2008 IEEE International Symposium on Workload Characterization. 35-46 . C. C. Minh, J. Chung, C. Kozyrakis, and K. Olukotun. 2008. STAMP: Stanford Transactional Applications for Multi-Processing. In 2008 IEEE International Symposium on Workload Characterization. 35-46."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.05.010"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050028"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of ECOOP'16","author":"Swalens J.","unstructured":"J. Swalens , J. De Koster , and W. De Meuter . 2016. Transactional Tasks: Parallelism in Software Transactions . In Proceedings of ECOOP'16 . 23:1-23:28. J. Swalens, J. De Koster, and W. De Meuter. 2016. Transactional Tasks: Parallelism in Software Transactions. In Proceedings of ECOOP'16. 23:1-23:28."},{"key":"e_1_3_2_1_19_1","first-page":"31","volume-title":"Proceedings of SEPS'17","author":"Swalens J.","unstructured":"J. Swalens , J. De Koster , and W. De Meuter . 2017. Transactional Actors: Communication in Transactions . In Proceedings of SEPS'17 . 31 - 41 . J. Swalens, J. De Koster, and W. De Meuter. 2017. Transactional Actors: Communication in Transactions. In Proceedings of SEPS'17. 31-41."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of PLACES'14","author":"Swalens J.","unstructured":"J. Swalens , S. Marr , J. De Koster , and T. Van Cutsem . 2014. Towards Composable Concurrency Abstractions . In Proceedings of PLACES'14 . J. Swalens, S. Marr, J. De Koster, and T. Van Cutsem. 2014. Towards Composable Concurrency Abstractions. In Proceedings of PLACES'14."},{"key":"e_1_3_2_1_21_1","first-page":"302","volume-title":"Proceedings of ECOOP'13","author":"Tasharofi S.","unstructured":"S. Tasharofi , P. Dinges , and R. E. Johnson . 2013. Why Do Scala Developers Mix the Actor Model with Other Concurrency Models? . In Proceedings of ECOOP'13 . 302 - 326 . S. Tasharofi, P. Dinges, and R. E. Johnson. 2013. Why Do Scala Developers Mix the Actor Model with Other Concurrency Models?. In Proceedings of ECOOP'13. 302-326."},{"key":"e_1_3_2_1_22_1","unstructured":"P. Van Roy and S. Haridi. 2004. Concepts techniques and models of computer programming. The MIT Press.   P. Van Roy and S. Haridi. 2004. Concepts techniques and models of computer programming . The MIT Press."},{"key":"e_1_3_2_1_23_1","first-page":"442","volume-title":"Proceedings of ICPP '16","author":"Zeng J.","unstructured":"J. Zeng , J. Barreto , S. Haridi , L. Rodrigues , and P. Romano . 2016. The Future(s) of Transactional Memory . In Proceedings of ICPP '16 . 442 - 451 . J. Zeng, J. Barreto, S. Haridi, L. Rodrigues, and P. Romano. 2016. The Future(s) of Transactional Memory. In Proceedings of ICPP '16. 442-451."}],"event":{"name":"SPLASH '18: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Boston MA USA","acronym":"SPLASH '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281366.3281373","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3281366.3281373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:18Z","timestamp":1750208238000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281366.3281373"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":21,"alternative-id":["10.1145\/3281366.3281373","10.1145\/3281366"],"URL":"https:\/\/doi.org\/10.1145\/3281366.3281373","relation":{},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}