[Research] update

Author: KihongHeo

_pages/research.md

@@ -1,15 +1,15 @@
 ---
-layout: splash
+layout: single
+title: "Research"
 permalink: /research/
 classes: wide
-author_profile: false
+author_profile: true
 ---
 
-## Research
 Our research aims to develop safe and smart programming systems using solid programming langauge theories
 and adaptive AI techniques.
 
-#### Program Analysis
+## Program Analysis
 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:
@@ -20,15 +20,41 @@ Our mission is to achieve a quantum leap in program analysis by combining static
 - [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
+Funded by
+ 
+<img src="https://www.nrf.re.kr/resources/img/imgs/header/header-logo.png" alt="NRF" style="height: 30px; vertical-align: baseline">
+&nbsp;
+<img src="https://upload.wikimedia.org/wikipedia/commons/thumb/2/24/Samsung_Logo.svg/960px-Samsung_Logo.svg.png" alt="Samsung" style="height: 30px;  vertical-align: baseline">
+
+## Compiler Correctness
 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
+Funded by
+&nbsp;
+<img src="https://www.nrf.re.kr/resources/img/imgs/header/header-logo.png" alt="NRF" style="height: 30px; vertical-align: baseline">
+&nbsp;
+<img src="https://upload.wikimedia.org/wikipedia/commons/thumb/9/93/Amazon_Web_Services_Logo.svg/512px-Amazon_Web_Services_Logo.svg.png" alt="AWS" style="height: 30px; vertical-align: baseline">
+
+## Automatic Test Generation
 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
+  <a href="https://prosys.kaist.ac.kr/unitcon"><i class="fas fa-home" style="font-size: 18px; vertical-align: baseline"></i></a>
+
+Funded by
+&nbsp;
+<img src="https://www.nrf.re.kr/resources/img/imgs/header/header-logo.png" alt="NRF" style="height: 30px; vertical-align: baseline">
+
+## Robust and Reliable AI Systems
+We develop trustworthy AI systems for critical tasks such as automatic code generation and mobile agents.
+Our mission is to ensure the robustness and reliability of AI systems by leveraging program analysis and large language models:
+- [Safeguarding Mobile GUI Agent via Logic-based Action Verification](https://arxiv.org/abs/2503.18492v1), Preprint, 2025
+
+Funded by
+&nbsp;
+<img src="https://www.nrf.re.kr/resources/img/imgs/header/header-logo.png" alt="NRF" style="height: 30px; vertical-align: baseline">