KAIST 연구진이 오래된 프로그래밍 언어인 C언어를 안전한 새 언어 러스트(Rust)로 자동 변환하는 기술을 개발했다.
KAIST는 류석영 전산학부 교수 연구팀(프로그래밍 언어 연구실)이 C 언어를 러스트(Rust)로 자동 변환하는 기술을 개발해세 계 최대 컴퓨터학회인 ACM(Association for Computing Machinery)이 발행하는 권위 학술지 CACM(Communications of the ACM) 11월호 표지 논문으로 선정됐다고 9일 밝혔다.
C 언어는 1970년대부터 산업계에서 폭넓게 사용돼 왔으나, 구조적 한계로 인해 심각한 버그와 보안 취약점을 유발해 왔다.
반면 러스트는 2015년부터 개발된 안전한 프로그래밍 언어로, 운영체제 및 웹 브라우저 개발 등에 사용되며, 프로그램 실행 전에 버그를 탐지하고 방지할 수 있는 특성을 지닌다.
미국 백악관이 지난해 2월 발표한 기술 보고서에서 C 언어 사용 중단을 권고했고, 미국 국방고등연구계획국(DARPA) 또한 C 코드를 러스트로 자동 변환하는 기술 개발 과제를 추진하며 C 언어의 보안 문제 해결에 러스트가 핵심 대안임을 명시했다.
연구팀은 이러한 움직임이 본격화되기 이전부터 C 언어의 안전성 문제와 자동 변환의 중요성을 선제적으로 제기하고, 관련 핵심 기술을 지속적으로 개발해 왔다.
연구팀은 2023년 5월 프로그램 동기화에 필요한 뮤텍스(Mutex) 변환 기술을소프트웨어 공학 분야 권위 학회인 ICSE(International Conference on Software Eng)에서 발표했다.
지난해 6월에는 결과 전달에 사용되는 출력 파라미터 변환 기술을 프로그래밍 언어 분야 최고 학회인 PLDI(Programming Language Design and Implementation)에서, 같은 해 10월에는 다양한 데이터를 함께 저장하는 유니언 변환 기술을 소프트웨어 자동화 분야 대표 학회인 ASE(Automated Software Eng)에서 각각 발표했다.
연구팀은 2023년 이후 매년 CACM에 논문을 게재하며 세계적으로 중요하고 도전적인 문제를 꾸준히 해결해 온 글로벌 선도 연구진으로 자리매김했다.
홍재민 KAIST 박사는 “이번에 개발한 변환 기술은 프로그래밍 언어 이론에 기반한 원천 기술로, 변환의 ‘정확성’을 논증할 수 있는 것이 큰 강점”이라며 “대부분의 연구가 대형언어모델(LLM)에 의존하는 반면, 우리 기술은 변환의 올바름을 수학적으로 보장할 수 있다”고 밝혔다.