{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T19:58:32Z","timestamp":1760731112295,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,8,13]],"date-time":"2018-08-13T00:00:00Z","timestamp":1534118400000},"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,8,13]]},"DOI":"10.1145\/3225058.3225139","type":"proceedings-article","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T19:13:06Z","timestamp":1533755586000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A Comprehensive Study on Bugs in Actor Systems"],"prefix":"10.1145","author":[{"given":"Brandon","family":"Hedden","sequence":"first","affiliation":[{"name":"School of Engineering and Computer Science, Washington State University, Vancouver, WA, USA"}]},{"given":"Xinghui","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Engineering and Computer Science, Washington State University, Vancouver, WA, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,8,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/doc.akka.io\/docs\/akka\/2.5\/general\/jmm.html. (2018). {Online","author":"Documentation Akka","year":"2018","unstructured":"2018. Akka Documentation . https:\/\/doc.akka.io\/docs\/akka\/2.5\/general\/jmm.html. (2018). {Online ; accessed 7- June - 2018 }. 2018. Akka Documentation. https:\/\/doc.akka.io\/docs\/akka\/2.5\/general\/jmm.html. (2018). {Online; accessed 7-June-2018}."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/7929"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC.2014.31"},{"key":"e_1_3_2_1_4_1","volume-title":"Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf.","author":"Armstrong Joe","year":"2007","unstructured":"Joe Armstrong . 2007 . Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf. Joe Armstrong. 2007. Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3001886.3001890"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"volume-title":"Actors That Unify Threads and Events","author":"Haller Philipp","key":"e_1_3_2_1_8_1","unstructured":"Philipp Haller and Martin Odersky . 2007. Actors That Unify Threads and Events . In Coordination Models and Languages, Amy Murphy and Jan Vitek (Eds.). LNCS, Vol . 4467. Springer , 171--190. Philipp Haller and Martin Odersky. 2007. Actors That Unify Threads and Events. In Coordination Models and Languages, Amy Murphy and Jan Vitek (Eds.). LNCS, Vol. 4467. Springer, 171--190."},{"key":"e_1_3_2_1_10_1","unstructured":"Lightbend Inc. 2011--2018. Akka Open Source Actor Library. https:\/\/akka.io\/. (2011-2018). Accessed: 2018-03-12.  Lightbend Inc. 2011--2018. Akka Open Source Actor Library. https:\/\/akka.io\/. (2011-2018). Accessed: 2018-03-12."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/90482.90493"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596655.1596658"},{"key":"e_1_3_2_1_14_1","unstructured":"WooYoung Kim. 1997. ThAL: An Actor System for Efficient and Scalable Concurrent Computing. Ph.D. Dissertation. University of Illinois at Urbana-Champaign.  WooYoung Kim. 1997. ThAL: An Actor System for Efficient and Scalable Concurrent Computing. Ph.D. Dissertation. University of Illinois at Urbana-Champaign."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_16_1","volume-title":"A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs. CoRR abs\/1706.07372","author":"Lopez Carmen Torres","year":"2017","unstructured":"Carmen Torres Lopez , Stefan Marr , Hanspeter M\u00f6ssenb\u00f6ck , and Elisa Gonzalez Boix . 2017. A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs. CoRR abs\/1706.07372 ( 2017 ). arXiv:1706.07372 http:\/\/arxiv.org\/abs\/1706.07372 Carmen Torres Lopez, Stefan Marr, Hanspeter M\u00f6ssenb\u00f6ck, and Elisa Gonzalez Boix. 2017. A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs. CoRR abs\/1706.07372 (2017). arXiv:1706.07372 http:\/\/arxiv.org\/abs\/1706.07372"},{"key":"e_1_3_2_1_17_1","unstructured":"Microsoft Corporation. 2008. Axum Programming Language. (2008).  Microsoft Corporation. 2008. Axum Programming Language. (2008)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2557833.2560585"},{"key":"e_1_3_2_1_19_1","unstructured":"Scalacenter JFrog Bintray and Sonatype. 2016. Scaladex A Scala Library Index. https:\/\/index.scala-lang.org\/. (2016). Accessed: 2017-02-10.  Scalacenter JFrog Bintray and Sonatype. 2016. Scaladex A Scala Library Index. https:\/\/index.scala-lang.org\/. (2016). Accessed: 2017-02-10."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_6"},{"volume-title":"Proceedings of the 13th Symposium on Reliable Distributed Systems. 148--157","author":"Sturman D.","key":"e_1_3_2_1_21_1","unstructured":"D. Sturman and G. Agha . 1994. A Protocol Description Language for Customizing Failure Semantics . In Proceedings of the 13th Symposium on Reliable Distributed Systems. 148--157 . D. Sturman and G. Agha. 1994. A Protocol Description Language for Customizing Failure Semantics. In Proceedings of the 13th Symposium on Reliable Distributed Systems. 148--157."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_13"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693072"},{"key":"e_1_3_2_1_24_1","unstructured":"The E language 2000. The E Language. (2000). http:\/\/www.erights.org\/elang.  The E language 2000. The E Language. (2000). http:\/\/www.erights.org\/elang."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/583960.583964"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2490301.2451129"}],"event":{"name":"ICPP 2018: 47th International Conference on Parallel Processing","sponsor":["University of Oregon University of Oregon"],"location":"Eugene OR USA","acronym":"ICPP 2018"},"container-title":["Proceedings of the 47th International Conference on Parallel Processing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3225058.3225139","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3225058.3225139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:50Z","timestamp":1750210790000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3225058.3225139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,13]]},"references-count":23,"alternative-id":["10.1145\/3225058.3225139","10.1145\/3225058"],"URL":"https:\/\/doi.org\/10.1145\/3225058.3225139","relation":{},"subject":[],"published":{"date-parts":[[2018,8,13]]},"assertion":[{"value":"2018-08-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}