연구실 목록
이주용 교수 연구실
대학원생 모집 중
울산과학기술원 · 컴퓨터공학과
정보 출처아직 확인되지 않음
교수 소개
이주용 교수
교수 홈페이지·논문소개
이주용 교수 연구실은 UNIST 컴퓨터공학과 소속으로, 소프트웨어의 신뢰성·안전성·효율성을 자동으로 높이는 '소프트웨어를 위한 소프트웨어'를 연구한다. 현재 자동 버그 탐색과 자동 패치 생성에 집중하고 있으며, 학생에게 유용한 피드백을 자동 제공하는 지능형 프로그래밍 교습 시스템도 연구한다.
연구 키워드
Software testing such as fuzzingProgram analysis for program repair and verification
대표 논문
- Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning LibrariesICSE (International Conference on Software Engineering) · 2025
- Enhancing the Efficiency of Automated Program Repair via Greybox AnalysisASE (IEEE/ACM International Conference on Automated Software Engineering) · 2024
- Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call BugsISSTA (ACM SIGSOFT International Symposium on Software Testing and Analysis) · 2024
- Automated Program Repair from Fuzzing PerspectiveISSTA (ACM SIGSOFT International Symposium on Software Testing and Analysis) · 2023
- LeakPair: Proactive Repairing of Memory Leaks in Single Page Web ApplicationsASE (IEEE/ACM International Conference on Automated Software Engineering) · 2023
- BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++ASE (IEEE/ACM International Conference on Automated Software Engineering) · 2023
같은 학과의 다른 연구실
- 공태식 교수 연구실모집 중
온디바이스 인공지능, 인공지능 개인화, 유비쿼터스 컴퓨팅, 기계학습
- 문현곤 교수 연구실모집 중
개인정보보호 머신러닝, 기밀 클라우드, 시스템 보안, 컴퓨터 구조, 운영체제
- 위성일 교수 연구실모집 중
웹 보안, 소프트웨어 보안
- 임영빈 교수 연구실모집 중
네트워크 시스템, 대규모 시스템, 모바일 시스템, 신생 응용
- 허성국 교수 연구실모집 중
인간-컴퓨터 상호작용, 인터랙티브 시스템, 에이전틱 인터랙션, 물리적 사용자 인터페이스, 접근성 기술
- 홍재민 교수 연구실모집 중
프로그래밍 언어, 소프트웨어 공학, 정적 분석, 프로그램 변환