update

Author: cutelimination

index.html

@@ -9,9 +9,11 @@
         dataLayer.push(arguments);
       }
       gtag('js', new Date());
-      gtag('config', 'G-2J23RK0R02');
+      gtag('config', 'G-2J23RK0R2');
     </script>
     <script async src="//busuanzi.ibruce.info/busuanzi/2.3/busuanzi.pure.mini.js"></script>
+    <script data-goatcounter="https://rainoftime.goatcounter.com/count"
+        async src="//gc.zgo.at/count.js"></script>
     <meta http-equiv="content-type" content="text/html; charset=UTF-8">
     <meta name="description" content="homepage">
     <link rel="stylesheet" type="text/css" href="
@@ -202,9 +204,6 @@ <h3>Manuscripts</h3>
         <li>
           Parallelizing Symbolic Abstraction. Weiqi Wang, Peisen Yao, Yuan Li, Hanrui Zuo, Hongfei Fu, and Kui Ren. Working paper.
         </li>
-        <li>
-          Boosting Compiler Optimization-Based SMT Simplifications. Hanyun Jiang, Peisen Yao, Jiachen Lu, Yongwang Zhao, and Kui Ren. Working paper.
-        </li>
         <li>
           Monadic Predicate Abstraction. Jiening Siow, Hanrui Zuo, Hanyun Jiang, Weiqi Wang, Tingting Lin, and Peisen Yao. Working paper. [<a href="./files/monadic_predabs.pdf">preprint</a>]
         </li>
@@ -214,6 +213,11 @@ <h3>Manuscripts</h3>
       <a name="publication"></a>
       <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>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