update

rainoftime · Apr 26, 2024 · 8e543e7 · 8e543e7
1 parent c5c69a9
commit 8e543e7
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -118,10 +118,13 @@ <h3>Current Research</h3>
             Automated verification for artificial intelligence [<a href="https://arxiv.org/pdf/2309.05264.pdf">ICSE'24</a>]
             </li>
             <li class="item">
-              Path sensitivity [PLDI'24][<a href="./files/PLDI21Fusion.pdf">PLDI21'a</a>] [<a href="https://dl.acm.org/doi/10.1145/3395363.3397378">ISSTA'20</a>], context sensitivity (via CFL-reachability)  [<a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>]
+              Path sensitivity [<a href="./files/PLDI21Fusion.pdf">PLDI'21a</a>] [<a href="https://dl.acm.org/doi/10.1145/3395363.3397378">ISSTA'20</a>], context sensitivity (via CFL-reachability)  [<a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>]
             </li>
             <li class="item">
-              Reasoning about concurrency [<a href="./files/PLDI21Canary.pdf">PLDI21'b</a>] [<a href="">USENIX Security'23</a>], memory [<a href="./files/TOSEMAnchor.pdf">TOSEM'23</a>] [ISSTA'24], 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>], change impacts [<a href="">ASE'23b</a>], and DSL [<a href="./files/ICSE23EqDAC.pdf">ICSE'23</a>]
+              Alias/heap analysis [<a href="">PLDI'24</a>] [<a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>] [<a href="">ISSTA'24</a>] <a href="./files/TOSEMAnchor.pdf">TOSEM'23</a>]
+            </li>
+            <li class="item">
+              Reasoning about concurrency [<a href="./files/PLDI21Canary.pdf">PLDI21'b</a>] [<a href="">USENIX Security'23</a>],  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>], change impacts [<a href="">ASE'23b</a>], and DSL [<a href="./files/ICSE23EqDAC.pdf">ICSE'23</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>