{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T15:27:56Z","timestamp":1777735676816,"version":"3.51.4"},"reference-count":100,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA1","license":[{"start":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:00:00Z","timestamp":1744156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NSF CAREER","award":["1942700"],"award-info":[{"award-number":["1942700"]}]},{"name":"DARPA YFA","award":["D22AP00146-00"],"award-info":[{"award-number":["D22AP00146-00"]}]},{"name":"NSF (National Science Foundation) CAREER","award":["2437238"],"award-info":[{"award-number":["2437238"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,4,9]]},"abstract":"<jats:p>Augmented reality (AR) seamlessly overlays virtual objects onto the real world, enabling an exciting new range of applications. Multiple users view and interact with virtual objects, which are replicated and shown on each user's display. A key requirement of AR is that the replicas should be quickly updated and converge to the same state; otherwise, users may have laggy or inconsistent views of the virtual object, which negatively affects their experience. A second key requirement is that the movements of virtual objects in space should preserve certain integrity properties either due to physical boundaries in the real world, or privacy and safety preferences of the user. For example, a virtual cup should not sink into a table, or a private virtual whiteboard should stay within an office. The challenge tackled in this paper is the coordination of virtual objects with low latency, spatial integrity properties and convergence. We introduce \u201cwell-organized\u201d replicated data types that guarantee these two properties. Importantly, they capture a local notion of conflict that supports more concurrency and lower latency. To implement well-organized virtual objects, we introduce a credit scheme and replication protocol that further facilitate local execution, and prove the protocol's correctness. Given an AR environment, we automatically derive conflicting actions through constraint solving, and statically instantiate the protocol to synthesize custom coordination. We evaluate our implementation, HAMBAZI, on off-the-shelf Android AR devices and show a latency reduction of 30.5-88.4% and a location staleness reduction of 35.6-75.6%, compared to three baselines, for varying numbers of devices, AR environments, request loads, and network conditions.<\/jats:p>","DOI":"10.1145\/3720425","type":"journal-article","created":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:48:26Z","timestamp":1744206506000},"page":"307-336","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Hambazi: Spatial Coordination Synthesis for Augmented Reality"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-0391-7663","authenticated-orcid":false,"given":"Yi-Zhen","family":"Tsai","sequence":"first","affiliation":[{"name":"University of California, Riverside, Riverside, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9923-9027","authenticated-orcid":false,"given":"Jiasi","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3165-2322","authenticated-orcid":false,"given":"Mohsen","family":"Lesani","sequence":"additional","affiliation":[{"name":"University of California, Santa Cruz, Santa Cruz, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,4,9]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"2025. Cubism. https:\/\/www.cubism-vr.com\/"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.33"},{"key":"e_1_2_2_3_1","volume-title":"Conference on Innovative Data Systems Research. 249\u2013260","author":"Alvaro Peter","unstructured":"Peter Alvaro, Neil Conway, Joseph M. Hellerstein, and William R. Marczak. 2011. Consistency analysis in Bloom: A CALM and collected approach. In Conference on Innovative Data Systems Research. 249\u2013260."},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECON48991.2020.9158434"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2737784"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.14778\/3297753.3297760"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723872.2723889"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2015.32"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1402958.1403002"},{"key":"e_1_2_2_12_1","first-page":"12","article-title":"Colyseus","volume":"6","author":"Bharambe Ashwin R","year":"2006","unstructured":"Ashwin R Bharambe, Jeffrey Pang, and Srinivasan Seshan. 2006. Colyseus: A Distributed Architecture for Online Multiplayer Games. In NSDI. 6, 12\u201312.","journal-title":"A Distributed Architecture for Online Multiplayer Games. In NSDI."},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535877"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.37"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/343477.343502"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869515"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_14"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535848"},{"key":"e_1_2_2_19_1","unstructured":"CBS News. 2018. New augmented reality technology could help firefighters save lives. https:\/\/www.cbsnews.com\/news\/c-thru-new-augmented-reality-technology-would-aid-firefighters\/"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3469279"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132211.3134458"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3166089.3166090"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454167"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465288"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485484"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS51616.2021.00021"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428281"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_26"},{"key":"e_1_2_2_30_1","unstructured":"Kahveci Ensar. 2021. MicroRaft. https:\/\/microraft.io\/"},{"key":"e_1_2_2_31_1","unstructured":"Gabriel Gambetta. 2022. Fast-Paced Multiplayer. https:\/\/www.gabrielgambetta.com\/client-server-game-architecture.html"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133933"},{"key":"e_1_2_2_34_1","unstructured":"Google. 2023. Cloud Anchors allow different users to share AR experiences. https:\/\/developers.google.com\/ar\/develop\/cloud-anchors"},{"key":"e_1_2_2_35_1","unstructured":"Google. 2023. Transaction serializability and isolation. https:\/\/firebase.google.com\/docs\/firestore\/transaction-data-contention"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2019.8737658"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987559"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290387"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523426"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360580"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354485"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428256"},{"key":"e_1_2_2_45_1","first-page":"175","article-title":"High throughput escrow algorithms for replicated databases","volume":"1992","author":"Krishnakumar Narayanan","year":"1992","unstructured":"Narayanan Krishnakumar and Arthur J Bernstein. 1992. High throughput escrow algorithms for replicated databases. In VLDB. 1992, 175\u2013186.","journal-title":"VLDB."},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.14778\/3574245.3574268"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_2_2_49_1","unstructured":"Leslie Lamport. 2004. Generalized Consensus and Paxos."},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.13"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341710"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/2643634.2643664"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745947.2745955"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387880.2387906"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_16"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454067"},{"key":"e_1_2_2_57_1","volume-title":"Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201914)","author":"Liu Jed","year":"1971","unstructured":"Jed Liu, Tom Magrino, Owen Arden, Michael D. George, and Andrew C. Myers. 2014. Warranties for Faster Strong Consistency. In Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201914). USENIX Association, Berkeley, CA, USA. 503\u2013517. isbn:978-1-931971-09-6 http:\/\/dl.acm.org\/citation.cfm?id=2616448.2616495"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519023"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428284"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303987"},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790449.2790525"},{"key":"e_1_2_2_62_1","unstructured":"Meta. 2022. Guardian System - Oculus Developer Center. https:\/\/developer.oculus.com\/documentation\/native\/pc\/dg-guardian-system\/"},{"key":"e_1_2_2_63_1","unstructured":"Microsoft. 2022. How to create and locate anchors using Azure Spatial Anchors in Unity. https:\/\/learn.microsoft.com\/en-us\/azure\/spatial-anchors\/how-tos\/create-locate-anchors-unity"},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360570"},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_26"},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_13"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44914-8_20"},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2023.22"},{"key":"e_1_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563351"},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/62546.62549"},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/7239.7265"},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/2643634.2643666"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483582"},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_2_2_75_1","volume-title":"16th $USENIX$ Symposium on Networked Systems Design and Implementation ($NSDI$ 19). 47\u201364.","author":"Park Seo Jin","unstructured":"Seo Jin Park and John Ousterhout. 2019. Exploiting commutativity for practical fast replication. In 16th $USENIX$ Symposium on Networked Systems Design and Implementation ($NSDI$ 19). 47\u201364."},{"key":"e_1_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460100061"},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066116.1189038"},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431312"},{"key":"e_1_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/588111.588126"},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2010.12.006"},{"key":"e_1_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2723720"},{"key":"e_1_2_2_82_1","unstructured":"Kimberly Ruth Tadayoshi Kohno and Franziska Roesner. 2019. Secure Multi-User Content Sharing for Augmented Reality Applications. In USENIX Security. isbn:978-1-939133-06-9"},{"key":"e_1_2_2_83_1","volume-title":"Masoud Saeida Ardekani, and Gustavo Petri","author":"Shapiro Marc","year":"2016","unstructured":"Marc Shapiro, Masoud Saeida Ardekani, and Gustavo Petri. 2016. Consistency in 3D. Ph. D. Dissertation. Institut National de la Recherche en Informatique et Automatique (Inria)."},{"key":"e_1_2_2_84_1","doi-asserted-by":"crossref","unstructured":"Marc Shapiro Nuno Preguica Carlos Baquero and Marek Zawirski. 2011. A comprehensive study of Convergent and Commutative Replicated Data Types. INRIA.","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1001\/ARCHNEUR.1990.00530060095025"},{"key":"e_1_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523735"},{"key":"e_1_2_2_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491102.3517719"},{"key":"e_1_2_2_90_1","unstructured":"Unity. 2023. Tricks and patterns to deal with latency. https:\/\/docs-multiplayer.unity3d.com\/netcode\/current\/learn\/dealing-with-latency\/index.html"},{"key":"e_1_2_2_91_1","unstructured":"Valve Developer Community. 2023. Source Multiplayer Networking. https:\/\/developer.valvesoftware.com\/wiki\/Source_Multiplayer_Networking"},{"key":"e_1_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/1466443.1466448"},{"key":"e_1_2_2_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314617"},{"key":"e_1_2_2_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408976"},{"key":"e_1_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.14778\/3275536.3275538"},{"key":"e_1_2_2_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422648.3422651"},{"key":"e_1_2_2_97_1","unstructured":"Haifeng Yu and Amin Vahdat. 2000. Efficient numerical error bounding for replicated network services. In VLDB. 123\u2013133."},{"key":"e_1_2_2_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/566340.566342"},{"key":"e_1_2_2_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591276"},{"key":"e_1_2_2_100_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43613-4_3"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3720425","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3720425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:14:18Z","timestamp":1760030058000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3720425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,9]]},"references-count":100,"journal-issue":{"issue":"OOPSLA1","published-print":{"date-parts":[[2025,4,9]]}},"alternative-id":["10.1145\/3720425"],"URL":"https:\/\/doi.org\/10.1145\/3720425","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,9]]},"assertion":[{"value":"2024-10-14","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-02-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}