UNIST인공지능대학원

Software Testing and Analysis Research Lab

김미정 부교수 (Mijung Kim)

홈페이지의 모집 안내

“We are looking for research students at all levels, undergraduate interns, MS, MS-PhD, and PhD. If you are interested, please send an email to Mijung at mijungk at unist dot ac dot kr. For more information about our lab, please visit our lab introduction page”

원문에서 확인하기

탑티어 논문: 1
전체 논문: 11
구성원: 7

연구실 소개

이 연구실은 딥러닝 라이브러리와 자율주행 시스템의 테스트, LLM의 소프트웨어 명세 생성 능력, 메모리 오류 탐지 기법을 연구하고 Stack Overflow의 버전 관리 양상도 분석합니다. 저전력 SRAM·플립플롭 회로와 제약 조건을 고려한 정렬기 설계도 다룹니다. 이미지 생성·조작, 문서 이해, 얼굴 이미지 기반 나이 예측을 위한 기법을 연구합니다.

AI가 최신 논문을 바탕으로 생성한 연구실 소개예요

연구실 홈페이지의 소개

Automated software testing and analysis in the artificial intelligence domain, test generation, fuzzing, search-based software engineering, regression testing, and defect prediction. Junwha Hong, Wonil Jang, Mijung Kim, Lei Yu, Yonghwi Kwon, Yuseok Jeon. CMASan: Custom Memory Allocator-aware Address Sanitizer. S&P 2025. ToAppear. Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim. Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries. ICSE 2025. ToAppear. UNIST. CSE 271: Principles of Programming Languages. Fall 2025, Fall 2021. UNIST. CSE 524: Advanced Software Engineering. Spring 2025, Fall 2023, Fall 2021. UNIST. CSE 324: Software Engineering. Spring 2024, Spring 2023, Spring 2021.

원문 보기

연구 분야

대규모 언어 모델 생성 모델·디퓨전 로봇 학습 표현·자기지도 학습

Software Engineering for AI domains · AI application for Software Engineering tasks · Software Testing and Analysis · Fuzzing

컨택 준비

[email protected]

먼저 읽어 볼 최근 논문

Linearly Controllable GAN: Unsupervised Feature Categorization and Decomposition for Image Generation and ManipulationECCV 2024 탑티어

홈페이지에서 읽은 구성원

구성원 7명
졸업생 1명

컨택 메일 쓰는 법

연도별 논문

자주 내는 학회

ECCV 탑티어1편
WACV T21편

정보가 틀렸거나 삭제를 원하시면 [email protected]로 알려 주세요.

비슷한 연구를 하는 연구실

이은석 연구실
성균관대 이은석 교수
탑티어 2전체 14구성원 –
대규모 언어 모델바이오·신약
시스템 보안
연세대 송도경 교수신생 랩모집 안내
탑티어 –전체 4구성원 10
경량화·효율 AI
Programming Languages Lab
POSTECH 박성우 교수
탑티어 9전체 29구성원 10
시계열생성 모델·디퓨전
컴퓨터 시스템 아키텍쳐 연구실
KAIST 유민수 교수
탑티어 14전체 26구성원 82
추천·검색대규모 언어 모델
Intelligent System Software Lab.(ISSL). 지능형 시스템 소프트웨어 연구실
UNIST 백웅기 교수
탑티어 –전체 5구성원 –
생성 모델·디퓨전
컴퓨팅 플랫폼 연구실
성균관대 조형민 교수모집 안내
탑티어 1전체 8구성원 5
AI 가속기대규모 언어 모델

연구실	대학	주요 주제	탑티어 논문	전체 논문	구성원
이은석 연구실이은석 교수	성균관대	대규모 언어 모델바이오·신약생성 모델·디퓨전	2	14	–
시스템 보안송도경 교수신생 랩모집 안내	연세대	경량화·효율 AI	–	4	10
Programming Languages Lab박성우 교수	POSTECH	시계열생성 모델·디퓨전로봇 학습	9	29	10
컴퓨터 시스템 아키텍쳐 연구실유민수 교수	KAIST	추천·검색대규모 언어 모델AI 가속기	14	26	82
Intelligent System Software Lab.(ISSL). 지능형 시스템 소프트웨어 연구실백웅기 교수	UNIST	생성 모델·디퓨전	–	5	–
컴퓨팅 플랫폼 연구실조형민 교수모집 안내	성균관대	AI 가속기대규모 언어 모델그래프 학습	1	8	5