Update

index.html

@@ -83,6 +83,7 @@
 
 
 
+
 
 
 <style>
@@ -273,7 +274,20 @@
           <tr>
             <td style="vertical-align: top;"><br>
             </td>
-            <td class="TextStyle" style="vertical-align: top;"><br>BA: Reconfigurable Heterogeneous Quorum Systems (short paper)<br>
+            <td class="TextStyle" style="vertical-align: top;"><br>
+Hambazi: Spatial Coordination Synthesis for Augmented Reality<br>
+
+OOPSLA '25 (ACM SIGPLAN conference on Object-oriented Programming, Systems, Languages, and Applications)<br>
+Yi-Zhen Tsai, Jiasi Chen, Mohsen Lesani<br>
+            <br>
+TensorRight: Automated Verification of Tensor Graph Rewrites<br>
+J. Arora, S. Lu, D. Jain, T. Xu, F Houshmand, P. M. Phothilimthana, M.
+Lesani, P. Narayanan, K. S. Murthy, R. Bodik, A. Sabne, C Mendis<br>
+
+
+
+POPL '25 (ACM SIGPLAN Symposium on Principles of Programming Languages)<br>
+<br>BA: Reconfigurable Heterogeneous Quorum Systems (short paper)<br>
 DISC '24 (The International Symposium on Distributed Computing)<br>
 Xiao Li, Mohsen Lesani<br>