Seungheon Han -

Registered user since Thu 13 Jul 2023

Name:Seungheon Han

Country:South Korea

Affiliation:UNIST (Ulsan National Institute of Science and Technology)

Personal website: https://hsh814.github.io

GitHub: https://github.com/hsh814

Research interests:Program verification, automated program repair, fuzzing, symbolic execution

Contributions

2026

ICST

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

ICSE

Author of SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair within the Research Track-track

2024

ASE

2023

ISSTA

Author of Automated Program Repair from Fuzzing Perspective within the Technical Papers-track