update tpot link

Author: zouyonghao

_layouts/home.html

@@ -68,7 +68,7 @@ <h2 id="biography">Biography</h2>
                     <h2 id="publications">Publications</h2>
 
                     <ul>
-                        <li><a href="">Practical Verification of System-Software Components Written in Standard C</a></li>
+                        <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 2024 Symposium on Operating Systems Principles (SOSP)</p>