메인 콘텐츠로 이동
연구실 목록

허기홍 교수 연구실

Kihong Heo

대학원생 모집 중

한국과학기술원 · 정보보호대학원

정보 출처아직 확인되지 않음

이 랩은 대학원생을 모집하고 있어요

전산학부 및 정보보호대학원 합격자 중에서 대학원생을 선발하며, 지원 서류 제출 전 사전 면담을 권장한다.

아래 교수·홈페이지 링크에서 컨택 방법을 확인하세요.

이 연구실, 재학생에게 물어보세요

궁금한 점을 진로·진학 게시판에 남겨보세요. 학교를 인증한 재학생·대학원생이 블라인드 신원으로 답할 수 있어요.

교수 소개

허기홍 교수

교수 홈페이지·논문

소개

프로그래밍 시스템 연구실(Programming Systems Lab)을 이끌며 인공지능과 소프트웨어 공학을 융합한 차세대 프로그램 분석·합성·변환 및 보안 기술을 연구한다. 소프트웨어의 심각한 오류를 자동으로 검출하고 수정하는 기술, 용도에 맞게 프로그램을 자동 변형·생성하는 기술을 다룬다. 프로그래밍 언어 및 분석 이론과 인공지능 기법을 함께 탐구·설계한다.

연구 키워드

Computational theorysoftware designsecure computing

최근 논문

OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요

대표 논문

  • Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy OraclesPLDI · 2026
  • Optimization-Directed Compiler Fuzzing for Continuous Translation ValidationPLDI · 2025
  • UnitCon: Synthesizing Targeted Unit Tests for Java Runtime ExceptionsFSE · 2025
  • Translation Validation for JIT Compiler in the V8 JavaScript EngineICSE · 2024
  • DAFL: Directed Grey-box Fuzzing Guided by Data DependencyUSENIX Security · 2023
  • Tracer: Signature-based Static Analysis for Detecting Recurring VulnerabilitiesCCS · 2022

비슷한 연구를 하는 다른 연구실

이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요

같은 학과의 다른 연구실

이 학과 연구실 전체 보기