연구실 목록
허기홍 교수 연구실
Kihong Heo
대학원생 모집 중
한국과학기술원 · 전산학부
정보 출처아직 확인되지 않음
교수 소개
허기홍 교수
교수 홈페이지·논문소개
KAIST 전산학부 부교수로 프로그래밍 시스템 연구실을 이끈다. 프로그램 분석, 소프트웨어 오류 탐지 및 안전성 검증, AI를 활용한 안전한 코드 생성과 검증을 연구한다.
연구 키워드
Program analysisprogramming languagessoftware security
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
대표 논문
- 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
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
홍재민 교수 연구실
울산과학기술원 · 컴퓨터공학과
Rust’s Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustcProceedings of the ACM on software engineering. · 10월 1일허기홍 교수 연구실
한국과학기술원 · 정보보호대학원
State of the art in program analysisInternational Journal on Software Tools for Technology Transfer · 9월 1일Ralf Jung 교수 연구실
취리히 연방공과대학교 · 컴퓨터과학과
Completeness of Iris-Based Program LogicsProceedings of the ACM on Programming Languages · 8월 17일
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
Network and distributed system security
- 권영진 교수 연구실모집 중
Operating systems, system security
- 김민수 교수 연구실모집 중
Databases, data mining/machine learning, medical/bioinformatics
- 김주호 교수 연구실모집 중
HCI, human-AI interaction, social computing, crowdsourcing, online education
- 김현우 교수 연구실모집 중
AI, computer vision, machine learning
- 문수복 교수 연구실모집 중
Network platforms, online social networks