{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:35:39Z","timestamp":1777498539421,"version":"3.51.4"},"reference-count":58,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA","license":[{"start":{"date-parts":[[2020,11,13]],"date-time":"2020-11-13T00:00:00Z","timestamp":1605225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1618923"],"award-info":[{"award-number":["1618923"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F&#x00F6;rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["192121"],"award-info":[{"award-number":["192121"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000782","name":"European Science Foundation","doi-asserted-by":"publisher","award":["617805"],"award-info":[{"award-number":["617805"]}],"id":[{"id":"10.13039\/501100000782","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["1053"],"award-info":[{"award-number":["1053"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2020,11,13]]},"abstract":"<jats:p>A major challenge in writing applications that execute across hosts, such as distributed online services, is to reconcile (a) parallelism (i.e., allowing components to execute independently on disjoint tasks), and (b)cooperation (i.e., allowing components to work together on common tasks). A good compromise between the two is vital to scalability, a core concern in distributed networked applications.<\/jats:p>\n          <jats:p>The actor model of computation is a widely promoted programming model for distributed applications, as actors can execute in individual threads (parallelism) across different hosts and interact via asynchronous message passing (collaboration). However, this makes it hard for programmers to reason about combinations of messages as opposed to individual messages, which is essential in many scenarios.<\/jats:p>\n          <jats:p>This paper presents a pragmatic variant of the actor model in which messages can be grouped into units that are executed in a serializable manner, whilst still retaining a high degree of parallelism. In short, our model is based on an orchestration of actors along a directed acyclic graph that supports efficient decentralized synchronization among actors based on their actual interaction. We present the implementation of this model, based on a dynamic DAG-inducing referencing discipline, in the actor-based programming language AEON. We argue serializability and the absence of deadlocks in our model, and demonstrate its scalability and usability through extensive evaluation and case studies of wide-ranging applications.<\/jats:p>","DOI":"10.1145\/3428266","type":"journal-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T23:36:06Z","timestamp":1606260966000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Scalable and serializable networked multi-actor programming"],"prefix":"10.1145","volume":"4","author":[{"given":"Bo","family":"Sang","sequence":"first","affiliation":[{"name":"Purdue University, USA \/ Ant Group, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3864-9078","authenticated-orcid":false,"given":"Patrick","family":"Eugster","sequence":"additional","affiliation":[{"name":"USI Lugano, Switzerland \/ TU Darmstadt, Germany \/ Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Petri","sequence":"additional","affiliation":[{"name":"ARM Research, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2965-3940","authenticated-orcid":false,"given":"Srivatsan","family":"Ravi","sequence":"additional","affiliation":[{"name":"University of Southern California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5741-1490","authenticated-orcid":false,"given":"Pierre-Louis","family":"Roman","sequence":"additional","affiliation":[{"name":"USI Lugano, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,13]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"2020. Akka.NET. http:\/\/getakka.net  2020. Akka.NET. http:\/\/getakka.net"},{"key":"e_1_2_2_2_1","unstructured":"AEON. 2020. AEON. https:\/\/aeonproject.github.io\/aeon\/aeon_webpages\/  AEON. 2020. AEON. https:\/\/aeonproject.github.io\/aeon\/aeon_webpages\/"},{"key":"e_1_2_2_3_1","doi-asserted-by":"crossref","unstructured":"Gul Agha. 1990. Concurrent Object-Oriented Programming. Commun. ACM 33 9 ( 1990 ) 125-141.  Gul Agha. 1990. Concurrent Object-Oriented Programming. Commun. ACM 33 9 ( 1990 ) 125-141.","DOI":"10.1145\/83880.84528"},{"key":"e_1_2_2_4_1","volume-title":"Shah","author":"Aguilera Marcos Kawazoe","year":"2008","unstructured":"Marcos Kawazoe Aguilera , Wojciech M. Golab , and Mehul A . Shah . 2008 . A Practical Scalable Distributed B-Tree. PVLDB 1, 1 ( 2008 ), 598-609. Marcos Kawazoe Aguilera, Wojciech M. Golab, and Mehul A. Shah. 2008. A Practical Scalable Distributed B-Tree. PVLDB 1, 1 ( 2008 ), 598-609."},{"key":"e_1_2_2_5_1","unstructured":"Apache. 2020. Hadoop. http:\/\/hadoop.apache.org\/  Apache. 2020. Hadoop. http:\/\/hadoop.apache.org\/"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357390.3361019"},{"key":"e_1_2_2_7_1","unstructured":"AWS. 2020. AWS. https:\/\/aws.amazon.com\/  AWS. 2020. AWS. https:\/\/aws.amazon.com\/"},{"key":"e_1_2_2_8_1","volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein Philip A.","unstructured":"Philip A. Bernstein , Vassos Hadzilacos , and Nathan Goodman . 1987. Concurrency Control and Recovery in Database Systems . Addison-Wesley . Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3141834.3141835"},{"key":"e_1_2_2_11_1","first-page":"16","article-title":"Orleans: Cloud Computing for Everyone. In ACM Symposium on Cloud Computing","volume":"11","author":"Bykov Sergey","year":"2011","unstructured":"Sergey Bykov , Alan Geller , Gabriel Kliot , James R. Larus , Ravi Pandya , and Jorgen Thelin . 2011 . Orleans: Cloud Computing for Everyone. In ACM Symposium on Cloud Computing , SOCC' 11. 16 . Sergey Bykov, Alan Geller, Gabriel Kliot, James R. Larus, Ravi Pandya, and Jorgen Thelin. 2011. Orleans: Cloud Computing for Everyone. In ACM Symposium on Cloud Computing, SOCC' 11. 16.","journal-title":"SOCC'"},{"key":"e_1_2_2_12_1","volume-title":"Reference Capabilities for Concurrency Control. In 30th European Conference on Object-Oriented Programming, ECOOP'16","author":"Castegren Elias","year":"2016","unstructured":"Elias Castegren and Tobias Wrigstad . 2016 . Reference Capabilities for Concurrency Control. In 30th European Conference on Object-Oriented Programming, ECOOP'16 . 5: 1-5 : 26. Elias Castegren and Tobias Wrigstad. 2016. Reference Capabilities for Concurrency Control. In 30th European Conference on Object-Oriented Programming, ECOOP'16. 5: 1-5 : 26."},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1365815.1365816"},{"key":"e_1_2_2_14_1","volume-title":"Schmidt","author":"Charousset Dominik","year":"2016","unstructured":"Dominik Charousset , Raphael Hiesgen , and Thomas C . Schmidt . 2016 . Revisiting Actor Programming in C++. Computer Languages, Systems & Structures 45 ( April 2016 ), 105-131. Dominik Charousset, Raphael Hiesgen, and Thomas C. Schmidt. 2016. Revisiting Actor Programming in C++. Computer Languages, Systems & Structures 45 ( April 2016 ), 105-131."},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523617"},{"key":"e_1_2_2_16_1","first-page":"1","volume-title":"Fast Actors. In Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!'15","author":"Clebsch Sylvan","year":"2015","unstructured":"Sylvan Clebsch , Sophia Drossopoulou , Sebastian Blessing , and Andy McNeil . 2015 . Deny Capabilities for Safe , Fast Actors. In Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!'15 . 1 - 12 . Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, and Andy McNeil. 2015. Deny Capabilities for Safe, Fast Actors. In Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!'15. 1-12."},{"key":"e_1_2_2_17_1","volume-title":"Tobias Wrigstad, and Jan Vitek.","author":"Clebsch Sylvan","year":"2017","unstructured":"Sylvan Clebsch , Juliana Franco , Sophia Drossopoulou , Albert Mingkun Yang , Tobias Wrigstad, and Jan Vitek. 2017 . Orca : GC and Type System Co-design for Actor Languages. PACMPL 1, OOPSLA ( 2017 ), 72 : 1-72 : 28. Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek. 2017. Orca: GC and Type System Co-design for Actor Languages. PACMPL 1, OOPSLA ( 2017 ), 72 : 1-72 : 28."},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_2_2_19_1","doi-asserted-by":"crossref","unstructured":"Jefrey Dean and Sanjay Ghemawat. 2008. MapReduce: Simplified Data Processing on Large Clusters. Commun. ACM 51 1 ( 2008 ) 107-113.  Jefrey Dean and Sanjay Ghemawat. 2008. MapReduce: Simplified Data Processing on Large Clusters. Commun. ACM 51 1 ( 2008 ) 107-113.","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462184"},{"key":"e_1_2_2_21_1","first-page":"89","volume-title":"Scoped Synchronization Constraints for Large Scale Actor Systems. In Coordination Models and Languages-14th International Conference, COORDINATION' 12","author":"Dinges Peter","year":"2012","unstructured":"Peter Dinges and Gul Agha . 2012 . Scoped Synchronization Constraints for Large Scale Actor Systems. In Coordination Models and Languages-14th International Conference, COORDINATION' 12 . 89 - 103 . Peter Dinges and Gul Agha. 2012. Scoped Synchronization Constraints for Large Scale Actor Systems. In Coordination Models and Languages-14th International Conference, COORDINATION' 12. 89-103."},{"key":"e_1_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Carlos H. C. Duarte. 1999. Proof-theoretic Foundations for the Design of Actor Systems. Mathematical. Structures in Comp. Sci. 9 3 ( 1999 ) 227-252.  Carlos H. C. Duarte. 1999. Proof-theoretic Foundations for the Design of Actor Systems. Mathematical. Structures in Comp. Sci. 9 3 ( 1999 ) 227-252.","DOI":"10.1017\/S0960129599002765"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1835698.1835736"},{"key":"e_1_2_2_24_1","first-page":"469","volume-title":"The Design and Implementation of the Warp Transactional Filesystem. In 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI' 16","author":"Escriva Robert","year":"2016","unstructured":"Robert Escriva and Emin G\u00fcn Sirer . 2016 . The Design and Implementation of the Warp Transactional Filesystem. In 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI' 16 . 469 - 483 . Robert Escriva and Emin G\u00fcn Sirer. 2016. The Design and Implementation of the Warp Transactional Filesystem. In 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI' 16. 469-483."},{"key":"e_1_2_2_25_1","volume-title":"Warp: Lightweight Multi-Key Transactions for Key-Value Stores. CoRR abs\/1509.07815 ( 2015 ).","author":"Escriva Robert","year":"2015","unstructured":"Robert Escriva , Bernard Wong , and Emin G\u00fcn Sirer . 2015 . Warp: Lightweight Multi-Key Transactions for Key-Value Stores. CoRR abs\/1509.07815 ( 2015 ). Robert Escriva, Bernard Wong, and Emin G\u00fcn Sirer. 2015. Warp: Lightweight Multi-Key Transactions for Key-Value Stores. CoRR abs\/1509.07815 ( 2015 )."},{"key":"e_1_2_2_26_1","volume-title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'05. 195-208","author":"Field John","unstructured":"John Field and Carlos A. Varela . 2005. Transactors: A Programming Model for Maintaining Globally Consistent Distributed State in Unreliable Environments . In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'05. 195-208 . John Field and Carlos A. Varela. 2005. Transactors: A Programming Model for Maintaining Globally Consistent Distributed State in Unreliable Environments. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'05. 195-208."},{"key":"e_1_2_2_27_1","volume-title":"Coordinating Distributed Objects-An Actor-based Approach to Synchronization","author":"Fr\u00f8lund Svend","unstructured":"Svend Fr\u00f8lund . 1996. Coordinating Distributed Objects-An Actor-based Approach to Synchronization . MIT Press . Svend Fr\u00f8lund. 1996. Coordinating Distributed Objects-An Actor-based Approach to Synchronization. MIT Press."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048086"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.019"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_17"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561927_24"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1624775.1624804"},{"key":"e_1_2_2_33_1","unstructured":"HyperDex Warp. 2020. GyperDex Warp. http:\/\/hyperdex.org\/  HyperDex Warp. 2020. GyperDex Warp. http:\/\/hyperdex.org\/"},{"key":"e_1_2_2_34_1","first-page":"67","volume-title":"Proceedings of the 4th International Workshop on Programming Based on Actors Agents & Decentralized Control, AGERE!' 14","author":"Shams","unstructured":"Shams M. Imam and Vivek Sarkar. 2014. Savina-An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries . In Proceedings of the 4th International Workshop on Programming Based on Actors Agents & Decentralized Control, AGERE!' 14 . 67 - 80 . Shams M. Imam and Vivek Sarkar. 2014. Savina-An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries. In Proceedings of the 4th International Workshop on Programming Based on Actors Agents & Decentralized Control, AGERE!' 14. 67-80."},{"key":"e_1_2_2_35_1","unstructured":"Infinispan. 2020. Infinispan. https:\/\/infinispan.org\/  Infinispan. 2020. Infinispan. https:\/\/infinispan.org\/"},{"key":"e_1_2_2_36_1","first-page":"140","volume-title":"Domains: Safe Sharing Among Actors. Sci. Comput. Program. 98 ( 2015 )","author":"Koster Joeri De","year":"2015","unstructured":"Joeri De Koster , Stefan Marr , Theo D'Hondt , and Tom Van Cutsem . 2015 . Domains: Safe Sharing Among Actors. Sci. Comput. Program. 98 ( 2015 ) , 140 - 158 . Joeri De Koster, Stefan Marr, Theo D'Hondt, and Tom Van Cutsem. 2015. Domains: Safe Sharing Among Actors. Sci. Comput. Program. 98 ( 2015 ), 140-158."},{"key":"e_1_2_2_37_1","first-page":"51","volume-title":"DiSTM: A Software Transactional Memory Framework for Clusters. In 2008 International Conference on Parallel Processing, ICPP'08","author":"Kotselidis Christos","year":"2008","unstructured":"Christos Kotselidis , Mohammad Ansari , Kim Jarvis , Mikel Luj\u00e1n , Chris C. Kirkham , and Ian Watson . 2008 . DiSTM: A Software Transactional Memory Framework for Clusters. In 2008 International Conference on Parallel Processing, ICPP'08 . 51 - 58 . Christos Kotselidis, Mohammad Ansari, Kim Jarvis, Mikel Luj\u00e1n, Chris C. Kirkham, and Ian Watson. 2008. DiSTM: A Software Transactional Memory Framework for Clusters. In 2008 International Conference on Parallel Processing, ICPP'08. 51-58."},{"key":"e_1_2_2_38_1","volume-title":"Kurnia and Arnd Poetzsch-Hefter","author":"Ilham","year":"2012","unstructured":"Ilham W. Kurnia and Arnd Poetzsch-Hefter . 2012 . A Relational Trace Logic for Simple Hierarchical Actor-based Component Systems. In Proceedings of the 2 nd Edition on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions, AGERE !' 12. 47-58. Ilham W. Kurnia and Arnd Poetzsch-Hefter. 2012. A Relational Trace Logic for Simple Hierarchical Actor-based Component Systems. In Proceedings of the 2nd Edition on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions, AGERE!' 12. 47-58.","edition":"2"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_2_2_40_1","doi-asserted-by":"crossref","unstructured":"Doug Lea. 2005. The java. util.concurrent Synchronizer Framework. Sci. Comput. Program. 58 3 ( 2005 ) 293-309.  Doug Lea. 2005. The java. util.concurrent Synchronizer Framework. Sci. Comput. Program. 58 3 ( 2005 ) 293-309.","DOI":"10.1016\/j.scico.2005.03.007"},{"key":"e_1_2_2_41_1","unstructured":"Lightbend. 2020. Akka. https:\/\/akka.io\/  Lightbend. 2020. Akka. https:\/\/akka.io\/"},{"key":"e_1_2_2_42_1","unstructured":"Microsoft. 2020a. Asynchronous Agents Library. https:\/\/docs.microsoft.com\/en-us\/cpp\/parallel\/concrt\/asynchronousagents-library  Microsoft. 2020a. Asynchronous Agents Library. https:\/\/docs.microsoft.com\/en-us\/cpp\/parallel\/concrt\/asynchronousagents-library"},{"key":"e_1_2_2_43_1","unstructured":"Microsoft. 2020b. Who is Using Orleans? https:\/\/dotnet.github.io\/orleans\/Community\/Who-Is-Using-Orleans.html  Microsoft. 2020b. Who is Using Orleans? https:\/\/dotnet.github.io\/orleans\/Community\/Who-Is-Using-Orleans.html"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901343"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43376-8_9"},{"key":"e_1_2_2_46_1","article-title":"The Log-Structured Merge-Tree (LSM-Tree)","volume":"33","author":"O'Neil Patrick E.","year":"1996","unstructured":"Patrick E. O'Neil , Edward Cheng , Dieter Gawlick , and Elizabeth J. O'Neil . 1996 . The Log-Structured Merge-Tree (LSM-Tree) . Acta Inf. 33 , 4 ( 1996 ), 351-385. Patrick E. O'Neil, Edward Cheng, Dieter Gawlick, and Elizabeth J. O'Neil. 1996. The Log-Structured Merge-Tree (LSM-Tree). Acta Inf. 33, 4 ( 1996 ), 351-385.","journal-title":"Acta Inf."},{"key":"e_1_2_2_47_1","unstructured":"Orleans. 2020. Orleans. https:\/\/dotnet.github.io\/orleans\/  Orleans. 2020. Orleans. https:\/\/dotnet.github.io\/orleans\/"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_2_2_49_1","first-page":"289","volume-title":"Verification of Actor Systems Needs Specification Techniques for Strong Causality and Hierarchical Reasoning. In International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11","author":"Poetzsch-Hefter Arnd","year":"2011","unstructured":"Arnd Poetzsch-Hefter , Ilham W. Kurnia , and Feller Christoph . 2011 . Verification of Actor Systems Needs Specification Techniques for Strong Causality and Hierarchical Reasoning. In International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11 . 289 - 305 . Arnd Poetzsch-Hefter, Ilham W. Kurnia, and Feller Christoph. 2011. Verification of Actor Systems Needs Specification Techniques for Strong Causality and Hierarchical Reasoning. In International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11. 289-305."},{"key":"e_1_2_2_50_1","unstructured":"Red Hat. 2020. JBoss Middleware. https:\/\/developers.redhat.com\/middleware\/  Red Hat. 2020. JBoss Middleware. https:\/\/developers.redhat.com\/middleware\/"},{"key":"e_1_2_2_51_1","first-page":"1","article-title":"Programming Scalable Cloud Services with AEON. In Proceedings of the 17th International Middleware Conference","volume":"16","author":"Sang Bo","year":"2016","unstructured":"Bo Sang , Gustavo Petri , Masoud Saeida Ardekani , Srivatsan Ravi , and Patrick Eugster . 2016 . Programming Scalable Cloud Services with AEON. In Proceedings of the 17th International Middleware Conference , Middleware' 16. 16: 1 - 16 : 14. Bo Sang, Gustavo Petri, Masoud Saeida Ardekani, Srivatsan Ravi, and Patrick Eugster. 2016. Programming Scalable Cloud Services with AEON. In Proceedings of the 17th International Middleware Conference, Middleware' 16. 16: 1-16 : 14.","journal-title":"Middleware'"},{"key":"e_1_2_2_52_1","first-page":"1","article-title":"PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications. In Proceedings of the 15th European Conference on Computer Systems","volume":"20","author":"Sang Bo","year":"2020","unstructured":"Bo Sang , Pierre-Louis Roman , Patrick Eugster , Hui Lu , Srivatsan Ravi , and Gustavo Petri . 2020 . PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications. In Proceedings of the 15th European Conference on Computer Systems , EuroSys' 20. 42: 1 - 42 : 15. Bo Sang, Pierre-Louis Roman, Patrick Eugster, Hui Lu, Srivatsan Ravi, and Gustavo Petri. 2020. PLASMA: Programmable Elasticity for Stateful Cloud Computing Applications. In Proceedings of the 15th European Conference on Computer Systems, EuroSys' 20. 42: 1-42 : 15.","journal-title":"EuroSys'"},{"key":"e_1_2_2_53_1","first-page":"699","volume-title":"Actor Services. In Proceedings of the 25th European Symposium on Programming Languages and Systems-Volume 9632","author":"Alexander","unstructured":"Alexander J. Summers and Peter M\u00fcller. 2016 . Actor Services. In Proceedings of the 25th European Symposium on Programming Languages and Systems-Volume 9632 . 699 - 726 . Alexander J. Summers and Peter M\u00fcller. 2016. Actor Services. In Proceedings of the 25th European Symposium on Programming Languages and Systems-Volume 9632. 699-726."},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281366.3281373"},{"key":"e_1_2_2_55_1","unstructured":"Piazza Technologies. 2016. Piazza. https:\/\/piazza.com  Piazza Technologies. 2016. Piazza. https:\/\/piazza.com"},{"key":"e_1_2_2_56_1","volume-title":"Speedy Transactions in Multicore In-memory Databases. In ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13. 18-32","author":"Tu Stephen","year":"2013","unstructured":"Stephen Tu , Wenting Zheng , Eddie Kohler , Barbara Liskov , and Samuel Madden . 2013 . Speedy Transactions in Multicore In-memory Databases. In ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13. 18-32 . Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, and Samuel Madden. 2013. Speedy Transactions in Multicore In-memory Databases. In ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13. 18-32."},{"key":"e_1_2_2_57_1","first-page":"166","article-title":"A Hierarchical Model for Coordination of Concurrent Activities. In Proceedings of the Third International Conference on Coordination Languages and Models","volume":"99","author":"Varela Carlos A.","year":"1999","unstructured":"Carlos A. Varela and Gul Agha . 1999 . A Hierarchical Model for Coordination of Concurrent Activities. In Proceedings of the Third International Conference on Coordination Languages and Models , COORDINATION' 99. 166 - 182 . Carlos A. Varela and Gul Agha. 1999. A Hierarchical Model for Coordination of Concurrent Activities. In Proceedings of the Third International Conference on Coordination Languages and Models, COORDINATION' 99. 166-182.","journal-title":"COORDINATION'"},{"key":"e_1_2_2_58_1","unstructured":"Wikipedia. 2020. DDR3 SDRAM. https:\/\/en.wikipedia.org\/wiki\/DDR3_SDRAM  Wikipedia. 2020. DDR3 SDRAM. https:\/\/en.wikipedia.org\/wiki\/DDR3_SDRAM"},{"key":"e_1_2_2_59_1","first-page":"1","article-title":"zExpander: A Key-Value Cache With Both High Performance and Fewer Misses. In Proceedings of the Eleventh European Conference on Computer Systems","volume":"16","author":"Wu Xingbo","year":"2016","unstructured":"Xingbo Wu , Li Zhang , Yandong Wang , Yufei Ren , Michel Hack , and Song Jiang . 2016 . zExpander: A Key-Value Cache With Both High Performance and Fewer Misses. In Proceedings of the Eleventh European Conference on Computer Systems , EuroSys' 16. 14: 1 - 14 : 15. Xingbo Wu, Li Zhang, Yandong Wang, Yufei Ren, Michel Hack, and Song Jiang. 2016. zExpander: A Key-Value Cache With Both High Performance and Fewer Misses. In Proceedings of the Eleventh European Conference on Computer Systems, EuroSys' 16. 14: 1-14 : 15.","journal-title":"EuroSys'"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3428266","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3428266","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3428266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:57Z","timestamp":1750197777000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3428266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,13]]},"references-count":58,"journal-issue":{"issue":"OOPSLA","published-print":{"date-parts":[[2020,11,13]]}},"alternative-id":["10.1145\/3428266"],"URL":"https:\/\/doi.org\/10.1145\/3428266","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,13]]},"assertion":[{"value":"2020-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}