< (왼쪽부터) 전산학부 류석영 교수, 홍재민 석박사통합과정 >
컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어이다. 실행속도도 빠르고 유지보수도 쉬운 언어가 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), 삼성전자의 지원을 받아 수행됐다.
-
연구 기후 위기 대응, 농경지 12.8% 줄여 식량 위기 경고
산업화 이전 대비 지구 평균 온도 상승을 1.5도 이내로 제한하겠다는 파리협정의 1.5도 목표를 달성하기 위해서는 전 세계적인 협력과 강력한 기후변화 감축 목표 설정이 필수적이다. 하지만 국제 공동연구진이 1.5도 목표 달성을 위한 정책이 실제로는 전 세계 농경지 면적을 약 12.8% 줄여 식량 위기안보에 부정적인 영향을 줄 수 있다는 연구 결과를 발표했다. 우리 대학 녹색성장지속가능대학원 전해원 교수와 베이징 사범대 페이차오 가오 교수가 이끄는 공동 연구팀이 파리협정의 1.5도 목표 달성이 전 세계 농경지와 식량 안보에 미치는 영향을 분석한 연구결과를 2일 밝혔다. 연구팀은 1.5도 목표 달성을 위한 기후 정책이 전 세계 농경지에 미치는 영향을 상세히 분석했다. 5제곱킬로미터(㎢) 단위로 전 세계 토지 변화를 예측했고 정밀하게 분석하였다. 기존 연구들에서는 1.5도 시나리오에서 농경지가 오히려 늘어날 것으로 예측했으나, 연구팀은 기후 정책이 분야 간에 미치는 영향과
2025-04-02 -
행사 논문 경험 없는 학부 1·2학년 4인 팀, ICLR 2025 금융 AI 워크숍에 논문 채택
학부 1, 2학년으로만 구성된 4인 학생 팀의 논문이 인공지능 분야 국제 학술대회인 ‘International Conference on Learning Representations (ICLR) 2025’의 ‘Advances in Financial AI Workshop’에 채택됐다. 이번에 채택된 논문 “Optimizing Retrieval Strategies for Financial Question Answering Documents in Retrieval-Augmented Generation Systems”은 김현준, 김세종, 송현서, 서현우 학생(모두 공동 1저자)이 함께 작성했으며, 김현준 학생이 교신저자를 겸했다. 특히 모든 팀원이 논문 작성 경험이 전혀 없는 학부 저학년 학생들로만 구성되어 그 의미가 더욱 크다. 이 연구는 대규모 언어 모델(LLM)이 금융 질의응답 시스템에서 활용될 때 필요한 정보를
2025-04-01 -
연구 고성능 촉매 개발, 반도체 핫전자 기술을 통해 해결하다
우리 대학 화학과 박정영 석좌교수, 신소재공학과 정연식 교수, 그리고 KIST 김동훈 박사 공동 연구팀이 반도체 기술을 활용하여 촉매 성능에 특정 변인이 미치는 영향을 정량적으로 분석할 수 있는 새로운 플랫폼을 성공적으로 구현했다. 이를 통해 대표적인 다경로 화학 반응인 메탄올 산화 반응에서 메틸 포르메이트 선택성을 크게 향상시켰으며, 이번 연구는 차세대 고성능 이종 촉매 개발을 앞당기는 데 기여할 것으로 기대된다고 1일 밝혔다. 다경로 화학 반응에서는 반응성과 선택성의 상충 관계로 인해 특정 생성물의 선택성을 높이는 것이 어려운 문제로 남아 있다. 특히, 메탄올 산화 반응에서는 이산화탄소와 더불어 고부가 가치 생성물인 메틸 포르메이트가 생성되므로, 메틸 포르메이트의 선택성을 극대화하는 것이 중요하다. 그러나 기존 불규칙적인 구조의 이종 촉매에서는 금속-산화물 계면 밀도를 비롯한 여러 변인이 동시에 촉매 성능에 영향을 미치기 때문에 특정 변수가 개별적으로 미치는 영향을 분
2025-04-01 -
연구 머리카락 1,000분의 1 나노섬유 혁신, 세계 최고 CO₂ 전해전지 개발
지구 온난화의 주범인 이산화탄소를 시장 가치가 높은 화학물질로 전환할 수만 있다면, 환경 문제를 해결함과 동시에 높은 경제적 가치를 창출할 수 있다. 국내 연구진이 이산화탄소(CO2)를 일산화탄소(CO)로 전환하는 고성능 ‘세라믹 전해전지’를 개발하여 탄소중립 실현을 위한 핵심 기술로 주목받고 있다. 우리 대학 기계공학과 이강택 교수 연구팀이 신소재 세라믹 나노 복합섬유를 개발해 현존 최고 성능의 이산화탄소 분해 성능을 갖는 세라믹 전해전지를 개발하는 데 성공했다고 1일 밝혔다. 세라믹 전해전지(SOEC)는 이산화탄소를 가치 있는 화학물질로 전환할 수 있는 유망한 에너지 변환 기술로 낮은 배출량과 높은 효율성이라는 추가적인 이점이 있다. 하지만 기존 세라믹 전해전지는 작동 온도가 800℃ 이상으로, 유지 비용이 크고 안정성이 낮아 상용화에 한계가 있었다. 이에 연구팀은 전기가 잘 통하는 ‘초이온전도체’ 소재를 기존 전극에 함
2025-04-01 -
연구 세계 최초 초저잡음 중적외선 광원을 초소형 칩 상에서 구현
브릴루앙 레이저(Brillouin laser)는 물질 내 빛과 음파의 상호작용을 통해 매우 안정적이고 잡음이 적은 레이저 빛을 만들어 내는 광원이다. 그동안 이 기술은 가시광선이나 근적외선 영역에서만 구현되었으며, 중적외선 영역에서는 기술 부족으로 구현이 어려웠다. 국제 공동 연구진이 초소형 저잡음 브릴루앙 레이저를 해당 파장 영역에서 세계 최초 개발하여 더욱 정밀한 분자물리·화학 연구 및 다양한 차세대 응용 기술의 기반을 마련하였다. 우리 대학 물리학과 이한석 교수 연구팀이 호주국립대 최덕용 교수, 예일대 피터 라키치 교수, 한국원자력연구원 고광훈 박사, 닝보대학교 롱핑 왕 교수 연구팀과 국제공동연구를 통해 중적외선 파장 대역에서 주파수 흔들림이 매우 작은 브릴루앙 레이저를 초소형 반도체 칩 위에 최초로 구현하는 데 성공했다고 31일 밝혔다. 칩 상에서 저잡음 브릴루앙 레이저를 구현하는 기술은 이미 잘 알려져 있었으나, 중적외선 파장 대역에서는 레이저 구현에
2025-03-31