[Research] update

Author: KihongHeo

_pages/publications.md

@@ -46,13 +46,13 @@ and {{ author }}
     [<a href="{{ site.baseurl }}/publications/{{ pub.slides }}">slides</a>]
   {% endif %}
   {% if pub.video != nil %}
-    <a href="{{ pub.video }}"><i class="fab fa-youtube" style="font-size: 20px; vertical-align: middle"></i></a>
+    <a href="{{ pub.video }}"><i class="fab fa-youtube" style="font-size: 18px; vertical-align: baseline"></i></a>
   {% endif %}
   {% if pub.code != nil %}
-    <a href="{{ pub.code }}"><i class="fab fa-github" style="font-size: 20px; vertical-align: middle"></i></a>
+    <a href="{{ pub.code }}"><i class="fab fa-github" style="font-size: 18px; vertical-align: baseline"></i></a>
   {% endif %}
   {% if pub.project_page != nil %}
-    <a href="{{ pub.project_page }}"><i class="fas fa-home" style="font-size: 20px; vertical-align: middle"></i></a>
+    <a href="{{ pub.project_page }}"><i class="fas fa-home" style="font-size: 18px; vertical-align: baseline"></i></a>
   {% endif %}
   </li>
 {% endfor %}

_pages/research.md

@@ -10,18 +10,25 @@ Our research aims to develop safe and smart programming systems using solid prog
 and adaptive AI techniques.
 
 #### Program Analysis
-We develop static and dynamic program analysis techniques to discover deep semantic bugs and security vulnerabilities in real-world software systems:
+We develop a next-generation program analysis system to discover deep semantic bugs and
+security vulnerabilities in real-world software.
+Our mission is to achieve a quantum leap in program analysis by combining static analysis, dynamic analysis, and AI techniques:
 - [Evaluating Directed Fuzzers: Are We Heading in the Right Direction?]({{ site.url }}{{ site.baseurl }}/publications/fse24.pdf), FSE 2024
 - [DAFL: Directed Grey-box Fuzzing Guided by Data Dependency]({{ site.url }}{{ site.baseurl }}/publications/sec23.pdf), Security 2023
 - [Tracer: Signature-based Static Analysis for Detecting Recurring Vulnerabilities]({{ site.url }}{{ site.baseurl }}/publications/ccs22.pdf), CCS 2022
+  <a href="https://prosys.kaist.ac.kr/tracer"><i class="fas fa-home" style="font-size: 18px; vertical-align: baseline"></i></a>
 - [Learning Probabilistic Models for Static Analysis Alarms]({{ site.url }}{{ site.baseurl }}/publications/icse22.pdf), ICSE 2022
 - [Boosting Static Analysis Accuracy With Instrumented Test Executions]({{ site.url }}{{ site.baseurl }}/publications/fse21.pdf), FSE 2021
 
 #### Compiler Correctness
-We develop a new approach to verify the correctness of compilers using a combination of translation validation and fuzzing techniques:
+We develop a new approach to check the correctness of widely used optimizing compilers (e.g., LLVM and V8).
+Our system leverages a combination of rigorous translation validation and efficient fuzzing techniques:
 - [Optimization-Directed Compiler Fuzzing for Continuous Translation Validation]({{ site.url }}{{ site.baseurl }}/publications/pldi25.pdf), PLDI 2025
+  <a href="https://prosys.kaist.ac.kr/optimuzz"><i class="fas fa-home" style="font-size: 18px; vertical-align: baseline"></i></a>
 - [Translation Validation for JIT Compiler in the V8 JavaScript Engine]({{ site.url }}{{ site.baseurl }}/publications/icse24.pdf), ICSE 2024
+  <a href="https://prosys.kaist.ac.kr/turbo-tv"><i class="fas fa-home" style="font-size: 18px; vertical-align: baseline"></i></a>
 
 #### Automatic Test Generation
-We develop a system to automatically generate unit tests for Java programs using a combination of static analysis and program synthesis techniques:
+We develop an intelligent test generation system to automatically generate high-quality unit test cases for real-world software.
+This system is based on a combination of static analysis and program synthesis techniques:
 - [UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions]({{ site.url }}{{ site.baseurl }}/publications/fse25.pdf), FSE 2025