유신 교수 연구실
Automated Debugging Lab
한국과학기술원 · 전산학부
교수 소개
유신 교수
교수 홈페이지·논문소개
유신(Shin Yoo) 교수는 KAIST 전산학부 정교수로 COINSE(Computational Intelligence for Software Engineering) 연구실을 이끈다. 탐색 기반 소프트웨어 공학, 소프트웨어 테스팅, 자동 디버깅(결함 위치 추정)과 자동 프로그램 수정, 그리고 LLM을 활용한 SE4AI/AI4SE를 연구한다. 변이 기반 결함 위치 추정 연구로 IEEE TCSE Most Influential Paper Award(ICST 2024)를 수상했다.
연구 키워드
최근 논문
- Foreword: Pre-Generation Prediction and Characterisation of LLM Test Failures using the Jacobian Lens새 논문프리프린트arXiv (Cornell University) · 10월 20일
- Atropos: Improving Cost-Benefit Trade-Off of LLM-Based Agents under Self-Consistency with Early Termination and Model HotswapProceedings of the ACM on software engineering. · 10월 1일
- Synthetic Semantic Supervision for Contrastive Code Representation Learning in Small Transformers: An Empirical Study새 논문프리프린트arXiv (Cornell University) · 9월 3일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
대표 논문
- Challenges in Testing Large Language Model Based Software: A Faceted TaxonomyACM Transactions on Software Engineering and Methodology (TOSEM) · 2026
- Atropos: Improving Cost-Benefit Trade-off of LLM-Based Agents under Self-Consistency with Early Termination and Model HotswapPACMSE (ISSTA) · 2026
- Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM InputsPACMSE (FSE) · 2026
- An empirical study of fault localisation techniques for deep neural networksEmpirical Software Engineering · 2025
- Explainable Automated Debugging via Large Language Model-driven Scientific DebuggingEmpirical Software Engineering · 2025
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Software Engineering Research
김기섭 교수 연구실
대구경북과학기술원 · 전자공학전공
Towards Automatically Pruning Logging Code with Coding Agents: How Far Are We?프리프린트arXiv (Cornell University) · 10월 3일한요섭 교수 연구실
연세대학교 · 컴퓨터과학과
SLICE: Specification-Level Isolation of Contract Enforcement프리프린트arXiv (Cornell University) · 8월 21일권영진 교수 연구실
한국과학기술원 · 정보보호대학원
AgSpec: Pushing the Limits of Retrieval-Based Speculative Decoding in Coding Agent Pipelines프리프린트arXiv (Cornell University) · 10월 1일
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
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