一句话：提出良构复制数据类型与协议，并自动合成AR空间协调，兼顾低延迟、空间完整性与收敛。
多用户AR中，虚拟对象副本需快速更新并收敛，同时满足物理边界、隐私与安全等空间完整性约束。本文提出“良构”复制数据类型，保证收敛与空间完整性，并采用局部冲突概念以支持更高并发和更低延迟；为实现该数据类型，引入信用方案与复制协议，证明协议正确性。给定AR环境，系统通过约束求解自动导出冲突动作，并静态实例化协议以合成定制协调。在现成Android AR设备上评估Hambazi，与三个基线相比，延迟降低30.5–88.4%，位置陈旧度降低35.6–75.6%。
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 “well-organized” 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, H ambazi , 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.
@article{paperbot3212,
title = {Hambazi: Spatial Coordination Synthesis for Augmented Reality},
author = {Yi-Zhen Tsai and Jiasi Chen and Mohsen Lesani},
journal = {Proceedings of the ACM on Programming Languages},
volume = {9},
number = {OOPSLA1},
year = {2025},
doi = {10.1145/3720425}
}