update

Author: cutelimination

index.html

@@ -96,7 +96,7 @@ <h3>News</h3>
           We have released <a href="https://github.com/ZJU-PL/lotus">lotus</a>, a versatile and industrial-scale program analysis, verification, and optimization framework</a> (<a href="./files/ISSTA25.pdf">ISSTA'25</a>, <a href="">S&P'24</a>, <a href="">USENIX Security'24</a>, <a href="">TSE'24</a>, <a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22</a>)
         </li>
 
-        <li><img src="figs/new.gif" alt="news">I am currently on the program committee of ISSTA  2026 and PLDI 2026. Please consider submitting a paper!
+        <li><img src="figs/new.gif" alt="news">I am currently on the program committee of ASE 2026, ISSTA 2026, and PLDI 2026. Please consider submitting a paper!
         </li>
 
       </ul>
@@ -215,18 +215,17 @@ <h3>Selected Publications</h3>
       <ul>
         <li>
           <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>Hanyun Jiang, Peisen Yao*, Jiachen Lu, Yongwang Zhao, and Kui Ren
           <br>ACM Transactions on Software Engineering and Methodology
         </li>
         <li>
           <a href="./files/SAS25.pdf">SAS 2025: Bounded-Exhaustive Subspace Diversification for SMT Solver Testing</a>
-          <br> Junda Zheng and Peisen Yao
+          <br>Junda Zheng and Peisen Yao*
           <br>The 32nd Static Analysis Symposium
         </li>
         <li>
           <a href="./files/ISSTA25.pdf">ISSTA 2025: Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions</a>
-          <br>Guangsheng Fan, Liqian Chen, Banghu Yin, Wenyu Zhang, Peisen Yao, and
-          Ji Wang
+          <br>Guangsheng Fan, Liqian Chen, Banghu Yin, Wenyu Zhang, Peisen Yao, and Ji Wang
           <br>The ACM SIGSOFT International Symposium on Software Testing and Analysis
         </li>
         <li>
@@ -550,7 +549,7 @@ <h3>Service</h3>
             <li>PLDI: ACM SIGPLAN Conference on Programming Language Design and Implementation (2026, 2023) (first PC from ZJU)</li>
             <li>OOPSLA: ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Application (2025) (first PC from ZJU)</li>
             <li>ISSTA: ACM SIGSOFT International Symposium on Software Testing and Analysis (2026, 2025, 2024)</li>
-            <li>ASE: IEEE/ACM Automated Software Engineering Conference (2025)</li>
+            <li>ASE: IEEE/ACM Automated Software Engineering Conference (2026, 2025)</li>
             <li>SAS: International Static Analysis Symposium (2025)</li>
             <li>CCS: ACM Conference on Computer and Communications Security (2025, 2024)</li>
             <li>ACSAC: The Annual Computer Security Applications Conference (2025)</li>