Skip to content

Commit

Permalink
Update
Browse files Browse the repository at this point in the history
  • Loading branch information
MohsenLesani committed Feb 11, 2025
1 parent 1d3b729 commit 6faf5c8
Show file tree
Hide file tree
Showing 3 changed files with 161 additions and 1 deletion.
Binary file added companion/oopsla25/Appendix.pdf
Binary file not shown.
158 changes: 158 additions & 0 deletions companion/oopsla25/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,158 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head>
















<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">


<script>
window.onload = function() {
this.focus();
}
</script>

<link href="../TextStyle.css" rel="stylesheet" type="text/css"><title>Mohsen Lesani</title><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body alink="#ee0000" link="#0000ee" vlink="#551a8b">
<br>

<table style="width: 100%;" id="table1" border="0" cellspacing="1">

<tbody>
<tr>
<td style="vertical-align: top;"><br>
</td>
<td style="vertical-align: top; text-align: right;"><a href="../../index.html"><span class="TextStyle"><br>
</span></a></td>
<td style="vertical-align: top;"><br>
</td>
</tr>
<tr>
<td>&nbsp;</td>
<td style="background-color: rgb(255, 255, 255); width: 690px;">
<div style="text-align: right;"> </div>
<table style="width: 100%;" id="table5" border="0">
<tbody class="TestStyle">

<tr>
<td class="TextStyle" colspan="3" rowspan="1" style="vertical-align: top; text-align: left;"><br>

</td>


</tr>
<tr>
<td style="vertical-align: top;"><br>
</td>
<td style="vertical-align: top; color: black;">

<p class="AbstractHeaderStyle"><span style="color: rgb(34, 34, 34); font-family: arial,sans-serif; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; display: inline ! important; float: none;"><span class="TextStyle"><span class="AbstractStyle"><span class="AuthorStyle"></span></span></span></span>Hambazi: Spatial Coordination Synthesis for Augmented Reality<br>
</p>

</td>
<td style="vertical-align: top;"><br>
</td>
</tr>
<tr>
<td style="vertical-align: top;"><br>
</td>
<td style="vertical-align: top;"><span style="color: rgb(34, 34, 34); font-family: arial,sans-serif; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; display: inline ! important; float: none;"><span class="TextStyle"><span class="AbstractStyle"><span class="AuthorStyle">OOPSLA '25 (ACM SIGPLAN conference on Object-oriented Programming, Systems, Languages, and Applications)<br>



</span></span></span></span></td>
<td style="vertical-align: top;"><br>
</td>
</tr>
<tr>
<td style="vertical-align: top;"><br>
</td>
<td style="vertical-align: top;"><span style="color: rgb(34, 34, 34); font-family: arial,sans-serif; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; display: inline ! important; float: none;"><span class="TextStyle"><span class="AbstractStyle"><span class="AuthorStyle">Yi-Zhen Tsai, Jiasi Chen, Mohsen Lesani<br>
</span></span></span></span> </td>
<td style="vertical-align: top;"><br>
</td>
</tr>
<tr>
<td style="vertical-align: top;"><br>
</td>
<td style="vertical-align: top;"><br>
</td>
<td style="vertical-align: top;"><br>
</td>
</tr>
<tr>
<td width="5%">&nbsp;</td>
<td class="AbstractStyle">
<p><span class="AbstractStyle">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&#8217;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 &#8220;well-organized&#8221;
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&#8217;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.<br>
</span></p>
<p><span class="AbstractStyle"><br>
</span></p>

</td>
<td width="5%"><br>
</td>
</tr>
<tr>
<td style="vertical-align: top;"><br>
</td>
<td style="vertical-align: top;"><span class="TextStyle"><span class="TextStyle"></span></span><a href="ICFP21.pdf"><span class="TextStyle"><span class="TextStyle"><span style="text-decoration: underline;"></span></span></span></a><span class="TextStyle"><span class="TextStyle"><a href="DISC24Short.pdf">[</a>Paper<a href="DISC24Short.pdf">]</a><br>
</span></span>
<span class="TextStyle"><span class="TextStyle"> [Slides]<br>
<br>
</span></span>

</td>
<td style="vertical-align: top;"><br>
</td>
</tr>
</tbody>
</table>
</td>
<td>&nbsp;</td>
</tr>
</tbody>
</table>

<br>

<br>

</body></html>
4 changes: 3 additions & 1 deletion index.html
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,7 @@






<style>
Expand Down Expand Up @@ -284,7 +285,8 @@

OOPSLA '25 (ACM SIGPLAN conference on Object-oriented Programming, Systems, Languages, and Applications)<br>
Yi-Zhen Tsai, Jiasi Chen, Mohsen Lesani<br>
<br>
<a href="companion/oopsla25/">More</a><br>
<br>
TensorRight: Automated Verification of Tensor Graph Rewrites<br>


Expand Down

0 comments on commit 6faf5c8

Please sign in to comment.