< (왼쪽부터) 전산학부 류석영 교수, 홍재민 석박사통합과정 >
컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어이다. 실행속도도 빠르고 유지보수도 쉬운 언어가 C언어인데 메모리 할당 및 관리 등에 치명적인 문제점을 가지고 있다. 이런 문제를 해결하기 위해 개발된 프로그래밍 언어는 러스트이다. 미국 백악관이나 국방성에서 메모리 문제를 막기 위해 러스트같이 안전한 언어 사용을 촉구하고 있는데 우리 대학 연구진이 C-러스트 코드 번역 기술을 이미 선제적으로 개발하고 선도하고 있어 화제다.
우리 대학 전산학부 류석영 교수 연구팀(프로그래밍 언어 연구실)이 C언어의 유니언(union)*을 러스트의 태그드 유니언(tagged union)으로 변환하는 기술을 세계 최초로 개발했다고 13일 밝혔다.
*유니언: 여러 종류의 데이터를 같은 공간에 보관해 메모리 효율을 높이는 C언어의 핵심 기능이다. 그러나 보관된 데이터가 어떤 종류인지 구분하지 않아 메모리 문제를 일으킬 수 있다.
**태그드 유니언: 같은 공간에 보관할 수 있는 여러 종류의 데이터 중 어떤 종류의 데이터를 보관하는지 태그를 붙여서 구분하여, 메모리 문제를 일으키지 않는다.
연구팀은 C언어의 유니언에 특화된 새로운 프로그램 분석 기법을 고안해 러스트의 태그드 유니언으로 자동 번역하는 데 성공했다.
올해 2월 백악관에서도 C언어의 사용을 중단하라고 촉구한 바가 있고(https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf) 미국 국방고등연구계획국(이하 DARPA)에서 C언어로 작성된 코드를 러스트(Rust)로 자동 번역하는 기술을 개발하는 연구 과제를 발표했다.(https://www.darpa.mil/program/translating-all-c-to-rust) DARPA는 미국 국방성의 연구·개발을 담당하는 기관이며 인터넷의 원형인 아파넷(ARPANET)을 개발하는 등 혁신적이고 영향력 있는 연구를 지원해 왔다. DARPA는 이 과제를 제안하며 C의 메모리 문제를 막기 위해 러스트같이 안전한 언어를 사용해야 한다고 밝혔다.
러스트는 2015년부터 개발된 프로그래밍 언어다. 운영 체제, 웹 브라우저 개발 등에 쓰이며, 2022년에는 리눅스(Linux) 개발에도 공식 사용되기 시작했다.(https://www.infoq.com/news/2022/12/linux-6-1-rust/) C와 달리 프로그램 실행 전에 메모리 문제를 탐지하고 예방할 수 있는 것이 특징이다.
류 교수 연구진은 2023년 5월과 2024년 6월에 각각 C의 뮤텍스(mutex)*와 출력 파라미터(output parameter)**를 러스트로 변환하는 기술을 세계 최초로 개발해, 최우수 국제 학술대회인 국제소프트웨어엔지니어링학회(ICSE)와 프로그래밍언어설계구현학회(PLDI)에 발표한 바 있다.
*뮤텍스: 프로그램 동기화에 필요한 기능
**출력 파라미터: 계산 결과 전달에 사용되는 기능
< 그림 1. 제시한 번역 기법의 전체 과정 도식. C 코드를 문법적 번역기를 사용해 유니언을 사용하는 러스트 코드로 번역한다. 분석 후보 선정, 가리키는 곳 분석, 휴리스틱 알고리즘의 단계를 통해 코드를 분석한다. 분석 결과를 바탕으로 두 가지 변환 전략을 적용하여 유니언을 태그드 유니언으로 변환한다. >
C언어와 러스트의 큰 간극으로 인해 세계적으로도 C-러스트 코드 번역 기술을 성공적으로 개발한 연구팀은 극소수다. 그마저도 포인터(pointer)*를 변환하는 데 머물고 있다. 그러나 류석영 교수 연구팀은 C의 여러 핵심 기능을 변환하는 기법을 연달아 제시해 C-러스트 코드 번역 기술을 선도하고 있다.
*포인터: 데이터 저장 위치를 표현하는 기능
류석영 교수는 “안전한 소프트웨어 제작을 목표로 연구하면서 C-러스트 코드 번역의 중요성을 일찍이 파악하고 각종 프로그래밍 언어 기법들을 코드 번역에 적극적으로 도입하여 나온 결과”라면서, “완전한 자동 번역을 위해 아직 풀어야 할 난제가 많으니 후속 연구에 정진하여 계속 분야를 선도하겠다”고 말했다.
< 그림 2. 유니언을 사용하는 C 코드의 기존 번역 결과와 제안한 기법을 적용한 번역 결과. 기존 번역 결과는 유니언을 태그드 유니언으로 대체하지 않아 메모리 문제를 방지하지 못했다. 반면, 제안한 기법을 적용한 번역 결과는 유니언을 태그드 유니언으로 대체해 메모리 문제를 방지했다. >
전산학부 홍재민 석박사통합과정 학생이 제1 저자로 참여한 이번 연구 결과는 최우수 국제 학술대회인 국제자동소프트웨어엔지니어링학회(ASE)에 채택됐다(논문명: To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions).
한편 이번 연구는 한국연구재단 선도연구센터 및 중견연구자지원사업, 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.
-
인물 윤인수 교수와 학생·동문들, 세계 최고 해킹대회 ‘DEF CON CTF(데프콘 CTF) 2026’ 준우승
우리 대학은 전기및전자공학부 윤인수 교수와 학생과 동문들이 대거 참여한 한국 해킹팀 ‘0x4b52’가 지난 8월 7일부터 9일까지 미국 라스베이거스에서 열린 ‘DEF CON CTF 2026(데프콘 캡처 더 플래그 2026)’에서 최종 2위를 차지했다고 14일 밝혔다. 약 30명의 한국인 해커로 구성된 0x4b52는 세계 정상급 다국적 연합팀들과 경쟁해 준우승을 거뒀다. 이는 2015년 한국팀 ‘DEFK0R’가 우승한 이후 순수 한국인 팀이 DEF CON CTF에서 거둔 가장 높은 성적이다. 특히 전 세계 686개 팀이 참가한 예선에서 상위 12개 팀만 본선 진출권을 얻은 가운데, 0x4b52는 예선 5위로 본선에 진출한 뒤 최종 2위까지 순위를 끌어올렸다. 학부생과 대학원생, 졸업생 등 서로 다른 세대의 KAIST 구성원들이 한 팀으로 참여해 세계 정상급 해커들과 경쟁하며 거둔 성과라는 점에서도 의미가 크다.
2026-08-14 -
행사 멘토링 넘어 KAIST연구 협력으로…'제3회 K-ROBOTICS STARTUP CUP' 혁신팀 모집
우리 대학은 과학기술정보통신부, 대전광역시, 연구개발특구진흥재단, KAIST홀딩스, 대전테크노파크, 대전창조경제혁신센터 등과 함께 ‘2026년 하반기 로봇창업경진대회(제3회 K-ROBOTICS STARTUP CUP)’를 개최하고, 참가팀을 모집한다고 7일 밝혔다. 본 대회는 전국의 유망 로봇 창업팀을 발굴하고 R&D, 사업화, 투자와 재투자로 이어지는 산업 선순환 구조를 구축하기 위해 마련된 경진대회다. 단순한 아이디어 경연을 넘어 참가팀이 보유한 기술과 KAIST 로봇 분야 연구진의 전문성을 연결해 기술 고도화와 사업화 가능성을 함께 모색하는 것이 특징이다. 특히 상반기 프로그램에서는 참가팀과 KAIST 연구진 간 멘토링이 후속 미팅과 연구 협력 논의로 이어지는 성과가 나타났다. 하반기에는 이러한 성과를 바탕으로 기술 연계 수요와 보유 역량이 구체적인 창업팀을 발굴해 더욱 밀도 높은 협력을 지원할 예정이다. 상반기 멘토링에서 후속 연구 논의까지&h
2026-08-11 -
연구 미국 에너지부 성능 목표를 넘어선 PEMFC 복합재분리판 개발
수소연료전지는 자동차, 버스, 트럭 등을 운행하면서 배기가스를 배출하지 않는 친환경 동력원이다. 그러나 연료전지 내부에서 전기와 열을 전달하고 수소와 공기의 흐름을 관리하는 핵심 부품인 분리판은 수소연료전지의 대량생산과 상용화를 어렵게 하는 요소 중 하나이다. 기존 분리판은 주로 무거운 금속이나 깨지기 쉬운 흑연으로 제작되며, 가격이 높고 대량으로 생산하기 어렵다는 한계가 있다. 우리 대학 기계공학과 김성수 교수 연구팀은 이러한 문제를 해결하기 위해 가볍고 강하면서도 전기와 열을 효과적으로 전달할 수 있는 새로운 복합재 분리판을 개발했다. 핵심은 서로 다른 탄소 소재의 장점을 결합한 독창적인 샌드위치 구조이다. 중앙에는 카본블랙과 환원 그래핀 산화물로 만든 초박형 흑연화 시트를 배치하고, 그 양쪽에는 다중벽 탄소나노튜브가 고르게 분산된 팽창흑연층을 형성했다. 전체 구조는 열과 화학물질에 강한 고성능 고분자인 폴리벤족사진을 이용해 하나로 결합했다. 개발된 분리판은 전기전도성
2026-08-04 -
연구 국내 유일 Microsoft AI 안전성 연구 프로그램 선정
생성형 AI가 산업과 사회 전반으로 빠르게 확산되면서 AI의 안전성과 보안성을 확보하는 기술이 새로운 핵심 경쟁력으로 떠오르고 있다. 우리 대학이 국내에서는 유일하게 Microsoft(마이크로소프트)의 글로벌 AI 안전성 연구 프로그램에 선정돼 차세대 AI 보안·신뢰성 기술 개발에 나선다. 우리 대학은 전산학부 손수엘 교수가 국내에서는 유일하게 Microsoft AI Red Team(마이크로소프트 AI 레드팀)이 운영하는 글로벌 AI 안전성 연구 프로그램 ‘EXTRA(External Red Team Alliance, 외부 레드팀 연합)'의 연구지원 대상자로 선정됐다고 28일 밝혔다. EXTRA는 Microsoft AI Red Team이 올해 새롭게 출범한 글로벌 연구지원 프로그램으로, AI 시스템의 안전성과 보안 취약점을 다양한 관점에서 검증하고 독립적인 AI 안전성 연구 생태계를 확대하기 위해 마련됐다. AI 안전성 평가를 기업 내부에만 맡기지 않고
2026-07-28 -
인물 김종환 명예교수, 영어 웹툰 'All About Robots' 연재
우리 대학 전기및전자공학부 김종환 명예교수가 어린이와 청소년을 위한 영어 웹툰 시리즈 『All About Robots』를 국제로봇올림피아드위원회(IROC)의 공식 Substack 채널을 통해 연재한다. 국제로봇올림피아드위원회(International Robot Olympiad Committee, IROC)는 한국에 본부를 두고 국제로봇올림피아드(International Robot Olympiad, IRO)를 운영하는 기관으로, 김 교수가 위원장을 맡고 있다. IROC는 여러 국가와 협력해 청소년들이 로봇 제작과 코딩, 인공지능 기술을 배우고 교류할 수 있는 국제 로봇교육·경진 플랫폼을 운영하고 있다. 이번 웹툰은 인공지능(AI)과 로봇 기술을 쉽고 재미있게 이해할 수 있도록 기획된 영어 교육 콘텐츠로, 로봇의 역사와 원리부터 인공지능, 자율주행, 우주 탐사 로봇, 감정 표현 로봇, 퍼스널 로봇 등 다양한 주제를 이야기와 그림을 통해 소개한다. 김 교수는 그동안
2026-07-22