update

Author: cutelimination

index.html

@@ -214,7 +214,7 @@ <h3>Manuscripts</h3>
       <h3>Selected Publications</h3>
       <ul>
         <li>
-          <a href="">TOSEM 2026: Compiler Optimizations-based SMT Simplifications: An In-Depth Study</a>
+          <a href="">TOSEM 2026: Compiler Optimizations-Based SMT Simplifications: An In-Depth Study</a>
           <br>Hanyun Jiang, Peisen Yao*, Jiachen Lu, Yongwang Zhao, and Kui Ren
           <br>ACM Transactions on Software Engineering and Methodology
         </li>
@@ -272,7 +272,7 @@ <h3>Selected Publications</h3>
           <br> The 45th IEEE Symposium on Security and Privacy (Oakland)
         </li>
         <li>
-          <a href="./files/ASE23Invariant.pdf">ASE 2023a: Demystifying Template-based Invariant Generation for Bit-Vector Programs</a>
+          <a href="./files/ASE23Invariant.pdf">ASE 2023a: Demystifying Template-Based Invariant Generation for Bit-Vector Programs</a>
           <br> Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, and Kui Ren
           <br> The 2023 IEEE/ACM Automated Software Engineering Conference
         </li>
@@ -332,7 +332,7 @@ <h3>Selected Publications</h3>
           <a style="color:#FF0000">Google Research Paper Rewards</a>
         </li>
         <li>
-          <a href="">PhD Thesis: Solidifying and Scaling SMT-based Program Analysis, 2022. HKUST</a> <br>
+          <a href="">PhD Thesis: Solidifying and Scaling SMT-Based Program Analysis, 2022. HKUST</a> <br>
 
           Honorable Mention in the CSE Best Dissertation Award, HKUST
         </li>