KAIST 전산학부 류석영 교수 연구팀이 프로그래밍 언어인 C언어의 치명적인 단점을 보완할 수 있는 기술을 개발해, 최근 세계 권위 학술지와 학술대회에서 주목받고 있습니다.
C언어는 실행속도가 빠르고, 유지보수도 쉽지만, 메모리 할당 및 관리 등에서 여러 문제점이 노출돼 왔어요. 이를 해결하기 위해 개발된 프로그래밍 언어가 '러스트(Rust)'예요.
우리 연구팀에 개발한 기술은 C언어로 작성된 코드를 러스트 언어로 자동 번역해주는 것이 핵심인데, 이번에 그 성과가 세계 최고 권위 학술지 CACM(Communications of the ACM) 11월호 표지논문에 선정되며 집중 조명됐어요.
KAIST는 류석영 전산학부 교수팀(프로그래밍 언어 연구실) 논문이 세계 최대 컴퓨터학회 ACM이 발행하는 최고 권위 학술지 CACM(Communications of the ACM) 11월호 표지 논문으로 선정됐다고 9일 밝혔다. 논문은 C언어를 러스트로 자동 변환하는 류 교수팀 기술을 종합해 다뤘고, 기술 비전과 학문 방향을 제시했어요.
C언어는 1970년대부터 폭넓게 사용되고 있어요. 그러나 구조적 한계 탓에 심각한 버그와 보안 취약점을 지속적으로 유발해 왔죠. 반면 2015년부터 개발된 안전한 프로그래밍 언어인 러스트는 프로그램 실행 전에 버그 탐지·방지 특성이 강점이예요.
미국 백악관은 지난해 2월 기술 보고서에서 C언어 사용 중단을 권고했고, 미국 국방고등연구계획국(DARPA)도 C언어 보안 문제 해결에 러스트가 핵심 대안임을 명시했죠.
류석영 교수 연구팀이 개발한 C→러스트 코드 자동변환 원천기술은 기존 인공지능(AI) 방식보다 정확도가 높다는 평가를 받고 있어요. 미국 DARPA보다 앞서 선제적 연구를 수행해 글로벌 리더십이 입증되기도 했어요.
연구팀은 2023년 5월 프로그램 동기화에 필요한 뮤텍스 변환 기술을 SW 공학 최고 권위 학회 ICSE(International Conference on Software Eng)에서 발표했고, 지난해 6월에는 결과 전달에 사용되는 출력 파라미터 변환 기술을 프로그래밍 언어 분야 최고 학회 PLDI(Programming Language Design and Implementation)에서, 같은 해 10월 다양한 데이터를 함께 저장하는 유니언 변환 기술을 SW 자동화 분야 대표 학회 ASE(Automated Software Eng)에서도 발표해 찬사를 받았죠.
이들 연구는 모두 세계 최고 수준 국제 학술대회에서 세계 최초로 발표된 성과였으니까요.
홍재민 박사는 “우리가 개발한 변환 기술은 프로그래밍 언어 이론에 기반한 원천 기술로, 변환의 '정확성'을 논증할 수 있는 것이 큰 강점”이라며 “대부분 연구가 대규모 언어모델(LLM)에 의존하는 반면, 우리 기술은 변환의 올바름을 수학적으로 보장할 수 있다”고 밝혔어요.
최정훈 기자 jhchoi@etnews.com
