Add CortenMM

Signed-off-by: Yonghao Zou <[email protected]>

Author: zouyonghao

_layouts/home.html

@@ -39,9 +39,11 @@ <h1>Yonghao Zou (邹永浩)</h1>
 
                     <h2 id="news">News</h2>
 
+                    <p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">CortonMM got accepted!</p>
+
                     <p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">I will continue my PhD study at PKU.</p>
 
-                    <p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">The DistFuzz paper got accepted.</p>
+                    <!-- <p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">The DistFuzz paper got accepted.</p> -->
 
                     <!-- <p><img src="../images/new-icon-12.png" alt="" width="30px" style="display: inline;">The TPot paper got accepted.</p> -->
 
@@ -80,6 +82,12 @@ <h2 id="biography">Biography</h2>
 
                     <h2 id="publications">Publications</h2>
 
+                    <ul>
+                        <li><a href="">CortenMM: Efficient Memory Management with Strong Correctness Guarantee</a></li>
+                    </ul>
+                    <p class="author">Junyang Zhang, Xiangcan Xu, <b>Yonghao Zou</b>, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang, Hao Chen, Hongliang Tian, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, and Diyu Zhou</p>
+                    <p class="conference">Proceedings of the 31st ACM Symposium on Operating Systems Principles (SOSP '25)</p>
+
                     <ul>
                         <li><a href="https://zouyonghao.github.io/assets/paper/ndss25-distfuzz.pdf">Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning</a></li>
                     </ul>
@@ -90,7 +98,7 @@ <h2 id="publications">Publications</h2>
                         <li><a href="https://dslab.epfl.ch/pubs/tpot.pdf">Practical Verification of System-Software Components Written in Standard C</a></li>
                     </ul>
                     <p class="author">Can Cebeci, <b>Yonghao Zou</b>, Diyu Zhou, George Candea, Clément Pit-Claudel</p>
-                    <p class="conference">Proceedings of the 30th Symposium on Operating Systems Principles (SOSP '24)</p>
+                    <p class="conference">Proceedings of the 30th ACM Symposium on Operating Systems Principles (SOSP '24)</p>
 
                     <ul>
                         <li><a href="https://zouyonghao.github.io/assets/paper/osdi24posters-final.pdf">Poster: Memory Usage Interfaces for Serverless Functions</a></li>