{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:42:18Z","timestamp":1784342538091,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":89,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,5,27]],"date-time":"2015-05-27T00:00:00Z","timestamp":1432684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["NSF CISE Expeditions Award #CCF- 1139158"],"award-info":[{"award-number":["NSF CISE Expeditions Award #CCF- 1139158"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,5,27]]},"DOI":"10.1145\/2723372.2723711","type":"proceedings-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T05:35:02Z","timestamp":1433223302000},"page":"331-346","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":64,"title":["Lineage-driven Fault Injection"],"prefix":"10.1145","author":[{"given":"Peter","family":"Alvaro","sequence":"first","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joshua","family":"Rosen","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joseph M.","family":"Hellerstein","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/techblog.netflix.com\/2011\/07\/netflix-simian-army.html","author":"Simian Army The Netflix","year":"2011","unstructured":"The Netflix Simian Army . http:\/\/techblog.netflix.com\/2011\/07\/netflix-simian-army.html , 2011 . The Netflix Simian Army. http:\/\/techblog.netflix.com\/2011\/07\/netflix-simian-army.html, 2011."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/kafka.apache.org\/08\/documentation.html","author":"Documentation Kafka","year":"2013","unstructured":"Kafka 0.8.0 Documentation . https:\/\/kafka.apache.org\/08\/documentation.html , 2013 . Kafka 0.8.0 Documentation. https:\/\/kafka.apache.org\/08\/documentation.html, 2013."},{"key":"e_1_3_2_1_3_1","volume-title":"The Webdamlog System Managing Distributed Knowledge on the Web. CoRR, abs\/1304.4187","author":"Abiteboul S.","year":"2013","unstructured":"S. Abiteboul , E. Antoine , and J. Stoyanovich . The Webdamlog System Managing Distributed Knowledge on the Web. CoRR, abs\/1304.4187 , 2013 . S. Abiteboul, E. Antoine, and J. Stoyanovich. The Webdamlog System Managing Distributed Knowledge on the Web. CoRR, abs\/1304.4187, 2013."},{"key":"e_1_3_2_1_4_1","volume-title":"ICSE '76","author":"Alsberg P. A.","unstructured":"P. A. Alsberg and J. D. Day . A Principle for Resilient Sharing of Distributed Resources . ICSE '76 . P. A. Alsberg and J. D. Day. A Principle for Resilient Sharing of Distributed Resources. ICSE '76."},{"key":"e_1_3_2_1_5_1","volume-title":"CIDR'12","author":"Alvaro P.","unstructured":"P. Alvaro , N. Conway , J. M. Hellerstein , and W. R. Marczak . Consistency Analysis in Bloom: a CALM and Collected Approach . CIDR'12 . P. Alvaro, N. Conway, J. M. Hellerstein, and W. R. Marczak. Consistency Analysis in Bloom: a CALM and Collected Approach. CIDR'12."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2304510.2304512"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989284.1989321"},{"key":"e_1_3_2_1_9_1","volume-title":"Programming Erlang: Software for a Concurrent World","author":"Armstrong J.","year":"2007","unstructured":"J. Armstrong . Programming Erlang: Software for a Concurrent World . 2007 . J. Armstrong. Programming Erlang: Software for a Concurrent World. 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2643130"},{"key":"e_1_3_2_1_12_1","volume-title":"Highly Available Storage for Interactive Services. CIDR'11","author":"Baker J.","unstructured":"J. Baker , C. Bond , J. C. Corbett , J. Furman , A. Khorlin , J. Larson , J.-M. Leon , Y. Li , A. Lloyd , and V. Yushprakh . Megastore: Providing Scalable , Highly Available Storage for Interactive Services. CIDR'11 . J. Baker, C. Bond, J. C. Corbett, J. Furman, A. Khorlin, J. Larson, J.-M. Leon, Y. Li, A. Lloyd, and V. Yushprakh. Megastore: Providing Scalable, Highly Available Storage for Interactive Services. CIDR'11."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806707"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/12518"},{"key":"e_1_3_2_1_16_1","unstructured":"H. Blodget. Amazon's Cloud Crash Disaster Permanently Destroyed Many Customers? Data. http:\/\/www.businessinsider.com\/amazon-lost-data-2011-4 April 2011.  H. Blodget. Amazon's Cloud Crash Disaster Permanently Destroyed Many Customers? Data. http:\/\/www.businessinsider.com\/amazon-lost-data-2011-4 April 2011."},{"key":"e_1_3_2_1_17_1","volume-title":"Tan. Why and Where: A Characterization of Data Provenance. ICDT'01","author":"Buneman P.","unstructured":"P. Buneman , S. Khanna , and W.-c. Tan. Why and Where: A Characterization of Data Provenance. ICDT'01 . P. Buneman, S. Khanna, and W.-c. Tan. Why and Where: A Characterization of Data Provenance. ICDT'01."},{"key":"e_1_3_2_1_18_1","volume-title":"KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. OSDI'08","author":"Cadar C.","unstructured":"C. Cadar , D. Dunbar , and D. Engler . KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. OSDI'08 . C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. OSDI'08."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/234533.234549"},{"key":"e_1_3_2_1_20_1","volume-title":"OSDI'06","author":"Chang F.","unstructured":"F. Chang , J. Dean , S. Ghemawat , W. C. Hsieh , D. A. Wallach , M. Burrows , T. Chandra , A. Fikes , and R. E. Gruber . Bigtable: a Distributed Storage System for Structured Data . OSDI'06 . F. Chang, J. Dean, S. Ghemawat, W. C. Hsieh, D. A. Wallach, M. Burrows, T. Chandra, A. Fikes, and R. E. Gruber. Bigtable: a Distributed Storage System for Structured Data. OSDI'06."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000006"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_24_1","volume-title":"OSDI'12","author":"Corbett J. C.","unstructured":"J. C. Corbett , J. Dean , M. Epstein , A. Fikes , C. Frost , J. J. Furman , S. Ghemawat , A. Gubarev , C. Heiser , P. Hochschild , W. Hsieh , S. Kanthak , E. Kogan , H. Li , A. Lloyd , S. Melnik , D. Mwaura , D. Nagle , S. Quinlan , R. Rao , L. Rolig , Y. Saito , M. Szymaniak , C. Taylor , R. Wang , and D. Woodford . Spanner: Google's Globally-distributed Database . OSDI'12 . J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost, J. J. Furman, S. Ghemawat, A. Gubarev, C. Heiser, P. Hochschild, W. Hsieh, S. Kanthak, E. Kogan, H. Li, A. Lloyd, S. Melnik, D. Mwaura, D. Nagle, S. Quinlan, R. Rao, L. Rolig, Y. Saito, M. Szymaniak, C. Taylor, R. Wang, and D. Woodford. Spanner: Google's Globally-distributed Database. OSDI'12."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/357775.357777"},{"key":"e_1_3_2_1_26_1","volume-title":"FTCS","author":"Dawson S.","year":"1996","unstructured":"S. Dawson , F. Jahanian , and T. Mitton . ORCHESTRA: A Fault Injection Environment for Distributed Systems. Technical report , FTCS , 1996 . S. Dawson, F. Jahanian, and T. Mitton. ORCHESTRA: A Fault Injection Environment for Distributed Systems. Technical report, FTCS, 1996."},{"key":"e_1_3_2_1_27_1","unstructured":"J. Dean. Designs Lessons and Advice from Building Large Distributed Systems. http:\/\/www.cs.cornell.edu\/projects\/ladis2009\/talks\/deankeynoteladis2009.pdf 2009. Ladis'09 Keynote.  J. Dean. Designs Lessons and Advice from Building Large Distributed Systems. http:\/\/www.cs.cornell.edu\/projects\/ladis2009\/talks\/deankeynoteladis2009.pdf 2009. Ladis'09 Keynote."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792763"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1675885"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018477"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/647433.723863"},{"key":"e_1_3_2_1_34_1","volume-title":"Why do computers stop and what can be done about it?","author":"Gray J.","year":"1985","unstructured":"J. Gray . Why do computers stop and what can be done about it? , 1985 . J. Gray. Why do computers stop and what can be done about it?, 1985."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_3_2_1_36_1","volume-title":"FATE and DESTINI: A Framework for Cloud Recovery Testing. NSDI'11","author":"Gunawi H. S.","unstructured":"H. S. Gunawi , T. Do , P. Joshi , P. Alvaro , J. M. Hellerstein , A. C. Arpaci-Dusseau , R. H. Arpaci-Dusseau , K. Sen , and D. Borthakur . FATE and DESTINI: A Framework for Cloud Recovery Testing. NSDI'11 . H. S. Gunawi, T. Do, P. Joshi, P. Alvaro, J. M. Hellerstein, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, K. Sen, and D. Borthakur. FATE and DESTINI: A Framework for Cloud Recovery Testing. NSDI'11."},{"key":"e_1_3_2_1_37_1","unstructured":"S. Han and S. Ratnasamy. Large-scale Computation Not at the Cost of Expressiveness. HotOS'13.   S. Han and S. Ratnasamy. Large-scale Computation Not at the Cost of Expressiveness. HotOS'13."},{"key":"e_1_3_2_1_38_1","unstructured":"M. Herschel M. A. Hern\u00e1ndez and W.-C. Tan. Artemis: A System for Analyzing Missing Answers.  M. Herschel M. A. Hern\u00e1ndez and W.-C. Tan. Artemis: A System for Analyzing Missing Answers."},{"key":"e_1_3_2_1_39_1","volume-title":"Primer and Reference Manual","author":"Holzmann G.","year":"2003","unstructured":"G. Holzmann . The SPIN Model Checker : Primer and Reference Manual . Addison-Wesley Professional , 2003 . G. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453936"},{"key":"e_1_3_2_1_41_1","volume-title":"ZooKeeper: Wait-free Coordination for Internet-scale Systems. USENIX ATC'10","author":"Hunt P.","unstructured":"P. Hunt , M. Konar , F. P. Junqueira , and B. Reed . ZooKeeper: Wait-free Coordination for Internet-scale Systems. USENIX ATC'10 . P. Hunt, M. Konar, F. P. Junqueira, and B. Reed. ZooKeeper: Wait-free Coordination for Internet-scale Systems. USENIX ATC'10."},{"key":"e_1_3_2_1_42_1","volume-title":"CEUR'13","author":"Interlandi M.","unstructured":"M. Interlandi , L. Tanca , and S. Bergamaschi . Datalog in time and space, synchronously . CEUR'13 . M. Interlandi, L. Tanca, and S. Bergamaschi. Datalog in time and space, synchronously. CEUR'13."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958223"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.364536"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807269"},{"key":"e_1_3_2_1_46_1","unstructured":"N. P. Katta J. Rexford and D. Walker. Logic programming for software-defined networks. XLDI'12.  N. P. Katta J. Rexford and D. Walker. Logic programming for software-defined networks. XLDI'12."},{"key":"e_1_3_2_1_47_1","volume-title":"Aspect-oriented Programming. ECOOP'97","author":"Kiczales G.","unstructured":"G. Kiczales , J. Lamping , A. Mendhekar , C. Maeda , C. Lopes , J. marc Loingtier , and J. Irwin . Aspect-oriented Programming. ECOOP'97 . G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. marc Loingtier, and J. Irwin. Aspect-oriented Programming. ECOOP'97."},{"key":"e_1_3_2_1_48_1","volume-title":"NSDI'07","author":"Killian C. E.","unstructured":"C. E. Killian , J. W. Anderson , R. Jhala , and A. Vahdat . Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code . NSDI'07 . C. E. Killian, J. W. Anderson, R. Jhala, and A. Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. NSDI'07."},{"key":"e_1_3_2_1_49_1","unstructured":"K. Kingsbury. Call me maybe: Kafka. http:\/\/aphyr.com\/posts\/293-call-me-maybe-kafka 2013.  K. Kingsbury. Call me maybe: Kafka. http:\/\/aphyr.com\/posts\/293-call-me-maybe-kafka 2013."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32925-8_12"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41660-6_20"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502323.2502326"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095818"},{"key":"e_1_3_2_1_57_1","unstructured":"O. Malik. When the Cloud Fails: T-Mobile Microsoft Lose Sidekick Customer Data. http:\/\/gigaom.com\/2009\/10\/10\/when-cloud-fails-t-mobile-microsoft-losesidekick-customer-data\/ Oct 2009.  O. Malik. When the Cloud Fails: T-Mobile Microsoft Lose Sidekick Customer Data. http:\/\/gigaom.com\/2009\/10\/10\/when-cloud-fails-t-mobile-microsoft-losesidekick-customer-data\/ Oct 2009."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32925-8_14"},{"key":"e_1_3_2_1_59_1","volume-title":"LFI: A practical and general library-level fault injector","author":"Marinescu P. D.","year":"2009","unstructured":"P. D. Marinescu and G. Candea . LFI: A practical and general library-level fault injector . In DSN. IEEE , 2009 . P. D. Marinescu and G. Candea. LFI: A practical and general library-level fault injector. In DSN. IEEE, 2009."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213875"},{"key":"e_1_3_2_1_61_1","volume-title":"Distributed Systems","author":"Mullender S.","year":"1993","unstructured":"S. Mullender , editor. Distributed Systems . Addison-Wesley , second edition, 1993 . S. Mullender, editor. Distributed Systems. Addison-Wesley, second edition, 1993."},{"key":"e_1_3_2_1_62_1","volume-title":"ATEC '06","author":"Muniswamy-Reddy K.-K.","unstructured":"K.-K. Muniswamy-Reddy , D. A. Holland , U. Braun , and M. Seltzer . Provenance-aware storage systems . ATEC '06 . K.-K. Muniswamy-Reddy, D. A. Holland, U. Braun, and M. Seltzer. Provenance-aware storage systems. ATEC '06."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844136"},{"key":"e_1_3_2_1_64_1","volume-title":"Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI'08","author":"Musuvathi M.","unstructured":"M. Musuvathi , S. Qadeer , T. Ball , G. Basler , P. A. Nainar , and I. Neamtiu . Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI'08 . M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI'08."},{"key":"e_1_3_2_1_65_1","volume-title":"Tierless Programming and Reasoning for Software-Defined Networks. NSDI'14","author":"Nelson T.","unstructured":"T. Nelson , M. Scheer , A. Ferguson , and S. Krishnamurthi . Tierless Programming and Reasoning for Software-Defined Networks. NSDI'14 . T. Nelson, M. Scheer, A. Ferguson, and S. Krishnamurthi. Tierless Programming and Reasoning for Software-Defined Networks. NSDI'14."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364579"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/269005.266711"},{"key":"e_1_3_2_1_68_1","volume-title":"Manning Publications Co","author":"Raychaudhuri N.","year":"2013","unstructured":"N. Raychaudhuri . Scala in Action . Manning Publications Co ., 2013 . N. Raychaudhuri. Scala in Action. Manning Publications Co., 2013."},{"key":"e_1_3_2_1_69_1","unstructured":"S. Riddle S. K\u00f6hler and B. Lud\u00e4scher. Towards Constraint Provenance Games. TaPP'14.  S. Riddle S. K\u00f6hler and B. Lud\u00e4scher. Towards Constraint Provenance Games. TaPP'14."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/267959.269969"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693017_25"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007662"},{"key":"e_1_3_2_1_74_1","volume-title":"INRIA","author":"Shapiro M.","year":"2011","unstructured":"M. Shapiro , N. Pregui\u00e7a , C. Baquero , and M. Zawirski . A comprehensive study of Convergent and Commutative Replicated Data Types. Research report , INRIA , 2011 . M. Shapiro, N. Pregui\u00e7a, C. Baquero, and M. Zawirski. A comprehensive study of Convergent and Commutative Replicated Data Types. Research report, INRIA, 2011."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/582318.582339"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234180"},{"key":"e_1_3_2_1_77_1","volume-title":"a play in two acts. Samuel French","author":"Stoppard T.","year":"1993","unstructured":"T. Stoppard . Arcadia : a play in two acts. Samuel French , Inc ., 1993 . T. Stoppard. Arcadia: a play in two acts. Samuel French, Inc., 1993."},{"key":"e_1_3_2_1_78_1","volume-title":"Session Guarantees for Weakly Consistent Replicated Data. PDIS '94","author":"Terry D. B.","unstructured":"D. B. Terry , A. J. Demers , K. Petersen , M. J. Spreitzer , M. M. Theimer , and B. B. Welch . Session Guarantees for Weakly Consistent Replicated Data. PDIS '94 . D. B. Terry, A. J. Demers, K. Petersen, M. J. Spreitzer, M. M. Theimer, and B. B. Welch. Session Guarantees for Weakly Consistent Replicated Data. PDIS '94."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/320071.320076"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213838"},{"key":"e_1_3_2_1_81_1","volume-title":"Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies","author":"Ullman J. D.","year":"1990","unstructured":"J. D. Ullman . Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies . W. H. Freeman & Co. , 1990 . J. D. Ullman. Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies. W. H. Freeman & Co., 1990."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535799"},{"key":"e_1_3_2_1_84_1","volume-title":"CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. NSDI'09","author":"Yabandeh M.","unstructured":"M. Yabandeh , N. Knezevic , D. Kostic , and V. Kuncak . CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. NSDI'09 . M. Yabandeh, N. Knezevic, D. Kostic, and V. Kuncak. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. NSDI'09."},{"key":"e_1_3_2_1_85_1","volume-title":"MODIST: Transparent Model Checking of Unmodified Distributed Systems. NSDI'09","author":"Yang J.","unstructured":"J. Yang , T. Chen , M. Wu , Z. Xu , X. Liu , H. Lin , M. Yang , F. Long , L. Zhang , and L. Zhou . MODIST: Transparent Model Checking of Unmodified Distributed Systems. NSDI'09 . J. Yang, T. Chen, M. Wu, Z. Xu, X. Liu, H. Lin, M. Yang, F. Long, L. Zhang, and L. Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. NSDI'09."},{"key":"e_1_3_2_1_86_1","volume-title":"CHARME '99","author":"Yu Y.","unstructured":"Y. Yu , P. Manolios , and L. Lamport . Model checking tla+ specifications . CHARME '99 . Y. Yu, P. Manolios, and L. Lamport. Model checking tla+ specifications. CHARME '99."},{"key":"e_1_3_2_1_87_1","unstructured":"M. Zaharia T. Das H. Li S. Shenker and I. Stoica. Discretized Streams: an Efficient and Fault-tolerant Model for Stream Processing on Large Clusters. HotCloud'12.   M. Zaharia T. Das H. Li S. Shenker and I. Stoica. Discretized Streams: an Efficient and Fault-tolerant Model for Stream Processing on Large Clusters. HotCloud'12."},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807234"}],"event":{"name":"SIGMOD\/PODS'15: International Conference on Management of Data","location":"Melbourne Victoria Australia","acronym":"SIGMOD\/PODS'15","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723372.2723711","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2723372.2723711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:03:57Z","timestamp":1750273437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723372.2723711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,27]]},"references-count":89,"alternative-id":["10.1145\/2723372.2723711","10.1145\/2723372"],"URL":"https:\/\/doi.org\/10.1145\/2723372.2723711","relation":{},"subject":[],"published":{"date-parts":[[2015,5,27]]},"assertion":[{"value":"2015-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}