Software Analysis Lab @ Korea University

Recruiting grad students

Korea University · Computer Science and Engineering

Information sourcenot verified yet

This lab is recruiting graduate students

의욕 있는 대학원생·학부생·박사후연구원 상시 모집.

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

오학주 교수 연구실(소프트웨어 분석 연구실, SAL@KU)은 고려대학교 컴퓨터학과 소속으로, 프로그래밍 언어와 컴파일러, 소프트웨어 공학, 소프트웨어 보안을 핵심 분야로 연구한다. 소프트웨어 시스템을 정적·동적으로 분석하고 프로그래밍 언어의 동작을 이해하는 데 중점을 두어 자동화된 프로그램 분석 기법을 개발한다.

Research keywords

소프트웨어 분석 연구실

Selected publications

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

Other labs in this department

See all labs in this department