update

Author: LuYunChi

summer25/index.html

@@ -115,7 +115,7 @@ <h1>Schedule</h1>
           <td>06/11/2025</td>
           <td>Wanning He</td>
           <td>
-            <p class="title">I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols (SOSP'19)</p>
+            <p class="title">I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols</p>
             <p class="authors">Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah, University of Michigan</p>
           </td>
           <td>SOSP'19</td>
@@ -140,6 +140,26 @@ <h1>Schedule</h1>
           <td></td>
           <td></td>
         </tr>
+        <tr>
+          <td>07/23/2025</td>
+          <td>Wanning He</td>
+          <td>
+            <p class="title">KRR: Efficient and Scalable Kernel Record Replay</p>
+            <p class="authors">Tianren Zhang, SmartX; Sishuai Gong and Pedro Fonseca, Purdue University</p>
+          </td>
+          <td>OSDI'25</td>
+          <td><a href="https://www.usenix.org/conference/osdi25/presentation/zhang-tianren">Paper</a></td>
+        </tr>
+        <tr>
+          <td>07/30/2025</td>
+          <td>Yi Chen</td>
+          <td>
+            <p class="title">Neutrino: Fine-grained GPU Kernel Profiling via Programmable Probing</p>
+            <p class="authors">Songlin Huang and Chenshu Wu, The University of Hong Kong</p>
+          </td>
+          <td>OSDI'25</td>
+          <td><a href="https://www.usenix.org/conference/osdi25/presentation/huang-songlin">Paper</a></td>
+        </tr>
 
       </table>
     </div>