이 연구실은 C, JavaScript, JNI 등 다양한 프로그래밍 언어와 플랫폼 간 변환 및 정적 분석 기술 개발에 집중하고 있습니다. 특히 대규모 언어 모델을 활용한 타입 마이그레이션, 동적 단축을 통한 분석 가속화, 그리고 자동화된 테스트 생성 및 검증 방법론을 통해 소프트웨어의 신뢰성과 안전성을 높이는 연구를 수행합니다.
학과 페이지에 적힌 연구 분야
프로그래밍 언어, 프로그램 분석, 컴파일러
45
논문
31
주도 (교신·마지막저자)
10
분야 상위 10% 논문
0.97
FWCI 중앙값
346
총 인용
2013–2026
수집 범위
FWCI(Field-Weighted Citation Impact)는 같은 분야·연도·논문 유형의 세계 평균을 1.0으로 놓고 비교한 값입니다. 분야 보정이 되어 있어 학회 논문과 저널 논문, 전산학과 재료공학을 같은 잣대로 볼 수 있습니다. 논문 45편 중 37편에 대해 산출됐습니다.
논문 유형
저널 논문 29학회 논문 14프리프린트 2
연도별 논문
주도 (교신·마지막저자)참여
2026년 · 주도 5편 · 참여 4편
연구 계통도
모든 분야가 2025년 이후로도 이어지고 있습니다.
가로축은 연도, 점 크기는 그 해 논문 수입니다. 실선은 지금도 이어지는 줄기, 점선과 빈 동그라미는 2025년 전에 끊긴 줄기입니다. 논문 2편 이하인 분야 3개(3편)는 단발성 협업으로 보아 그리지 않았습니다.
전국 대학 · 전 분야