YoungJae Kim

I'm combined MS-Ph.D. student in Lab of Software (LOFT), Department of Computer Science and Engineering (CSE), Ulsan National Institute of Science and Technology (UNIST).
My E-mail address is kyj1411@unist.ac.kr.

Sites

My papers

Our paper, SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair, is accepted in ICSE 2026. Thanks for my labmate, Seungheon Han and my supervisor, Jooyong Yi.
Our paper (written in Korean), Axolotl: Automatically Fix Programs’ Fault On-the-fly, is accepted in KCSE 2026 (Korea's local conference). Link will be updated soon.
Our paper, Enhancing the Efficiency of Automated Program Repair via Greybox Analysis, is published in ASE 2024.
Our paper, Automated Program Repair from Fuzzing Perspective, is published in ISSTA 2023.

Tools for my papers & research

JPatchInst: a Java Instrumentation tool to instrument patched program generated by SimAPR or other APR tools. It is used in our ASE paper.
I added several features in tree-sitter. Please visit this link to see my repository.
I modified py-tree-sitter, a Python binding for tree-sitter, to use my custom tree-sitter. My py-tree-sitter is in here.
SimAPR, a Patch Scheduling Algorithm Simulator used in several papers.
I made llm-server, a simple Python Flask server to use local LLMs easier with same interface.

Reproducible tools & benchmarks

Below are the tools from research papers and benchmarks for better reproducibility. Thanks for the authors for providing the implementations and benchmarks.

magma: C/C++ vulnerabilities which has multiple bugs in a single program.
vulnloc-benchmark: C vulnerabilities used in vulnloc.
BugsInPy++: Python benchmarks with conda environment. Improved version of BugsInPy.
spider: a Patch Verification tool for C/C++ using static analysis.
VulMaster: an AVR tool using LLMs such as GPT.
san2patch: an AVR tool using LLMs and Tree-of-Thought (ToT) approach.