update

index.html

@@ -117,6 +117,7 @@ <h3>Current Research</h3>
             </li>
             <li class="item"> 
           Numerical analysis 
+                [<a href="">ISSTA'25</a>] 
                 [<a href="./files/ASE23Invariant.pdf">ASE'23a</a>] 
                 [<a href="./files/ICSE22Wit.pdf">ICSE'22</a>]  
                 [<a href="https://dl.acm.org/doi/10.1145/3485495">OOPSLA'21</a>] 
@@ -368,13 +369,13 @@ <h3>Software</h3>
             <ul>
              <li class="item">
               <p style="text-align:justify; text-justify:inter-ideograph; margin-right: 5mm">
-                <a href="https://github.com/ZJU-Automated-Reasoning-Group/canary">canary</a> is a static analyzer for C/C++ source code built on top of LLVM, CUDD, and Z3.</a> 
+                <a href="https://github.com/ZJU-Automated-Reasoning-Group/canary">canary</a> is a static analyzer for C/C++ source code built on top of LLVM, CUDD, and Z3.</a> (<a href="">ISSTA'25</a>)
               </p>
             </li>
 
             <li class="item">
               <p style="text-align:justify; text-justify:inter-ideograph; margin-right: 5mm">
-                <a href="">???</a> is a binary analysis framework based on capstone, LLVM, and Z3.</a> 
+                <a href="">???</a> is a binary analysis framework</a> 
               </p>
             </li>