{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:28:20Z","timestamp":1750746500619,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"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,10,26]]},"DOI":"10.1145\/3236024.3275438","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"977-979","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Dara: hybrid model checking of distributed systems"],"prefix":"10.1145","author":[{"given":"Vaastav","family":"Anand","sequence":"first","affiliation":[{"name":"University of British Columbia, Canada"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Cyrille Artho Quentin Gros Guillaume Rousset Kazuaki Banzai Lei Ma Takashi Kitamura Masami Hagiya Yoshinori Tanabe and Mitsuharu Yamamoto. 2017.  Cyrille Artho Quentin Gros Guillaume Rousset Kazuaki Banzai Lei Ma Takashi Kitamura Masami Hagiya Yoshinori Tanabe and Mitsuharu Yamamoto. 2017."},{"volume-title":"Verification and Validation (ICST), 2017 IEEE International Conference on. IEEE, 288\u2013298","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","unstructured":"Fletcher Babb. 2015. Amazon\u00e2\u0102\u0179s AWS DynamoDB Experiences Outage Affecting Netflix Reddit Medium and More. en-US. https:\/\/venturebeat.com\/2015\/09\/20\/amazons-aws-outage-takes-down-netflixreddit-medium-and-more\/.  Fletcher Babb. 2015. Amazon\u00e2\u0102\u0179s AWS DynamoDB Experiences Outage Affecting Netflix Reddit Medium and More. en-US. https:\/\/venturebeat.com\/2015\/09\/20\/amazons-aws-outage-takes-down-netflixreddit-medium-and-more\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568246"},{"key":"e_1_3_2_1_5_1","unstructured":"btcsuite. 2013. an alternative full node bitcoin implementation. https:\/\/github.com\/btcsuite\/btcd.  btcsuite. 2013. an alternative full node bitcoin implementation. https:\/\/github.com\/btcsuite\/btcd."},{"key":"e_1_3_2_1_6_1","unstructured":"Coreos. 2013.  Coreos. 2013."},{"key":"e_1_3_2_1_7_1","unstructured":"Distributed reliable key-value store. https:\/\/github.com\/coreos\/etcd.  Distributed reliable key-value store. https:\/\/github.com\/coreos\/etcd."},{"key":"e_1_3_2_1_8_1","unstructured":"Pantazis Deligiannis Matt McCutchen Paul Thomson Shuo Chen Alastair F Donaldson John Erickson Cheng Huang Akash Lal Rashmi Mudduluru Shaz Qadeer etal 2016. Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).. In FAST. 249\u2013262.   Pantazis Deligiannis Matt McCutchen Paul Thomson Shuo Chen Alastair F Donaldson John Erickson Cheng Huang Akash Lal Rashmi Mudduluru Shaz Qadeer et al. 2016. Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).. In FAST. 249\u2013262."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040315"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180199"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972457.1972481"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"e_1_3_2_1_14_1","unstructured":"2043582  2043582"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"volume-title":"Networked Systems Design and Implementation (NSDI)","author":"Killian Charles","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337331"},{"volume-title":"CMC: A tool for compositional model-checking of real-time systems. In Formal Description Techniques and Protocol Specification, Testing and Verification","year":"1998","author":"Laroussinie Fran\u00e7ois","key":"e_1_3_2_1_19_1"},{"volume-title":"SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems.. In OSDI. 399\u2013414.","year":"2014","author":"Leesatapornwongsa Tanakorn","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"Friedemann Mattern. 1989. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms. 215\u2013226.  Friedemann Mattern. 1989. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms. 215\u2013226."},{"key":"e_1_3_2_1_22_1","first-page":"267","article-title":"Finding and Reproducing Heisenbugs in Concurrent Programs","volume":"8","author":"Musuvathi Madanlal","year":"2008","journal-title":"OSDI"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"volume-title":"USENIX Annual Technical Conference. 305\u2013319","year":"2014","author":"Ongaro Diego","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","unstructured":"Shannon Vavra. 2017. Amazon outage cost S&P 500 companies $150M. https:\/\/www.axios.com\/amazon-outage-cost-sp-500-companies-150m- 1513300728-aaff3a9e-d5de-4700-aded-55614cf7852c.html.  Shannon Vavra. 2017. Amazon outage cost S&P 500 companies $150M. https:\/\/www.axios.com\/amazon-outage-cost-sp-500-companies-150m- 1513300728-aaff3a9e-d5de-4700-aded-55614cf7852c.html."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"volume-title":"The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u00e2\u0102\u017909)","year":"2009","author":"Yabandeh Maysam","key":"e_1_3_2_1_27_1"},{"volume-title":"MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI","year":"2009","author":"Yang Junfeng","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","unstructured":"USENIX Association 16. http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558992 Abstract 1 BACKGROUND & MOTIVATION 2 APPROACH 3 EVALUATION & FUTURE WORK 4 CONCLUSION REFERENCES  USENIX Association 16. http:\/\/dl.acm.org\/citation.cfm?id=1558977.1558992 Abstract 1 BACKGROUND & MOTIVATION 2 APPROACH 3 EVALUATION & FUTURE WORK 4 CONCLUSION REFERENCES"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3275438","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3275438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:40Z","timestamp":1750207420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3275438"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":29,"alternative-id":["10.1145\/3236024.3275438","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3275438","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}