{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:34:38Z","timestamp":1776785678455,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,6,10]],"date-time":"2007-06-10T00:00:00Z","timestamp":1181433600000},"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":[[2007,6,10]]},"DOI":"10.1145\/1250734.1250755","type":"proceedings-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T12:07:37Z","timestamp":1189771657000},"page":"179-188","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":99,"title":["Mace"],"prefix":"10.1145","author":[{"given":"Charles Edwin","family":"Killian","sequence":"first","affiliation":[{"name":"University of California: San Diego, La Jolla, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James W.","family":"Anderson","sequence":"additional","affiliation":[{"name":"University of California: San Diego, La Jolla, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Braud","sequence":"additional","affiliation":[{"name":"University of California: San Diego, La Jolla, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranjit","family":"Jhala","sequence":"additional","affiliation":[{"name":"University of California: San Diego, La Jolla, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amin M.","family":"Vahdat","sequence":"additional","affiliation":[{"name":"University of California: San Diego, La Jolla, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Freepastry: an open-source implementation of pastry intended for deployment in the internet. http:\/\/freepastry.rice.edu 2006.  Freepastry: an open-source implementation of pastry intended for deployment in the internet. http:\/\/freepastry.rice.edu 2006."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945454"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.4650"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. HotOS","author":"BARHAM P. T.","year":"2003","unstructured":"BARHAM , P. T. , ISAACS , R. , MORTIER , R. , AND NARAYANAN , D. Magpie : Online modelling and performance-aware systems . In Proc. HotOS ( 2003 ). BARHAM, P. T., ISAACS, R., MORTIER, R., AND NARAYANAN, D. Magpie: Online modelling and performance-aware systems. In Proc. HotOS (2003)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90084-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945474"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.738238"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015467.1015471"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502054"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266642"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_14_1","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"HOLZMANN G.","year":"2003","unstructured":"HOLZMANN , G. The Spin Model Checker: Primer and Reference Manual . Addison-Wesley , 2003 . HOLZMANN, G. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. OSDI","author":"JANNOTTI J.","year":"2000","unstructured":"JANNOTTI , J. , GIFFORD , D. K. , JOHNSON , K. L. , KAASHOEK , M. F. , AND JAMES W. O'TOOLE , J. Overcast : Reliable multicasting with an overlay network . In Proc. OSDI ( 2000 ). JANNOTTI, J., GIFFORD, D. K., JOHNSON, K. L., KAASHOEK, M. F., AND JAMES W. O'TOOLE, J. Overcast: Reliable multicasting with an overlay network. In Proc. OSDI (2000)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242420"},{"key":"e_1_3_2_1_17_1","volume-title":"NSDI","author":"KILLIAN C.","year":"2007","unstructured":"KILLIAN , C. , ANDERSON , J. W. , JHALA , R. , AND VAHDAT , A. Life , death, and the critical transition: Detecting liveness bugs in systems code . In NSDI ( 2007 ). KILLIAN, C., ANDERSON, J. W., JHALA, R., AND VAHDAT, A. Life, death, and the critical transition: Detecting liveness bugs in systems code. In NSDI (2007)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/316188.316200"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. USENIX Tech","author":"KOSTI\u00ddC D.","year":"2005","unstructured":"KOSTI\u00ddC , D. , BRAUD , R. , KILLIAN , C. , VANDEKIEFT , E. , ANDERSON , J. W. , SNOEREN , A. C. , AND VAHDAT , A. Maintaining high bandwidth under dynamic network conditions . In Proc. USENIX Tech ( Anaheim, CA , Apr. 2005 ). KOSTI\u00ddC, D., BRAUD, R., KILLIAN, C., VANDEKIEFT, E., ANDERSON, J. W., SNOEREN, A. C., AND VAHDAT, A. Maintaining high bandwidth under dynamic network conditions. In Proc. USENIX Tech (Anaheim, CA, Apr. 2005)."},{"key":"e_1_3_2_1_21_1","volume-title":"Specifying Systems: the Tla+ Language and Tools for Hardware and Software Engineers","author":"LAMPORT L.","year":"2002","unstructured":"LAMPORT , L. Specifying Systems: the Tla+ Language and Tools for Hardware and Software Engineers . Addison-Wesley , 2002 . LAMPORT, L. Specifying Systems: the Tla+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095818"},{"key":"e_1_3_2_1_24_1","volume-title":"Distributed Algorithms. Morgan Kaufmann","author":"LYNCH N.","year":"1996","unstructured":"LYNCH , N. Distributed Algorithms. Morgan Kaufmann , 1996 . LYNCH, N. Distributed Algorithms. Morgan Kaufmann, 1996."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. USENIX Tech","author":"MAZIERES D.","year":"2001","unstructured":"MAZIERES , D. A toolkit for user-level file systems . In Proc. USENIX Tech ( 2001 ). MAZIERES, D. A toolkit for user-level file systems. In Proc. USENIX Tech (2001)."},{"key":"e_1_3_2_1_26_1","volume-title":"Communication and Concurrency","author":"MILNER R.","year":"1989","unstructured":"MILNER , R. Communication and Concurrency . Prentice-Hall , 1989 . MILNER, R. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060293"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I)","author":"PETERSON L.","year":"2002","unstructured":"PETERSON , L. , ANDERSON , T. , CULLER , D. , AND ROSCOE , T. A Blueprint for Introducing Disruptive Technology into the Internet . In Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I) ( Princeton, New Jersey , 2002 ). PETERSON, L., ANDERSON, T., CULLER, D., AND ROSCOE, T. A Blueprint for Introducing Disruptive Technology into the Internet. In Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I) (Princeton, New Jersey, 2002)."},{"key":"e_1_3_2_1_29_1","volume-title":"J. L., MOGUL, J. C., SHAH, M. A., AND VAHDAT, A. Pip: Detecting the unexpected in distributed systems. In NSDI","author":"REYNOLDS P.","year":"2006","unstructured":"REYNOLDS , P. , KILLIAN , C. , WIENER , J. L., MOGUL, J. C., SHAH, M. A., AND VAHDAT, A. Pip: Detecting the unexpected in distributed systems. In NSDI ( 2006 ). REYNOLDS, P., KILLIAN, C., WIENER, J. L., MOGUL, J. C., SHAH, M. A., AND VAHDAT, A. Pip: Detecting the unexpected in distributed systems. In NSDI (2006)."},{"key":"e_1_3_2_1_30_1","volume-title":"USENIX Tech","author":"RHEA S.","year":"2004","unstructured":"RHEA , S. , GEELS , D. , ROSCOE , T. , AND KUBIATOWICZ , J. Handling churn in a dht . In USENIX Tech ( 2004 ). RHEA, S., GEELS, D., ROSCOE, T., AND KUBIATOWICZ, J. Handling churn in a dht. In USENIX Tech (2004)."},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. NSDI","author":"RODRIGUEZ A.","year":"2004","unstructured":"RODRIGUEZ , A. , KILLIAN , C. , BHAT , S. , KOSTI\u00ddC , D. , AND VAHDAT , A. MACEDON : Methodology for automatically creating, evaluating, and designing overlay networks . In Proc. NSDI ( 2004 ). RODRIGUEZ, A., KILLIAN, C., BHAT, S., KOSTI\u00ddC, D., AND VAHDAT, A. MACEDON: Methodology for automatically creating, evaluating, and designing overlay networks. In Proc. NSDI (2004)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/646591.697650"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/648089.747486"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086370"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383071"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060315"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502057"}],"event":{"name":"PLDI '07: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"San Diego California USA","acronym":"PLDI '07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1250734.1250755","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1250734.1250755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:19Z","timestamp":1750243939000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1250734.1250755"}},"subtitle":["language support for building distributed systems"],"short-title":[],"issued":{"date-parts":[[2007,6,10]]},"references-count":36,"alternative-id":["10.1145\/1250734.1250755","10.1145\/1250734"],"URL":"https:\/\/doi.org\/10.1145\/1250734.1250755","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1273442.1250755","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,6,10]]},"assertion":[{"value":"2007-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}