{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T00:48:19Z","timestamp":1772930899528,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2014,5,31]]},"DOI":"10.1145\/2568225.2568246","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"468-479","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":132,"title":["Inferring models of concurrent systems from logs of their behavior with CSight"],"prefix":"10.1145","author":[{"given":"Ivan","family":"Beschastnikh","sequence":"first","affiliation":[{"name":"University of British Columbia, Canada"}]},{"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[{"name":"University of Massachusetts, USA"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Arvind","family":"Krishnamurthy","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945454"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90041-0"},{"key":"e_1_3_2_1_6_1","volume-title":"Networked Systems Design and Implementation (NSDI)","author":"Barham Paul","year":"2004","unstructured":"Paul Barham , Austin Donnelly , Rebecca Isaacs , and Richard Mortier . Using magpie for request extraction and workload modelling . In Networked Systems Design and Implementation (NSDI) , San Francisco, CA, USA , 2004 . Paul Barham, Austin Donnelly, Rebecca Isaacs, and Richard Mortier. Using magpie for request extraction and workload modelling. In Networked Systems Design and Implementation (NSDI), San Francisco, CA, USA, 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486822"},{"key":"e_1_3_2_1_8_1","volume-title":"Univ. of British Columbia","author":"Beschastnikh Ivan","year":"2014","unstructured":"Ivan Beschastnikh , Yuriy Brun , Michael D. Ernst , and Arvind Krishnamurthy . Inferring Models of Networked Systems from Logs of their Behavior with CSight. Technical report, http:\/\/hdl.handle.net\/2429\/46122 , Univ. of British Columbia , 2014 . Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, and Arvind Krishnamurthy. Inferring Models of Networked Systems from Logs of their Behavior with CSight. Technical report, http:\/\/hdl.handle.net\/2429\/46122, Univ. of British Columbia, 2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094091.2094101"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(75)90261-2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.89"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/45.2.162"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647769.734089"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2003.10.005"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181800"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00722-4_8"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070544"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146266"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_25_1","first-page":"66","volume-title":"the Australian Computer Science Conference","author":"Fidge Colin J.","year":"1988","unstructured":"Colin J. Fidge . Timestamps in Message-Passing Systems that Preserve the Partial Ordering . In the Australian Computer Science Conference , pages 55\u2013 66 , University of Queensland, Australia , 1988 . Colin J. Fidge. Timestamps in Message-Passing Systems that Preserve the Partial Ordering. In the Australian Computer Science Conference, pages 55\u201366, University of Queensland, Australia, 1988."},{"key":"e_1_3_2_1_26_1","volume-title":"Networked Systems Design and Implementation (NSDI)","author":"Fonseca Rodrigo","year":"2007","unstructured":"Rodrigo Fonseca , George Porter , Randy H. Katz , Scott Shenker , and Ion Stoica . X-Trace : A Pervasive Network Tracing Framework . In Networked Systems Design and Implementation (NSDI) , Cambridge, MA, USA , 2007 . Rodrigo Fonseca, George Porter, Randy H. Katz, Scott Shenker, and Ion Stoica. X-Trace: A Pervasive Network Tracing Framework. In Networked Systems Design and Implementation (NSDI), Cambridge, MA, USA, 2007."},{"key":"e_1_3_2_1_27_1","volume-title":"Networked Systems Design and Implementation (NSDI)","author":"Geels Dennis","year":"2007","unstructured":"Dennis Geels , Gautam Altekar , Petros Maniatis , Timothy Roscoe , and Ion Stoica . Friday : Global Comprehension for Distributed Replay . In Networked Systems Design and Implementation (NSDI) , Cambridge, MA, USA , 2007 . Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, and Ion Stoica. Friday: Global Comprehension for Distributed Replay. In Networked Systems Design and Implementation (NSDI), Cambridge, MA, USA, 2007."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568234"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940106"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"e_1_3_2_1_31_1","first-page":"3393","article-title":"Generating Statechart Models from Scenario-Based Requirements","author":"Harel David","year":"2005","unstructured":"David Harel , Hillel Kugler , and Amir Pnueli . Synthesis Revisited : Generating Statechart Models from Scenario-Based Requirements . Formal Methods in Software and Systems Modeling , 3393 , 2005 . David Harel, Hillel Kugler, and Amir Pnueli. Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling, 3393, 2005.","journal-title":"Formal Methods in Software and Systems Modeling"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_11"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_34"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2005.42"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595756"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985807"},{"key":"e_1_3_2_1_38_1","volume-title":"David Lo. Inferring Class Level Specifications for Distributed Systems. In the International Conference on Software Engineering (ICSE)","author":"Kumar Sandeep","year":"2012","unstructured":"Sandeep Kumar , Siau-Cheng Khoo , Abhik Roychoudhury , and David Lo. Inferring Class Level Specifications for Distributed Systems. In the International Conference on Software Engineering (ICSE) , Zurich, Switzerland , 2012 . Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, and David Lo. Inferring Class Level Specifications for Distributed Systems. In the International Conference on Software Engineering (ICSE), Zurich, Switzerland, 2012."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007540"},{"key":"e_1_3_2_1_41_1","volume-title":"Networked Systems Design and Implementation (NSDI)","author":"Liu Xuezheng","year":"2008","unstructured":"Xuezheng Liu , Zhenyu Guo , Xi Wang , Feibo Chen , Xiaochen Lian , Jian Tang , Ming Wu , M. Frans Kaashoek , and Zheng Zhang . D3S : Debugging Deployed Distributed Systems . In Networked Systems Design and Implementation (NSDI) , San Francisco, CA, USA , 2008 . Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, and Zheng Zhang. D3S: Debugging Deployed Distributed Systems. In Networked Systems Design and Implementation (NSDI), San Francisco, CA, USA, 2008."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_44_1","volume-title":"the USENIX Annual Technical Conference (ATC)","author":"Lou Jian G.","year":"2010","unstructured":"Jian G. Lou , Qiang Fu , Shengqi Yang , Ye Xu , and Jiang Li . Mining Invariants from Console Logs for System Problem Detection . In the USENIX Annual Technical Conference (ATC) , Boston, MA, USA , 2010 . Jian G. Lou, Qiang Fu, Shengqi Yang, Ye Xu, and Jiang Li. Mining Invariants from Console Logs for System Problem Detection. In the USENIX Annual Technical Conference (ATC), Boston, MA, USA, 2010."},{"key":"e_1_3_2_1_45_1","first-page":"226","volume-title":"Mattern. Virtual Time and Global States of Distributed Systems. In the International Workshop on Parallel and Distributed Algorithms","author":"Friedemann","year":"1989","unstructured":"Friedemann Mattern. Virtual Time and Global States of Distributed Systems. In the International Workshop on Parallel and Distributed Algorithms , pages 215\u2013 226 , Gers, France , 1989 . Friedemann Mattern. Virtual Time and Global States of Distributed Systems. In the International Workshop on Parallel and Distributed Algorithms, pages 215\u2013226, Gers, France, 1989."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591107"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138042"},{"key":"e_1_3_2_1_49_1","volume-title":"Reiss and Manos Renieris. Encoding Program Executions. In the International Conference on Software Engineering (ICSE)","author":"Steven","year":"2001","unstructured":"Steven P. Reiss and Manos Renieris. Encoding Program Executions. In the International Conference on Software Engineering (ICSE) , Toronto, ON, Canada , 2001 . Steven P. Reiss and Manos Renieris. Encoding Program Executions. In the International Conference on Software Engineering (ICSE), Toronto, ON, Canada, 2001."},{"key":"e_1_3_2_1_50_1","volume-title":"Networked Systems Design and Implementation (NSDI)","author":"Reynolds Patrick","year":"2006","unstructured":"Patrick Reynolds , Charles Killian , Janet L. Wiener , Jeffrey C. Mogul , Mehul A. Shah , and Amin Vahdat . Pip : Detecting the Unexpected in Distributed Systems . In Networked Systems Design and Implementation (NSDI) , San Jose, CA, USA , 2006 . Patrick Reynolds, Charles Killian, Janet L. Wiener, Jeffrey C. Mogul, Mehul A. Shah, and Amin Vahdat. Pip: Detecting the Unexpected in Distributed Systems. In Networked Systems Design and Implementation (NSDI), San Jose, CA, USA, 2006."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/251007.251012"},{"key":"e_1_3_2_1_52_1","volume-title":"Networked Systems Design and Implementation (NSDI)","author":"Sambasivan Raja R.","year":"2011","unstructured":"Raja R. Sambasivan , Alice X. Zheng , Michael De Rosa , Elie Krevat , Spencer Whitman , Michael Stroucken , William Wang , Lianghong Xu , and Gregory R. Ganger . Diagnosing Performance Changes by Comparing Request Fows . In Networked Systems Design and Implementation (NSDI) , Boston, MA, USA , 2011 . Raja R. Sambasivan, Alice X. Zheng, Michael De Rosa, Elie Krevat, Spencer Whitman, Michael Stroucken, William Wang, Lianghong Xu, and Gregory R. Ganger. Diagnosing Performance Changes by Comparing Request Fows. In Networked Systems Design and Implementation (NSDI), Boston, MA, USA, 2011."},{"key":"e_1_3_2_1_53_1","volume-title":"Subhlok and Qiang Xu. Automatic Construction of Coordinated Performance Skeletons. In the International Parallel & Distributed Processing Symposium (IPDPS)","author":"Jaspal","year":"2008","unstructured":"Jaspal Subhlok and Qiang Xu. Automatic Construction of Coordinated Performance Skeletons. In the International Parallel & Distributed Processing Symposium (IPDPS) , Miami, FL, USA , 2008 . Jaspal Subhlok and Qiang Xu. Automatic Construction of Coordinated Performance Skeletons. In the International Parallel & Distributed Processing Symposium (IPDPS), Miami, FL, USA, 2008."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/1942194"},{"key":"e_1_3_2_1_55_1","volume-title":"Springer Berlin Heidelberg","author":"Ural Hasan","year":"2004","unstructured":"Hasan Ural and H\u00fcsn\u00fc Yenig\u00fcn . Towards Design Recovery from Observations, volume 3235, chapter 9, pages 133\u2013149 . Springer Berlin Heidelberg , 2004 . Hasan Ural and H\u00fcsn\u00fc Yenig\u00fcn. Towards Design Recovery from Observations, volume 3235, chapter 9, pages 133\u2013149. Springer Berlin Heidelberg, 2004."},{"key":"e_1_3_2_1_56_1","volume-title":"http:\/\/project-voldemort.com","year":"2013","unstructured":"Voldemort. http:\/\/project-voldemort.com , 2013 . Voldemort. http:\/\/project-voldemort.com, 2013."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"e_1_3_2_1_58_1","volume-title":"Networked Systems Design and Implementation (NSDI)","author":"Yabandeh Maysam","year":"2009","unstructured":"Maysam Yabandeh , Nikola Knezevic , Dejan Kostic , and Viktor Kuncak . CrystalBall : predicting and preventing inconsistencies in deployed distributed systems . In Networked Systems Design and Implementation (NSDI) , Boston, MA, USA , 2009 . Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, and Viktor Kuncak. CrystalBall: predicting and preventing inconsistencies in deployed distributed systems. In Networked Systems Design and Implementation (NSDI), Boston, MA, USA, 2009."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","location":"Hyderabad India","acronym":"ICSE '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568246","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568246","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:30Z","timestamp":1750234230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568246"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":59,"alternative-id":["10.1145\/2568225.2568246","10.1145\/2568225"],"URL":"https:\/\/doi.org\/10.1145\/2568225.2568246","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}