연구실 목록
오학주 교수 연구실
Software Analysis Lab @ Korea University
대학원생 모집 중
고려대학교 · 컴퓨터학과
정보 출처아직 확인되지 않음
교수 소개
오학주 교수
교수 홈페이지·논문소개
오학주 교수 연구실(소프트웨어 분석 연구실, SAL@KU)은 고려대학교 컴퓨터학과 소속으로, 프로그래밍 언어와 컴파일러, 소프트웨어 공학, 소프트웨어 보안을 핵심 분야로 연구한다. 소프트웨어 시스템을 정적·동적으로 분석하고 프로그래밍 언어의 동작을 이해하는 데 중점을 두어 자동화된 프로그램 분석 기법을 개발한다.
연구 키워드
소프트웨어 분석 연구실
대표 논문
- EvoLLM: High-Coverage, Readable, and Token-Efficient Unit Test Generation for Industrial Java CodebasesASE (Industry Showcase Track) · 2026
- Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant ScenariosOOPSLA · 2026
- Pig: Leveraging Large Language Models for Python Library MigrationsFSE · 2026
- TypeCare: Boosting Python Type Inference Models via Context-Aware Re-Ranking and AugmentationICSE · 2026
- Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch DetectionOOPSLA · 2025
- PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault PatternsOOPSLA · 2025
같은 학과의 다른 연구실
- 곽정호 교수 연구실모집 중
지능 컴퓨팅 및 네트워킹
- 구건재 교수 연구실모집 중
Computer Architecture (컴퓨터 구조)
- 김동선 교수 연구실모집 중
Program Analysis, Learning, and Mining (PALM)
- 김진규 교수 연구실모집 중
비전 및 인공지능
- 박성우 교수 연구실모집 중
생성형 지능시스템 연구실 (Generative Intelligence Lab)
- 박지혁 교수 연구실모집 중
프로그래밍 언어 연구실