연구
< (왼쪽부터) 전산학부 류석영 교수, 홍재민 석박사통합과정 >
컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어이다. 실행속도도 빠르고 유지보수도 쉬운 언어가 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), 삼성전자의 지원을 받아 수행됐다.
-
연구 말하지 않아도 알 수 있다… AI가 포착한 우울증
주요 우울 장애 등 정신건강 질환은 주관적 설문과 면담으로 진단한다. 복합적이고 모호한 ‘우울감’은 우울증 진단의 가장 큰 한계로 꼽혀왔다. 국내 연구진이 AI로 일상행동을 분석해 우울증을 객관적으로 진단하고 치료 효과를 평가하는 기술을 개발하며, 정신질환 진단과 치료의 새로운 해법을 제시했다. 우리 대학은 생명과학과 허원도 석좌교수 연구팀이 동물 모델의 일상적인 행동 패턴을 분석할 수 있는 인공지능(AI) 기술을 개발하고, 이를 통해 일상행동 속에서 성별과 중증도에 따른 우울증 증상을 탐지할 수 있음을 입증했다고 13일 밝혔다. 연구팀은 우울증 환자의 팔다리 움직임, 자세, 표정 등 신체 운동 양상이 일반인과 다르다는 점에 주목했다. 감정과 정서 상태가 운동 능력으로 드러나는 현상인 ‘정신운동(psychomotor)’을 정밀하게 파악하기 위해, 연구팀은 실험동물의 자세와 움직임을 3차원으로 분석해 우울 상태에 따른 미세한 행동 변화
2026-01-13 -
연구 AI로 오랜 난제인 유전자 기능 규명 전략 제시
“유전자는 알지만 기능은 모른다”는 미생물 연구의 오랜 난제를 해결하기 위해, 공동연구진이 인공지능(AI) 기반 미생물 유전자 기능 발견의 속도를 크게 높일 수 있는 최신 연구 전략을 제시했다. 우리 대학은 생명화학공학과 이상엽 특훈교수 연구팀이 UCSD 생명공학과 버나드 폴슨(Bernhard Palsson) 교수와 함께 AI를 활용해 미생물 유전자 기능 발견을 획기적으로 가속할 수 있는 최신 연구 접근법을 체계적으로 정리·분석한 리뷰논문을 발표했다고 12일 밝혔다. 2000년대 초 전장 유전체 해독 기술이 본격화되며 생명체의 유전자 구성을 완전히 규명할 수 있을 것이라는 기대가 컸다. 그러나 20년이 지난 지금도 미생물 유전체 내 상당수 유전자는 어떤 역할을 하는지 밝혀지지 않은 상태다. 유전자 결실 실험, 발현량 조절, 시험관 내 활성 측정 등 다양한 실험이 시도돼 왔지만 ▲ 대규모 실험의 한계 ▲ 복잡한 생물학적 상호작용 ▲ 실험실 결
2026-01-12 -
행사 CES 2026서 ‘KAIST관’으로 K-테크 경쟁력 선보여
우리 대학은 2026년 1월 6일부터 9일까지 미국 라스베이거스 베네시안 엑스포(Venetian Expo) 유레카 파크(Eureka Park)에서 열리는 국제전자제품박람회(CES 2026)에 참가해, 약 111㎡ 규모의 단독 부스 ‘KAIST관’을 운영하며 KAIST의 혁신 기술을 글로벌 기업과 투자자들에게 선보인다고 2일 밝혔다. 이번 CES 2026 KAIST관에는 총 12개 창업기업이 참여하며, 이 가운데 8개 기업이 AI 기술을 핵심 기반으로 한 기업으로 구성돼 KAIST의 인공지능 연구 역량과 기술사업화 성과를 집중적으로 소개할 예정이다. 참여 기업들은 AI를 중심으로 로보틱스, 바이오, 하드웨어 디바이스, 콘텐츠 테크 등 다양한 첨단 기술 분야에서 글로벌 시장을 겨냥한 솔루션을 공개한다. 이번 전시에서 주목할 기업 중 하나는 교원창업 기업 ‘㈜하이퍼그램’이다. 하이퍼그램은 세계 최초로 압축식 초분광 영상 기술을 상용화한
2026-01-02 -
연구 종양 속 잠든 면역세포를 깨워 암을 공격하게 하다
우리 몸의 종양 안에는 암과 싸울 수 있는 면역세포(대식세포)가 있지만, 암에 의해 제 역할을 하지 못해왔다. 우리 대학 연구진은 이러한 한계를 넘어, 종양 내부에서 면역세포를 직접 항암 세포치료제로 바꾸는 새로운 치료법을 개발했다. 우리 대학은 바이오및뇌공학과 박지호 교수 연구팀이 종양 내부에 약물을 주입하면, 체내에 존재하던 대식세포가 이를 흡수해 스스로 CAR(암을 인식하는 장치) 단백질을 만들고 항암 면역세포인 ‘CAR-대식세포’로 전환되는 치료법을 개발했다고 30일 밝혔다. 고형암은 위암·폐암·간암처럼 단단한 덩어리 형태로 자라는 암으로, 면역세포가 종양 안으로 침투하거나 기능을 유지하기 어려워 기존 면역세포치료의 효과가 제한적이었다. 최근 차세대 면역치료로 주목받는 CAR-대식세포는 암세포를 직접 잡아먹는 동시에 주변 면역세포를 활성화해 항암 반응을 확산시키는 장점을 갖는다. 하지만 지금까지의 CAR-대식세포 치료는
2025-12-30 -
연구 뿌리면 1초 후 지혈....軍 전투원 생존성 높인다
전쟁에서 부상으로 인해 목숨을 잃게 되는 원인은 과다출혈이다. 육군 소령이 참여한 우리 대학 연구진이 이 문제를 정면으로 돌파했다. 뿌리기만 하면 1초 후에 출혈을 멈추는 차세대 파우더 지혈제를 개발하며, 전투원 생존성의 패러다임을 바꿀 혁신 기술을 선보인 것이다. 우리 대학은 신소재공학과 스티브 박 교수와 생명과학과 전상용 교수 공동연구팀이 상처 부위에 뿌리기만 하면 약 1초 이내에 강력한 하이드로겔 장벽을 형성하는 파우더형 지혈제를 개발했다고 29일 밝혔다. 이 기술은 육군 소령 연구진이 직접 참여해 실제 전투 환경을 고려한 실전형 기술로 완성도를 높였다. 높은 사용성과 저장성으로 전투, 재난현장 등 극한 조건에서도 즉각 경화되는 특성을 구현해, 응급처치가 즉시 가능하다. 그동안 의료 현장에서 널리 사용되는 패치형 지혈제는 평면 구조로 인해 깊고 복잡한 상처에는 적용이 어렵고, 온도와 습도에 민감해 보관과 운용에도 한계가 있었다. 이에 연구팀은 깊고 큰 불규칙 상처에도
2025-12-29