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) supervised by Prof. Jooyong Yi.

Email & Sites

Email: kyj1411@unist.ac.kr
Homepage: https://freddyyj.github.io
Google Scholar: https://scholar.google.com/citations?user=tJkh3uMAAAAJ
Github: https://github.com/FreddyYJ
LinkedIn: https://www.linkedin.com/in/youngjae-kim-6223293a1

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, Axolotl: Automatically Fix Programs’ Fault On-the-fly, is published in Korean Conference of Software Engineering (KCSE) 2026. Note that this paper is written in Korean.
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.