Automatic Logic Restructuring for Program Optimization
개인기초연구(과기정통부)(R&D) · 우수연구-핵심연구(유형A)
2026년
2710116478
과학기술정보통신부
한국연구재단
한양대학교
김윤호
4명
2026.09.01 ~ 2027.08.31
2025.09.01 ~ 2028.08.31
6,409만원
6,409만원
기초연구
대학
서울특별시 성동구
정보/통신 > 정보이론 > 소프트웨어 공학
본 연구는 대규모 언어 모델(LLM)에 기반한 자동화된 로직 재구성 기술을 활용하여 SW의 성능을 최적화하는 방법론을 제안한다. 프로그램 최적화를 위한 자동 로직 재구성 기술은 1) 프로그램 로직을 분석해서 최적화 대상이 되는 코드를 선정하고, 2) 최적화 대상 코드를 함수 단위로 로직을 재구성한다. 이후 3) 함수 단위 로직 재구성 정보를 활용하여 전체 ...
본 연구는, 프로그램 로직 재구성을 통한 효과적인 프로그램 최적화 기술 개발을 목표로 진행한다. 이를 위해, 기존 프로그램의 최적화가 필요한 코드 대상을 찾기 위한 1) 동적/정적 분석 기반 프로그램 로직 분석 기술을 개발한다. 이 기술을 활용하여 추출한 최적화 대상 코드 정보를 기반으로, 2) 각 함수의 프로그램 로직을 재구성하여 함수 단위 최적화를 수행...
1) 연구과제의 활용방안● 코드 최적화 서비스 제공: 연구 결과를 활용하여 개발자가 쉽게 사용할 수 있는 코드 최적화 및 코드 분석 서비스 개발을 통해 SW 품질 향상에 기여● 오픈소스 및 오픈사이언스 기여: 개발된 기술/도구/평가 데이터 등을 공개하여, 전 세계 개발자들의 피드백을 바탕으로 기술 개선 및 활용도 증대 2) 연구과제의 기대효과● 산업 경쟁...