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 [email protected].
Our paper, SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair, is accepted in ICSE 2026. The link will be updated when the paper is uploaded in ACM Library!
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.
