{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:13Z","timestamp":1763467933598,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642007217"},{"type":"electronic","value":"9783642007224"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00722-4_8","type":"book-chapter","created":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T21:00:16Z","timestamp":1238101216000},"page":"94-108","source":"Crossref","is-referenced-by-count":14,"title":["Live Debugging of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Darren","family":"Dao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeannie","family":"Albrecht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Killian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amin","family":"Vahdat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Killian, C.E., Anderson, J.W., Braud, R., Jhala, R., Vahdat, A.M.: Mace: Language Support for Building Distributed Systems. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2007)","DOI":"10.1145\/1250734.1250755"},{"key":"8_CR2","unstructured":"Killian, C.E., Anderson, J.W., Jhala, R., Vahdat, A.: Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In: Proceedings of the ACM\/USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2007)"},{"key":"8_CR3","unstructured":"Kindler, E.: Safety and Liveness Properties: A Survey. Bulletin of the European Association for Theoretical Computer Science\u00a053 (1994)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/3-540-45518-3_18","volume-title":"Middleware 2001","author":"A. Rowstron","year":"2001","unstructured":"Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol.\u00a02218, p. 329. Springer, Heidelberg (2001)"},{"key":"8_CR5","unstructured":"Percival, C.: Naive Differences of Executable Code (2003)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21(7) (1978)","DOI":"10.1145\/359545.359563"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Stoica, I., Morris, R., Liben-Nowell, D., Karger, D.R., Kaashoek, M.F., Dabek, F., Balakrishnan, H.: Chord: A Scalable Peer-to-Peer Lookup Protocol for Internet Applications. IEEE\/ACM Transactions on Networking\u00a011(1) (2003)","DOI":"10.1109\/TNET.2002.808407"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Rowstron, A.I.T., Kermarrec, A.-M., Castro, M., Druschel, P.: SCRIBE: The Design of a Large-Scale Event Notification Infrastructure. In: Networked Group Communication (2001)","DOI":"10.1007\/3-540-45546-9_3"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Castro, M., Druschel, P., Kermarrec, A.-M., Nandi, A., Rowstron, A., Singh, A.: SplitStream: High-Bandwidth Multicast in Cooperative Environments. In: Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) (2003)","DOI":"10.1145\/945445.945474"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Lamport: The Part-Time Parliament. ACM Transactions on Computer Systems\u00a016 (1998)","DOI":"10.1145\/279227.279229"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Kosti\u0107, D., Rodriguez, A., Albrecht, J., Vahdat, A.: Bullet: High Bandwidth Data Dissemination Using an Overlay Mesh. In: Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) (2003)","DOI":"10.1145\/945472.945473"},{"key":"8_CR12","unstructured":"Kosti\u0107, D., Rodriguez, A., Albrecht, J., Bhirud, A., Vahdat, A.: Using Random Subsets to Build Scalable Network Services. In: Proceedings of the USENIX Symposium on Internet Technologies and Systems (USITS) (2003)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Vahdat, A., Yocum, K., Walsh, K., Mahadevan, P., Kosti\u0107, D., Chase, J., Becker, D.: Scalability and Accuracy in a Large-scale Network Emulator. In: Proceedings of the ACM\/USENIX Symposium on Operating System Design and Implementation (OSDI) (2002)","DOI":"10.1145\/1060289.1060315"},{"key":"8_CR14","unstructured":"Geels, D., Altekar, G., Maniatis, P., Roscoe, T., Stoica, I.: Friday: Global Comprehension for Distributed Replay. In: Proceedings of the ACM\/USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2007)"},{"key":"8_CR15","unstructured":"Reynolds, P., Killian, C.E., Wiener, J.L., Mogul, J.C., Shah, M.A., Vahdat, A.: Pip: Detecting the Unexpected in Distributed Systems. In: Proceedings of the ACM\/USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2006)"},{"key":"8_CR16","unstructured":"Liu, X., Guo, Z., Wang, X., Chen, F., Lian, X., Tang, J., Wu, M., Kaashoek, M.F., Zhang, Z.: D3S: Debugging Deployed Distributed Systems. In: Proceedings of the ACM\/USENIX Symposium on Networked Systems Design and Implementation (NSDI) (2008)"},{"key":"8_CR17","unstructured":"Yabandeh, M., Kne\u017eevi\u0107, N., Kosti\u0107, D., Kuncak, V.: CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. Technical report, School of Computer and Communication Sciences, EPFL, Switzerland (2008)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00722-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T23:51:16Z","timestamp":1558223476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00722-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642007217","9783642007224"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00722-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}