{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:10:10Z","timestamp":1775873410900,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"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,5,27]]},"DOI":"10.1145\/3180155.3180199","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"1149-1159","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Inferring and asserting distributed system invariants"],"prefix":"10.1145","author":[{"given":"Stewart","family":"Grant","sequence":"first","affiliation":[{"name":"University of British Columbia, Vancouver, BC, Canada"}]},{"given":"Hendrik","family":"Cech","sequence":"additional","affiliation":[{"name":"University of Bamberg, Bamberg, Germany"}]},{"given":"Ivan","family":"Beschastnikh","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, BC, Canada"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1990.89327"},{"key":"e_1_3_2_1_2_1","volume-title":"cloc: Count Lines of Code. https:\/\/github.com\/AlDanial\/cloc","year":"2016","unstructured":"AlDanial. cloc: Count Lines of Code. https:\/\/github.com\/AlDanial\/cloc, 2016."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1995.1098"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/261193"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568246"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094091.2094101"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909480"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970352"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122774"},{"key":"e_1_3_2_1_13_1","volume-title":"A Distributed init System. https:\/\/github.com\/coreos\/fleet","author":"OS.","year":"2013","unstructured":"CoreOS. A Distributed init System. https:\/\/github.com\/coreos\/fleet, 2013."},{"key":"e_1_3_2_1_14_1","volume-title":"Distributed reliable key-value store for the most critical data of a distributed system. https:\/\/github.com\/coreos\/etcd","author":"OS.","year":"2013","unstructured":"CoreOS. Distributed reliable key-value store for the most critical data of a distributed system. https:\/\/github.com\/coreos\/etcd, 2013."},{"key":"e_1_3_2_1_15_1","volume-title":"Reboot manager for the CoreOS update engine. https:\/\/github.com\/coreos\/locksmith","author":"OS.","year":"2014","unstructured":"CoreOS. Reboot manager for the CoreOS update engine. https:\/\/github.com\/coreos\/locksmith, 2014."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.738420"},{"key":"e_1_3_2_1_17_1","unstructured":"Dinv homepage. https:\/\/bitbucket.org\/bestchai\/dinv\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043585"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_20_1","volume-title":"https:\/\/github.com\/golang\/groupcache","author":"B. Fitzpatrick. Group","year":"2014","unstructured":"B. Fitzpatrick. Groupcache. https:\/\/github.com\/golang\/groupcache, 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35668-1_17"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1973430.1973451"},{"key":"e_1_3_2_1_23_1","volume-title":"Automatic invariant detection in dynamic web applications. Technical report","author":"Groeneveld F.","year":"2010","unstructured":"F. Groeneveld, A. Mesbah, and A. Van Deursen. Automatic invariant detection in dynamic web applications. Technical report, Delft University of Technology, Software Engineering Research Group, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.29484"},{"key":"e_1_3_2_1_25_1","volume-title":"Service orchestration and management tool. https:\/\/www.serf.io\/docs\/internals\/gossip.html","year":"2014","unstructured":"Hashicorp. Service orchestration and management tool. https:\/\/www.serf.io\/docs\/internals\/gossip.html, 2014."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_27_1","volume-title":"https:\/\/github.com\/jackpal\/Taipei-Torrent","year":"2010","unstructured":"Jackpal. A(nother) Bittorrent client written in the go programming language. https:\/\/github.com\/jackpal\/Taipei-Torrent, 2010."},{"key":"e_1_3_2_1_28_1","unstructured":"R. A. Jeff Overbey. Go Doctor - The Golang Refactoring Engine. http:\/\/gorefactor.org\/index.html 2014."},{"key":"e_1_3_2_1_29_1","volume-title":"https:\/\/github.com\/nictuku\/dht","author":"Junqueira Y","year":"2012","unstructured":"Y Junqueira. Kademlia\/Mainline DHT node in Go. https:\/\/github.com\/nictuku\/dht, 2012."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2482626.2482630"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1973430.1973448"},{"key":"e_1_3_2_1_32_1","unstructured":"Kubernetes. Production-Grade Container Scheduling and Management. http:\/\/kubernetes.io\/ 2014."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337331"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818855"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1387589.1387619"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1973430.1973449"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1740390.1740411"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815415"},{"key":"e_1_3_2_1_39_1","first-page":"215","volume-title":"Parallel and Distributed Algorithms","author":"Mattern F.","year":"1989","unstructured":"F. Mattern. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms, pages 215--226, 1989."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/646334.687801"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0126-5"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2643634.2643666"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/390011.808263"},{"key":"e_1_3_2_1_44_1","first-page":"199","volume-title":"CMU Computer Science: a 25th Anniversary Commemorative","author":"Ousterhout J. K.","year":"1991","unstructured":"J. K. Ousterhout. The Role of Distributed State. In In CMU Computer Science: a 25th Anniversary Commemorative, pages 199--217. ACM Press, 1991."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267680.1267689"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/1602165.1602196"},{"key":"e_1_3_2_1_47_1","volume-title":"http:\/\/fmv.jku.at\/runlim\/","year":"2016","unstructured":"RunLim. RunLim. http:\/\/fmv.jku.at\/runlim\/, 2016."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972457.1972463"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158116"},{"key":"e_1_3_2_1_51_1","volume-title":"Google","author":"Sigelman B. H.","year":"2010","unstructured":"B. H. Sigelman, L. A. Barroso, M. Burrows, P. Stephenson, M. Plakal, D. Beaver, S. Jaspan, and C. Shanbhag. Dapper, a large-scale distributed systems tracing infrastructure. Technical report, Google, Inc., 2010."},{"key":"e_1_3_2_1_52_1","volume-title":"Roper. The Java System Dependence Graph. In International Workshop on Source Code Analysis and Manipulation (SCAM)","author":"Walkinshaw N.","year":"2003","unstructured":"N. Walkinshaw, M. Roper, M. Wood, and N. W. M. Roper. The Java System Dependence Graph. In International Workshop on Source Code Analysis and Manipulation (SCAM), 2003."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381842"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2011.29"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/1558977.1558992"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185376.2185383"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685099"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180199","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:19Z","timestamp":1750208899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180199"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":59,"alternative-id":["10.1145\/3180155.3180199","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180199","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}