update

rainoftime · Apr 27, 2024 · e740211 · e740211
1 parent b925a80
commit e740211
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -127,7 +127,7 @@ <h3>Current Research</h3>
                Numerics [<a href="https://dl.acm.org/doi/10.1145/3485495">OOPSLA'21</a>] [<a href="./files/ASE21TransCode.pdf">ASE'21</a>] [<a href="./files/ICSE22Wit.pdf">ICSE'22</a>] [<a href="">ASE'23a</a>]
             </li>
             <li class="item">
-            Reasoning about artificial intelligence [<a href="https://arxiv.org/pdf/2309.05264.pdf">ICSE'24</a>], change impacts [<a href="">ASE'23b</a>], and DSL [<a href="./files/ICSE23EqDAC.pdf">ICSE'23</a>]
+            Reasoning about artificial intelligence [<a href="https://arxiv.org/pdf/2309.05264.pdf">ICSE'24</a>] and change impacts [<a href="">ASE'23b</a>]
             </li>
             <li class="item">
               Fuzz testing: general purpose [<a href="">S&P'24</a>] [<a href="https://5hadowblad3.github.io/files/TDSC.pdf">TDSC'23</a>] [ <a href="https://qingkaishi.github.io/public_pdfs/SP22.pdf">S&P'22</a>
@@ -136,15 +136,24 @@ <h3>Current Research</h3>
           </ul>
         </li>
         <li class="item">
-          <a>Program Synthesis and Automated Reasoning</a>
+          <a>Program Synthesis and Compiler Optimization</a>
           <ul>
             <li class="item">
-              Program synthesis for code optimization [<a href="./files/OOPSLA22Cres.pdf">OOPSLA'22b</a> <img src="figs/award.gif" width="18" alt="">], search [<a href="">ECOOP'23</a>], and translation [<a href="">ASPLOS'24</a>]
+              Program synthesis code search [<a href="">ECOOP'23</a>] and translation [<a href="">ASPLOS'24</a>]
             </li>
+             Code optimization for Java collections [<a href="./files/OOPSLA22Cres.pdf">OOPSLA'22b</a> <img src="figs/award.gif" width="18" alt="">] and DSL [<a href="./files/ICSE23EqDAC.pdf">ICSE'23</a>]
+          </ul>
+         </li>
+
+        <li class="item">
+          <a>Automated Reasoning</a>
+          <ul>
             <li class="item">
               Symbolic abstraction: application in synthesizing best abstract transformers</a> [<a href="https://dl.acm.org/doi/10.1145/3485495">OOPSLA'21]
             </li>
           </ul>
+         </li>
+
       </ul>
       <a name="publication"></a>
       <h3>Selected Publications</h3>