adgaergerh

Author: wang-jingyi

_data/news.yml

@@ -1,7 +1,9 @@
+- date: May 2025
+  headline: Jialuo and Shunkai successfully defended their PhD thesis, congrats! 
+
 - date: Apr 2025
   headline: One paper on optimal symbolic execution is accepted by TSE 2025, congrats to Shunkai! 
 
-
 - date: Mar 2025
   headline: S-Eval is accepted by ISSTA 2025, congrats to Xiaohan!