연구
< (왼쪽부터) 전산학부 류석영 교수, 홍재민 석박사통합과정 >
컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어이다. 실행속도도 빠르고 유지보수도 쉬운 언어가 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), 삼성전자의 지원을 받아 수행됐다.
-
연구 미국 에너지부 성능 목표를 넘어선 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 -
연구 웹툰 '보는 시대' 끝...'경험하는 시대' 연다
스마트폰 화면 속 웹툰이 현실 공간으로 뛰쳐나온다. ‘보는 웹툰'에서‘경험하는 웹툰'의 시대가 열린다. 우리 대학 연구진이 다양한 독자들이 현실 공간에서 웹툰을 입체적으로 즐길 수 있는 차세대 확장현실(XR, eXtended Reality, 가상현실·증강현실·혼합현실을 아우르는 기술) 만화 플랫폼을 세계 최초로 개발했다. 웹툰의 무대를 화면에서 현실로 넓히며 미래 만화의 새로운 가능성을 제시했다. 우리 대학은 전기및전자공학부 이안 오클리(Ian Oakley) 교수 연구팀이 인간-컴퓨터 상호작용(HCI, Human-Computer Interaction, 사람이 컴퓨터와 보다 쉽고 자연스럽게 상호작용하는 방법을 연구하는 분야) 전문가와 실제 웹툰 창작자, 독자 등 15명이 참여한 체계적인 사용자 연구를 통해, 차세대 확장현실(XR) 만화가 갖춰야 할 핵심 디자인 원칙과 발전 방향을 제시했다고 21일 밝혔다. 연구팀은 XR 환경에서 만
2026-07-21 -
연구 난치성 뇌종양 면역치료의 ‘숨은 열쇠’ 찾았다
‘기적의 항암제’로 불리는 면역관문억제제(Immune Checkpoint Inhibitor, 암세포가 면역세포의 공격을 피하기 위해 작동시키는‘면역 브레이크’를 해제해 면역세포가 다시 암을 공격하도록 돕는 항암제)가 왜 일부 뇌종양에서는 효과를 내지 못하는지 그 이유를 풀 실마리가 나왔다. 국내 연구진이 암을 공격하는 주역이 T 세포뿐 아니라 종양과 연결된 림프절의 B 세포와 항체라는 사실을 밝혀내며, 난치성 뇌종양 면역치료의 새로운 길을 제시했다. 우리 대학은 생명과학과 이흥규 교수 연구팀이 면역관문억제제의 일종인 항-CTLA-4(Anti-CTLA-4)가 종양과 연결된 종양 배수 림프절(Tumor-draining lymph node, 암세포에서 나온 항원이 가장 먼저 모여 면역반응이 시작되는 림프절)의 B 세포(B cell, 항체를 만들어 면역반응을 돕는 면역세포)를 활성화해 뇌종양을 공격하는 새로운 면역 원리를 규명했다고 19일 밝
2026-07-20