updates

index.html

@@ -59,7 +59,7 @@ <h2 id="news">News</h2>
 
     <div class="myborder">
       <ul>
-        <li>5/2024: 🏅 <b>Outstanding Undergraduate Award</b> (👏 Stefania) </li>
+        <li>5/2024: 🏅 <b>Outstanding Undergraduate Research Award</b> from GMU (👏 Stefania) </li>
         <li>4/2024: <b>Nguyen</b> and <b>Long</b> joined as PhD students</li>
         <li>3/2024: <b>Stefania</b> joined as a undergraduate researcher</li>
         <li>2/2024: <b>FSE'24</b> research paper on new optimizations developed for the NeuralSAT DNN verification tool (👏 Hai, first research paper as first author)</li>
@@ -72,7 +72,7 @@ <h2 id="news">News</h2>
         <li>7/2023: 🎁 Received an <b>NSF Formal Methods in the Field (FMitF) Track 2 Grant</b></li>
         <li>7/2023: 📓 A handbook for <a href="https://nguyenthanhvuh.github.io/phd-cs-us/demystify.pdf">demystifying the Ph.D. admission process in Computer Science in the US</a></li>
         <li>6/2023: SIGBED <a href="https://sigbed.org/2023/06/06/neural-sat/">blog</a> on NeuralSAT</li>
-        <li>5/2023: 🏅 <b>Outstanding Undergraduate Senior Award</b> (KimHao@UNL)</li>
+        <li>5/2023: 🏅 <b>Outstanding Undergraduate Senior Award</b> from UNL CSE (👏  KimHao)</li>
         <li>3/2023: 🎁 Received an <b>Amazon Research Award</b>. Press: <a href="https://www.amazon.science/research-awards/program-updates/79-amazon-research-awards-recipients-announced">Amazon Science</a>, <a href="https://cec.gmu.edu/news/2023-07/amazon-research-award-win-ai-safety-verification">GMU</a></li>
         <li>1/2023: 🎁 Received the <b>NSF CAREER Award</b> to work on DNN verification. Press: <a href="https://www.gmu.edu/news/2023-02/boom-crash-mason-researcher-receives-half-million-nsf-grant-could-steer-ai-safely">GMU</a>, <a href="https://thanhnien.vn/tien-si-goc-viet-duoc-tai-tro-nghien-cuu-ai-185230304234603638.htm">Báo Thanh Niên (Vietnamese)</a></li>
       </ul>
@@ -101,20 +101,20 @@ <h2 id="news">News</h2>
           <li>8/2021: 🎉 Farewell party!!!</li>
           <li>7/2021: Three <b>ASE Tool papers</b> (👏 KimHao and Guolong)</li>        
           <li>6/2021: 🚀 Moving to <b>George Mason University</b> (Fall'21)</li>
-          <li>5/2021: 🏅 KimHao received the <b>Outstanding Undergraduate Research Assistant Award</b> from UNL CSE</li>
+          <li>5/2021: 🏅 <b>Outstanding Undergraduate Research Assistant Award</b> from UNL CSE (👏 KimHao)</li>
           <li>5/2021: 🎓 <b>Alexey</b> defended his Master's thesis</li> 
           <li>4/2021: 🏅 KimHao received the <b>Top Presentation Award</b> on analyzing configurable systems at the Nebraska Student Research Days</li>
           <li>12/2020: <i>Three</i> research papers accepted at <b>ICSE'21</b> on inferring interactions in
             configurable software and debugging and repairing Alloy specifications (👏 KimHao and Guolong)
           </li>
           <li>12/2020: 🎁 Received a <b>Faculty Seed Grant Award</b> from UNL</li>
           <li>10/2020: <b>OOPSLA'20</b> research paper on using dynamically inferred nonlinear invariants to prove program termination and non-termination</li>
-          <li>9/2020: 🎁 KimHao received the <b>UCare Award</b> from UNL and the <b>Garmin Scholarship Award</b></li>
+          <li>9/2020: 🎁 <b>UCare Award</b> from UNL and the <b>Garmin Scholarship Award</b> (👏 KimHao)</li>
           <li>8/2020: <b>FSE SEAD</b> workshop paper on using recurrence relations to analyze program complexity (👏 Alexey and Didier)</li>
           <li>7/2020: <b>ICSME</b> NIER paper on using symbolic execution to analyze the Linux build system (👏 KimHao)</li>
           <li>7/2020: <b>ICSME</b> Doctoral Symposium paper on Alloy fault
             localization and repair (👏 Guolong)</li>
-          <li>3/2020: 🎁 Received the <b>NSF CISE Research Initiation Initiative (CRII) Award</b> to work on analyzing the Linux build system.
+          <li>3/2020: 🎁 Received the <b>NSF CISE Research Initiation Initiative (CRII) Award</b> on analyzing the Linux build system.
             Press: <a href="https://computing.unl.edu/nguyen-earns-nsf-crii-award/">UNL</a></li>
           <li>3/2020: <b>KimHao</b> (freshman) joined as an undergraduate researcher</li>
           <li>1/2020: <b>Alexey</b> joined as an M.S. student</li>

pubs.html

@@ -34,9 +34,6 @@
 
     <h2><a href="https://scholar.google.com/citations?user=1Ntl0BYAAAAJ&hl=en&authuser=3">Google Scholars for Dynaroars</a></h2>
 
-    <h2 id="blog"><a href="blog/">Blog</a>: various posts from Dynaroars' members</h2>
-
-
     <h2>Unpublished/Under Submission</h2>