{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:26Z","timestamp":1750220846905,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T00:00:00Z","timestamp":1571788800000},"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":[[2019,10,23]]},"DOI":"10.1145\/3359591.3359733","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"94-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["GoTcha: an interactive debugger for GoT-based distributed systems"],"prefix":"10.1145","author":[{"given":"Rohan","family":"Achar","sequence":"first","affiliation":[{"name":"University of California at Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pritha","family":"Dawn","sequence":"additional","affiliation":[{"name":"University of California at Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina V.","family":"Lopes","sequence":"additional","affiliation":[{"name":"University of California at Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Lopes","author":"Achar Rohan","year":"2019","unstructured":"Rohan Achar and Cristina V . Lopes . 2019 . Got : Git, but for Objects. arXiv e-prints, Article arXiv:1904.06584 (Apr 2019), arXiv:1904.06584 pages. arXiv: cs.PL\/1904.06584 Rohan Achar and Cristina V. Lopes. 2019. Got: Git, but for Objects. arXiv e-prints, Article arXiv:1904.06584 (Apr 2019), arXiv:1904.06584 pages. arXiv: cs.PL\/1904.06584"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909480"},{"volume-title":"Semantics of Concurrent Revisions","author":"Burckhardt Sebastian","key":"e_1_3_2_2_3_1","unstructured":"Sebastian Burckhardt and Daan Leijen . 2011. Semantics of Concurrent Revisions . In Programming Languages and Systems, Gilles Barthe (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 116\u2013135. Sebastian Burckhardt and Daan Leijen. 2011. Semantics of Concurrent Revisions. In Programming Languages and Systems, Gilles Barthe (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 116\u2013135."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2015.568"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882951"},{"volume-title":"Tracing Distributed Component-Based Systems, a Brief Overview","author":"Falcone Yli\u00e8s","key":"e_1_3_2_2_6_1","unstructured":"Yli\u00e8s Falcone , Hosein Nazarpour , Mohamad Jaber , Marius Bozga , and Saddek Bensalem . 2018. Tracing Distributed Component-Based Systems, a Brief Overview . In Runtime Verification, Christian Colombo and Martin Leucker (Eds.). Springer International Publishing , Cham , 417\u2013425. Yli\u00e8s Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, and Saddek Bensalem. 2018. Tracing Distributed Component-Based Systems, a Brief Overview. In Runtime Verification, Christian Colombo and Martin Leucker (Eds.). Springer International Publishing, Cham, 417\u2013425."},{"key":"e_1_3_2_2_7_1","volume-title":"Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA","author":"Farinier Benjamin","year":"2015","unstructured":"Benjamin Farinier , Thomas Gazagnaire , and Anil Madhavapeddy . 2015. Mergeable persistent data structures . In Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2015 ), David Baelde and Jade Alglave (Eds.). Le Val d\u2019Ajol, France . https:\/\/hal.inria.fr\/hal-01099136 Benjamin Farinier, Thomas Gazagnaire, and Anil Madhavapeddy. 2015. Mergeable persistent data structures. In Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2015), David Baelde and Jade Alglave (Eds.). Le Val d\u2019Ajol, France. https:\/\/hal.inria.fr\/hal-01099136"},{"volume-title":"Execution anomaly detection in distributed systems through unstructured log analysis. In 2009 ninth IEEE international conference on data mining","author":"Fu Qiang","key":"e_1_3_2_2_8_1","unstructured":"Qiang Fu , Jian-Guang Lou , Yi Wang , and Jiang Li. 2009. Execution anomaly detection in distributed systems through unstructured log analysis. In 2009 ninth IEEE international conference on data mining . IEEE , 149\u2013158. Qiang Fu, Jian-Guang Lou, Yi Wang, and Jiang Li. 2009. Execution anomaly detection in distributed systems through unstructured log analysis. In 2009 ninth IEEE international conference on data mining. IEEE, 149\u2013158."},{"key":"e_1_3_2_2_9_1","first-page":"285","article-title":"Friday: Global Comprehension for Distributed Replay","volume":"7","author":"Geels Dennis","year":"2007","unstructured":"Dennis Geels , Gautam Altekar , Petros Maniatis , Timothy Roscoe , and Ion Stoica . 2007 . Friday: Global Comprehension for Distributed Replay .. In NSDI , Vol. 7. 285 \u2013 298 . Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, and Ion Stoica. 2007. Friday: Global Comprehension for Distributed Replay.. In NSDI, Vol. 7. 285\u2013298.","journal-title":"NSDI"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.DISC.2017.23"},{"volume-title":"The SPARC architecture manual","author":"International Inc SPARC","key":"e_1_3_2_2_12_1","unstructured":"SPARC International Inc and David L Weaver . 1994. The SPARC architecture manual . Prentice-Hall . SPARC International Inc and David L Weaver. 1994. The SPARC architecture manual. Prentice-Hall."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.14778\/2095686.2095689"},{"key":"e_1_3_2_2_14_1","unstructured":"Xuezheng Liu Zhenyu Guo Xi Wang Feibo Chen Xiaochen Lian Jian Tang Ming Wu M Frans Kaashoek and Zheng Zhang. 2008. D3S: Debugging deployed distributed systems. (2008).  Xuezheng Liu Zhenyu Guo Xi Wang Feibo Chen Xiaochen Lian Jian Tang Ming Wu M Frans Kaashoek and Zheng Zhang. 2008. D3S: Debugging deployed distributed systems. (2008)."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208104"},{"key":"e_1_3_2_2_16_1","unstructured":"Robert David Schiffenbauer. 1981. INTERACTIVE DEBUGGING IN A DIS-TRIBUTED COMPUTATIONAL. (1981).  Robert David Schiffenbauer. 1981. INTERACTIVE DEBUGGING IN A DIS-TRIBUTED COMPUTATIONAL. (1981)."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088802"},{"volume-title":"Stabilization, Safety, and Security of Distributed Systems, Xavier D\u00e9fago","author":"Shapiro Marc","key":"e_1_3_2_2_18_1","unstructured":"Marc Shapiro , Nuno Pregui\u00e7a , Carlos Baquero , and Marek Zawirski . 2011. Conflict-Free Replicated Data Types . In Stabilization, Safety, and Security of Distributed Systems, Xavier D\u00e9fago , Franck Petit, and Vincent Villain (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 386\u2013400. Marc Shapiro, Nuno Pregui\u00e7a, Carlos Baquero, and Marek Zawirski. 2011. Conflict-Free Replicated Data Types. In Stabilization, Safety, and Security of Distributed Systems, Xavier D\u00e9fago, Franck Petit, and Vincent Villain (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 386\u2013400."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35567-2_7"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3803"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_2_22_1","volume-title":"Anderson","author":"Woos Doug","year":"2018","unstructured":"Doug Woos , Zachary Tatlock , Michael D. Ernst , and Thomas E . Anderson . 2018 . A Graphical Interactive Debugger for Distributed Systems. CoRR abs\/1806.05300 (2018). arXiv: 1806.05300 http:\/\/arxiv.org\/abs\/1806.05300 Doug Woos, Zachary Tatlock, Michael D. Ernst, and Thomas E. Anderson. 2018. A Graphical Interactive Debugger for Distributed Systems. CoRR abs\/1806.05300 (2018). arXiv: 1806.05300 http:\/\/arxiv.org\/abs\/1806.05300"},{"key":"e_1_3_2_2_23_1","volume-title":"MODIST: Transparent model checking of unmodified distributed systems.","author":"Yang Junfeng","year":"2009","unstructured":"Junfeng Yang , Tisheng Chen , Ming Wu , Zhilei Xu , Xuezheng Liu , Haoxiang Lin , Mao Yang , Fan Long , Lintao Zhang , and Lidong Zhou . 2009 . MODIST: Transparent model checking of unmodified distributed systems. (2009). Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. 2009. MODIST: Transparent model checking of unmodified distributed systems. (2009)."}],"event":{"name":"SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"SPLASH '19"},"container-title":["Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359591.3359733","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359591.3359733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:06Z","timestamp":1750202586000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359591.3359733"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,23]]},"references-count":22,"alternative-id":["10.1145\/3359591.3359733","10.1145\/3359591"],"URL":"https:\/\/doi.org\/10.1145\/3359591.3359733","relation":{},"subject":[],"published":{"date-parts":[[2019,10,23]]},"assertion":[{"value":"2019-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}