Seungheon Han

• Computer science and engineering
• Combined master’s and doctoral program
• Lab of Software (LOFT) in UNIST (Ulsan National Institute of Science and Technology)
• Program verification, automated program repair, fuzzing, symbolic execution
• E-Mail: shhan@unist.ac.kr
• github: https://github.com/hsh814

Publications

2025

• SymRadar: PoC-Centered Bounded Verification for Vulnerability Repairs (ICSE 2026)

2024

• Enhancing the Efficiency of Automated Program Repair via Greybox Analysis (ASE 2024)

2023

• Automated Program Repair from Fuzzing Perspective (ISSTA 2023)

Projects

• SimAPR: a patch scheduling framework for the patch searching problem. Used for Casino (ISSTA’23) and Gresino (ASE’24) research.
• symradar: a patch verification tool for vulnerability repair. Based on KLEE symbolic execution engine. Supports symbolic execution and lazy initialization. Used for SymRadar (ICSE’26) research.