Skip to main content
Lab directory

Kihong Heo

Kihong Heo

Recruiting grad students

KAIST · School of Computing

Information sourcenot verified yet

This lab is recruiting graduate students

안전하고 실용적인 프로그래밍 시스템 연구에 관심 있는 대학원생·학부생 상시 모집. 이력서·성적표·GitHub 제출.

Apply / Contact

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

Professor

Prof. 허기홍

Professor's page · publications

About

KAIST 전산학부 부교수로 프로그래밍 시스템 연구실을 이끈다. 프로그램 분석, 소프트웨어 오류 탐지 및 안전성 검증, AI를 활용한 안전한 코드 생성과 검증을 연구한다.

Research keywords

Program analysisprogramming languagessoftware security

Recent papers

From OpenAlex · papers whose author affiliation matches this university

Selected publications

  • Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy OraclesPLDI (ACM SIGPLAN Conference on Programming Language Design and Implementation) · 2026
  • Optimization-Directed Compiler Fuzzing for Continuous Translation ValidationPLDI (ACM SIGPLAN Conference on Programming Language Design and Implementation) · 2025
  • UnitCon: Synthesizing Targeted Unit Tests for Java Runtime ExceptionsFSE (ACM International Conference on the Foundations of Software Engineering) · 2025
  • Evaluating Directed Fuzzers: Are We Heading in the Right Direction?FSE (ACM International Conference on the Foundations of Software Engineering) · 2024
  • Translation Validation for JIT Compiler in the V8 JavaScript EngineICSE (International Conference on Software Engineering) · 2024
  • DAFL: Directed Grey-box Fuzzing Guided by Data DependencyUSENIX Security Symposium · 2023

Labs doing related research

Labs that recently published on topics this lab's recent papers share

Shared topic: Logic, programming, and type systems

Other labs in this department

See all labs in this department