{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:15:21Z","timestamp":1775873721340,"version":"3.50.1"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T00:00:00Z","timestamp":1509062400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-0722077, IIS- 0713661, IIS-0803690, and IIS-0917349"],"award-info":[{"award-number":["CNS-0722077, IIS- 0713661, IIS-0803690, and IIS-0917349"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"EMC, Microsoft Research, and NTT Multimedia Communications Laboratories"},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"crossref","award":["FA95500810352"],"award-info":[{"award-number":["FA95500810352"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Database Syst."],"published-print":{"date-parts":[[2017,12,31]]},"abstract":"<jats:p>Distributed consistency is perhaps the most-discussed topic in distributed systems today. Coordination protocols can ensure consistency, but in practice they cause undesirable performance unless used judiciously. Scalable distributed architectures avoid coordination whenever possible, but under-coordinated systems can exhibit behavioral anomalies under fault, which are often extremely difficult to debug. This raises significant challenges for distributed system architects and developers.<\/jats:p>\n          <jats:p>\n            In this article, we present B\n            <jats:sc>lazes<\/jats:sc>\n            , a cross-platform program analysis framework that (a) identifies program locations that require coordination to ensure consistent executions, and (b) automatically synthesizes application-specific coordination code that can significantly outperform general-purpose techniques. We present two case studies, one using annotated programs in the Twitter Storm system and another using the Bloom declarative language.\n          <\/jats:p>","DOI":"10.1145\/3110214","type":"journal-article","created":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T12:48:13Z","timestamp":1509108493000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Blazes"],"prefix":"10.1145","volume":"42","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6672-240X","authenticated-orcid":false,"given":"Peter","family":"Alvaro","sequence":"first","affiliation":[{"name":"University of California, Santa Cruz, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Conway","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph M.","family":"Hellerstein","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Maier","sequence":"additional","affiliation":[{"name":"Portland State University, Portland, OR"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,27]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.33"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0095-z"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462571.1462573"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523632"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755937"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1713254.1713261"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014.6816639"},{"key":"e_1_2_1_8_1","volume-title":"Marczak","author":"Alvaro Peter","year":"2011"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989321"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-004-0147-z"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the CIDR.","author":"Baker Jason","year":"2011"},{"key":"e_1_2_1_13_1","volume-title":"Shah","author":"Balazinska Magdalena","year":"2009"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Valter Balegas S\u00e9rgio Duarte Carla Ferreira Rodrigo Rodrigues Nuno Pregui\u00e7a Mahsa Najafzadeh and Marc Shapiro. 2015. Putting consistency back into eventual consistency. InProceedings of the EuroSys.  Valter Balegas S\u00e9rgio Duarte Carla Ferreira Rodrigo Rodrigues Nuno Pregui\u00e7a Mahsa Najafzadeh and Marc Shapiro. 2015. Putting consistency back into eventual consistency. InProceedings of the EuroSys.","DOI":"10.1145\/2741948.2741972"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1556154.1556172"},{"key":"e_1_2_1_16_1","volume-title":"Renesse","author":"Birman Kenneth P.","year":"1994"},{"key":"e_1_2_1_17_1","unstructured":"Bloom. 2012. Bloom programming language. Retrieved from http:\/\/www.bloom-lang.org.  Bloom. 2012. Bloom programming language. Retrieved from http:\/\/www.bloom-lang.org."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.37"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the OSDI.","author":"Burrows Mike","year":"2006"},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Rick Cattell. 2010. Scalable SQL and NoSQL data stores. SIGMOD Rec. (2010) 12--27.  Rick Cattell. 2010. Scalable SQL and NoSQL data stores. SIGMOD Rec. (2010) 12--27.","DOI":"10.1145\/1978915.1978919"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872857"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"A. Church and J. B. Rosser. 1936. Some properties of conversion. Trans. Amer. Math. Soc. (1936).  A. Church and J. B. Rosser. 1936. Some properties of conversion. Trans. Amer. Math. Soc. (1936).","DOI":"10.1090\/S0002-9947-1936-1501858-0"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA563903"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the OSDI.","author":"Corbett James C.","year":"2012"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_2_1_26_1","volume-title":"Robert Bruce Findler, and Matthew Flatt","author":"Felleisen Matthias","year":"2009"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/898758"},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Alexey Gotsman Hongseok Yang Carla Ferreira Mahsa Najafzadeh and Marc Shapiro. 2016. \u2019Cause I\u2019M strong enough: Reasoning about consistency choices in distributed systems. InProceedings of the POPL.  Alexey Gotsman Hongseok Yang Carla Ferreira Mahsa Najafzadeh and Marc Shapiro. 2016. \u2019Cause I\u2019M strong enough: Reasoning about consistency choices in distributed systems. InProceedings of the POPL.","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the CIDR.","author":"Helland Pat","year":"2007"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1860702.1860704"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the USENIX ATC.","author":"Hunt Patrick","year":"2010"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958223"},{"key":"e_1_2_1_34_1","volume-title":"The semantics of a simple language for parallel programming","author":"Kahn G."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_2_1_37_1","unstructured":"Jonathan Leibiusky Gabriel Eisbruch and Dario Simonassi. 2012. Getting Started with Storm\u2014Continuous Streaming Computation with Twitter\u2019s Cluster Technology. O\u2019Reilly.  Jonathan Leibiusky Gabriel Eisbruch and Dario Simonassi. 2012. Getting Started with Storm\u2014Continuous Streaming Computation with Twitter\u2019s Cluster Technology. O\u2019Reilly."},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the OSDI.","author":"Li Cheng","year":"2012"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453890"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212354"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_2_1_43_1","volume-title":"Lasp: A language for distributed, coordination-free programming. InProceedings of the PPDP.","author":"Meiklejohn Christopher","year":"2015"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDMW.2010.172"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the USENIX ATC.","author":"Ongaro Diego","year":"2014"},{"key":"e_1_2_1_46_1","volume-title":"Proceedings of the NIPS.","author":"Recht Benjamin","year":"2011"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Marc Shapiro Nuno Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. A comprehensive study of Convergent and Commutative Replicated Data Types. Research report. INRIA.  Marc Shapiro Nuno Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. A comprehensive study of Convergent and Commutative Replicated Data Types. Research report. INRIA.","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1198390"},{"key":"e_1_2_1_51_1","volume-title":"A bridging model for parallel computation. Commun. ACM","author":"Valiant Leslie G.","year":"1999"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of the HotCloud.","author":"Zaharia Matei","year":"2012"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2274576.2274588"}],"container-title":["ACM Transactions on Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3110214","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3110214","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3110214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:10Z","timestamp":1750217410000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3110214"}},"subtitle":["Coordination Analysis and Placement for Distributed Programs"],"short-title":[],"issued":{"date-parts":[[2017,10,27]]},"references-count":53,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12,31]]}},"alternative-id":["10.1145\/3110214"],"URL":"https:\/\/doi.org\/10.1145\/3110214","relation":{},"ISSN":["0362-5915","1557-4644"],"issn-type":[{"value":"0362-5915","type":"print"},{"value":"1557-4644","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,27]]},"assertion":[{"value":"2016-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}