update CV and papers

Author: zouyonghao

_layouts/home.html

@@ -66,30 +66,36 @@ <h2 id="biography">Biography</h2>
                     <h2 id="publications">Publications</h2>
 
                     <ul>
-                        <li><a href="">Poster: Memory Usage Interfaces for Serverless Functions</a></li>
+                        <li><a href="">Practical Verification of System-Software Components Written in Standard C</a></li>
                     </ul>
-                    <p><b>Yonghao Zou</b>, David Hua, George Candea.</p>
-                    <p>Poceedings of the 2024 USENIX Symposium on Operating Systems Design and Implementation (OSDI Poster).</p>
+                    <p class="author">Can Cebeci, <b>Yonghao Zou</b>, Diyu Zhou, George Candea, Clément Pit-Claudel</p>
+                    <p class="conference">Proceedings of the 2024 Symposium on Operating Systems Principles (SOSP)</p>
+
+                    <ul>
+                        <li><a href="https://zouyonghao.github.io/assets/paper/osdi24posters-final.pdf">Poster: Memory Usage Interfaces for Serverless Functions</a></li>
+                    </ul>
+                    <p class="author"><b>Yonghao Zou</b>, David Hua, George Candea.</p>
+                    <p class="conference">Poceedings of the 2024 USENIX Symposium on Operating Systems Design and Implementation (OSDI Poster).</p>
 
                     <ul>
                         <li><a href="https://zouyonghao.github.io/assets/paper/rozz.pdf">ROZZ: Property-based Fuzzing for Robotic Programs in ROS</a></li>
                     </ul>
-                    <p>Kai-Tao Xie, Jia-Ju Bai, <b>Yong-Hao Zou</b>, Yu-Ping Wang.</p>
-                    <p>Proceedings of the 2022 International Conference on Robotics and Automation (ICRA).</p>
+                    <p class="author">Kai-Tao Xie, Jia-Ju Bai, <b>Yong-Hao Zou</b>, Yu-Ping Wang.</p>
+                    <p class="conference">Proceedings of the 2022 International Conference on Robotics and Automation (ICRA).</p>
 
                     <ul>
                         <li><a href="https://www.usenix.org/conference/atc21/presentation/zou">TCP-Fuzz: Detecting
                                 Memory and Semantic Bugs in TCP Stacks with Fuzzing</a></li>
                     </ul>
-                    <p><b>Yong-Hao Zou</b>, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu.</p>
-                    <p>Proceedings of the 2021 USENIX Annual Technical Conference (USENIX ATC).</p>
+                    <p class="author"><b>Yong-Hao Zou</b>, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, Shi-Min Hu.</p>
+                    <p class="conference">Proceedings of the 2021 USENIX Annual Technical Conference (USENIX ATC).</p>
 
                     <ul>
                         <li><a href="https://zouyonghao.github.io/assets/paper/rory.pdf">Effective Crash Recovery of Robot
                                 Software Programs in ROS</a></li>
                     </ul>
-                    <p><b>Yong-Hao Zou</b>, Jia-Ju Bai.</p>
-                    <p>Proceedings of the 2021 International Conference on Robotics and Automation (ICRA).</p>
+                    <p class="author"><b>Yong-Hao Zou</b>, Jia-Ju Bai.</p>
+                    <p class="conference">Proceedings of the 2021 International Conference on Robotics and Automation (ICRA).</p>
 
                     <hr>
 
@@ -112,7 +118,7 @@ <h2 id="honors">Honors</h2>
 
                     <h2 id="honors">Teaching</h2>
 
-                    <p><a href="https://swent.epfl.ch/">CS-311 The software enterprise - from ideas to products</a>(TA)</p>
+                    <p><a href="https://swent.epfl.ch/">CS-311 The software enterprise - from ideas to products</a> (TA)</p>
 
                     <hr>
 

assets/CV.pdf

@@ -206,4 +206,12 @@ iframe {
 
 .label-info {
 	background-color: #3a87ad;
+}
+
+.author {
+	text-indent: 20px;
+}
+
+.conference {
+	text-indent: 20px;
 }