update

rainoftime · May 8, 2024 · ae93d84 · ae93d84
1 parent 7bfea61
commit ae93d84
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 25 deletions.
diff --git a/html/students.html b/html/students.html
@@ -35,24 +35,6 @@ <h3>Former Mentees</h3>
          </ul>
 <!--
 
-           <h3>Co-supervised Students</h3>
-        <ul>
-             <li class="item"><a>Jianhong Zhao, Fanlang Zen (on program verification and theorem proving)</a><br>
-              </li>
-             <li class="item"><a>Jiachen Lu (on static analysis of concurrent programs)</a><br>
-              </li>              
-        </ul>
-        
-            <li class="item"><a>Jiewei Chen</a> (UG@ZJU) 2023. Summer intern: Solving exists-forall problems over bit-vectors. Graduated in 2024. Master@THU<br>
-             </li>
-             <li class="item"><a href="https://jasonj2021.github.io/">Jiahui Sun</a> (UG@ZJU) 2023. Publication: [ASE'23a]. Graduated in 2024. Master@SJTU<br>
-              </li>
-             <li class="item"><a>Xinkai Ma</a> (UG@ZJU) 2023. ???Graduated in 2024. <br>
-              </li>
-            <li class="item"><a>Siyuan Zhu</a> (UG@ZJU) 2023. Graduated in 2024. Ph.D@PKU<br>
-             </li>
-            <li class="item"><a>XXX</a> (UG@ZJU) 2023-2024. Thesis topic on xxx Graduated in 2024.<br>
-             </li>
 -->
 </script>
 </body>

diff --git a/index.html b/index.html
@@ -88,13 +88,6 @@ <h3>News</h3>
 
             <img src="figs/new.gif" alt="news">I am currently on the program committee of <a href="https://conf.researchr.org/home/POPL-2025">POPL 2025</a>, <a href="https://conf.researchr.org/home/issta-2025">ISSTA 2025</a>, <a href="https://conf.researchr.org/home/issta-2024">ISSTA 2024</a> and <a href="https://www.sigsac.org/ccs/CCS2024/call-for/call-for-papers.html">CCS 2024</a>. Please consider submitting a paper! 
         </li>
-        <li class="item">
-            <img src="figs/new.gif" alt="news">Our paper on fast and precise buffer overflow detection has been accepted by ISSTA'24!
-        </li>
-        <li class="item">
-            <img src="figs/new.gif" alt="news">
-            Our paper "Verifying Data Constraint Equivalence in FinTech Systems" has been accepted at ICSE 2023! The equivalence verifier has been deployed in Ant Group (a global FinTech company with 1 billion activeusers), and is available on <a href="https://github.com/EqDAC/EqDACTool">GitHub</a>!
-        </li>
         <li class="item">
             <img src="figs/new.gif" alt="news">BEACON (S&P'22) is selected for Google Research Paper Rewards!
         </li>
@@ -449,9 +442,30 @@ <h3>Teaching</h3>
       <a name="students"></a>
       <h3>Students</h3>
       <ul>
+        <!--
         <li class="item">
           <a href="html/students.html">Students</a>
         </li>
+      -->
+          <li class="item">
+          <strong>Current students</strong>: 
+             <ul>
+              <br>
+             <li class="item">Weiqi Wang (Master from 2023), Yuan Li (Ph.D. from 2023), Hanrui Zuo (Ph.D. from 2024), Zinan Gu (Master from 2024), Guowei Tian (Master from 2024)<br>
+             </li> 
+             </ul>
+        </li>
+          <li> <strong>Former Mentees</strong>
+            <ul>
+              <br>
+              <li class="item"><a>Ruiyu Zhou</a> (UG@CUHK(SZ)) 2023. Intern on abstract interpretation. Graduated in 2023. Master@CUHK(SZ)<br>
+             </li> 
+            <li class="item"><a>Ruqing Yang</a> (UG@ZJU) 2022-2023. Thesis topic on type system. Graduated in 2023. MPhil@HKUST<br>
+             </li> 
+
+            </ul>
+
+          </li>
       </ul>
       <hr noShade size=3.5>
       <a name="misc"></a>