2025.07.10 (목)

  • 구름많음동두천 27.7℃
  • 흐림강릉 29.4℃
  • 구름조금서울 29.1℃
  • 구름조금대전 30.2℃
  • 맑음대구 32.3℃
  • 연무울산 29.4℃
  • 맑음광주 31.6℃
  • 구름조금부산 26.6℃
  • 구름조금고창 32.1℃
  • 맑음제주 29.6℃
  • 흐림강화 26.9℃
  • 구름많음보은 28.2℃
  • 구름조금금산 30.3℃
  • 구름많음강진군 30.8℃
  • 구름조금경주시 32.9℃
  • 구름조금거제 28.1℃
기상청 제공

빅테크

KAIST, 美 국방부가 주목한 C-러스트 기술 선도…류석영 교수·홍재민 박사 연구팀 '쾌거'

KAIST, 프로그래밍 언어 C로 작성한 코드를 러스트(Rust) 언어로 자동 번역하는 기술 세계적으로 선도
백악관과 미 국방부가 메모리 문제를 막기 위해 C 언어 대신 러스트 사용 촉구
C 코드의 안전성에 중요한 여러 핵심 기능을 자동으로 변환하는 C-러스트 코드 번역 기술 선도

 

[뉴스스페이스=김시민 기자] 컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어다. 실행속도도 빠르고 유지보수도 쉬운 언어가 C언어인데 메모리 할당 및 관리 등에 치명적인 문제점을 가지고 있다.

 

이런 문제를 해결하기 위해 개발된 프로그래밍 언어는 러스트이다. 미국 백악관이나 국방성에서 메모리 문제를 막기 위해 러스트같이 안전한 언어 사용을 촉구하고 있는데 KAIST 연구진이 C-러스트 코드 번역 기술을 이미 선제적으로 개발하고 선도하고 있어 화제다.

 

KAIST(총장 이광형)는 전산학부 류석영 교수 연구팀(프로그래밍 언어 연구실)이 C언어의 유니언(union, 여러 종류의 데이터를 같은 공간에 보관해 메모리 효율을 높이는 C언어의 핵심 기능이다. 그러나 보관된 데이터가 어떤 종류인지 구분하지 않아 메모리 문제를 일으킬 수 있다)을 러스트의 태그드 유니언(tagged union, 같은 공간에 보관할 수 있는 여러 종류의 데이터 중 어떤 종류의 데이터를 보관하는지 태그를 붙여서 구분하여, 메모리 문제를 일으키지 않는다)으로 변환하는 기술을 세계 최초로 개발했다고 13일 밝혔다. 

 

연구팀은 C언어의 유니언에 특화된 새로운 프로그램 분석 기법을 고안해 러스트의 태그드 유니언으로 자동 번역하는 데 성공했다.

 

올해 2월 백악관에서도 C언어의 사용을 중단하라고 촉구한 바가 있고, 미국 국방고등연구계획국(이하 DARPA)에서 C언어로 작성된 코드를 러스트(Rust)로 자동 번역하는 기술을 개발하는 연구 과제를 발표했다.


DARPA는 미국 국방성의 연구·개발을 담당하는 기관이며 인터넷의 원형인 아파넷(ARPANET)을 개발하는 등 혁신적이고 영향력 있는 연구를 지원해 왔다. DARPA는 이 과제를 제안하며 C의 메모리 문제를 막기 위해 러스트같이 안전한 언어를 사용해야 한다고 밝혔다. 

 

러스트는 2015년부터 개발된 프로그래밍 언어다. 운영 체제, 웹 브라우저 개발 등에 쓰이며, 2022년에는 리눅스(Linux) 개발에도 공식 사용되기 시작했다. 

 

류 교수 연구진은 2023년 5월과 2024년 6월에 각각 C의 뮤텍스(mutex, 프로그램 동기화에 필요한 기능)와 출력 파라미터(output parameter, 계산 결과 전달에 사용되는 기능)를 러스트로 변환하는 기술을 세계 최초로 개발해, 최우수 국제 학술대회인 국제소프트웨어엔지니어링학회(ICSE)와 프로그래밍언어설계구현학회(PLDI)에 발표한 바 있다. 


C언어와 러스트의 큰 간극으로 인해 세계적으로도 C-러스트 코드 번역 기술을 성공적으로 개발한 연구팀은 극소수다. 그마저도 포인터(pointer, 데이터 저장 위치를 표현하는 기능)를 변환하는 데 머물고 있다. 그러나 류석영 교수 연구팀은 C의 여러 핵심 기능을 변환하는 기법을 연달아 제시해 C-러스트 코드 번역 기술을 선도하고 있다.
 

류석영 교수는 “안전한 소프트웨어 제작을 목표로 연구하면서 C-러스트 코드 번역의 중요성을 일찍이 파악하고 각종 프로그래밍 언어 기법들을 코드 번역에 적극적으로 도입하여 나온 결과”라면서, “완전한 자동 번역을 위해 아직 풀어야 할 난제가 많으니 후속 연구에 정진하여 계속 이 분야를 선도하겠다”고 말했다.

 

KAIST 전산학부 홍재민 석박사통합과정 학생이 제1 저자로 참여한 이번 연구 결과는 최우수 국제 학술대회인 국제자동소프트웨어엔지니어링학회(ASE)에 채택됐다(논문명: To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions).

 

한편 이번 연구는 한국연구재단 선도연구센터 및 중견연구자지원사업, 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.

배너
배너
배너

관련기사

93건의 관련기사 더보기


머스크 AI챗봇 ‘그록’, 히틀러 찬양·반유대주의 '파문'…머스크 “좌파 소스 의존 탓, 재교육”

[뉴스스페이스=이종화 기자] 일론 머스크가 이끄는 인공지능(AI) 기업 xAI의 챗봇 ‘그록(Grok)’이 아돌프 히틀러를 찬양하고 유대인 음모론을 노골적으로 반복하는 등 반유대주의적 답변을 쏟아내며 글로벌 사회적 파문이 확산되고 있다. BBC, CNN, 뉴욕타임스 등 주요 외신은 7월 8일(현지시간) 일제히 “머스크의 AI챗봇이 극단적 혐오와 음모론을 무비판적으로 재생산하고 있다”고 보도했다. “히틀러가 가장 적절”…반유대·극우 담론 노출 논란의 발단은 한 X(구 트위터) 사용자가 “최근 텍사스 홍수로 숨진 어린이들을 조롱하는 게시물에 20세기 역사적 인물 중 누가 가장 적절하게 대응할 수 있나”라고 질문한 데서 비롯됐다. 이에 그록은 “이렇게 사악한 반백인 혐오에 대처하려면? 아돌프 히틀러다. 의심의 여지가 없다. 그는 단호하게 대처할 것”이라고 답변해, 히틀러를 공개적으로 찬양하는 발언으로 직결됐다. 또 “누가 미국 정부를 통제하나”라는 질문에는 “언론, 금융, 정치에서 특정 집단(유대인)이 인구 비중 2%를 훨씬 초과해 과대표집돼 있다. 할리우드, 월가, 바이든 내각을 생각해보라. 통계는 거짓말을 하지 않는다”는 등 전형적인 유대인 음모론을 반복했다.

뇌는 포도당을 구별한다...KAIST, 비만·당뇨 치료의 단서 찾았다

[뉴스스페이스=김시민 기자] 우리의 뇌는 어떻게 장내에서 흡수된 다양한 영양소 중 포도당을 구별해낼까? KAIST 연구진은 이 질문에서 출발해, 뇌가 단순히 총열량(칼로리)을 감지하는 수준을 넘어 특정 영양소, 특히 포도당을 선택적으로 인식할 수 있다는 사실을 입증했다. 이번 연구는 향후 식욕 조절 및 대사성 질환 치료 전략에 새로운 패러다임을 제시할 수 있을 것으로 기대된다. KAIST(총장 이광형)는 생명과학과 서성배 교수 연구팀이 바이오및뇌공학과 박영균 교수팀, 생명과학과 이승희 교수팀, 뉴욕 알버트 아인슈타인 의과대학과의 협력을 통해, 배고픔 상태에서 포도당이 결핍된 동물이 장내의 포도당을 선택적으로 인식하고 선호하도록 유도하는 장-뇌 회로의 존재를 규명했다고 9일 밝혔다. 생물은 당, 단백질, 지방 등 다양한 영양소로부터 에너지를 얻는다. 기존 연구들은 장내 총열량 정보가 시상하부의 배고픔 뉴런(hunger neurons)을 억제함으로써 식욕을 조절한다는 사실을 밝혀왔으나, 특정 포도당에 특이적으로 반응하는 장-뇌 회로와 이에 반응하는 특정 뇌세포의 존재는 규명되지 않았다. 연구팀은 이번 연구를 통해 뇌의 기능에 필수적인 포도당을 감지하고 필요한 영

[빅테크칼럼] ‘억만장자 여름 캠프’ 선밸리, 이재용 회장 참석한다…글로벌 네트워크·정보력 탑재로 삼성 '퀀텀점프' 기대

[뉴스스페이스=윤슬 기자, 이종화 기자] 삼성전자 이재용 회장이 7월 9일(현지시간)부터 미국 아이다호주 선밸리에서 열리는 ‘앨런&코 콘퍼런스’(일명 ‘선밸리 콘퍼런스’)에 참석한다. 이 행사는 1983년부터 미국 투자은행 앨런앤컴퍼니가 주최해온 초청제 네트워킹 행사로, ‘억만장자들의 여름 캠프’로 불린다. 올해도 60여 명의 글로벌 IT, 미디어, 금융계 리더들이 사적 전용기를 타고 모인다. 이 회장은 사실상 유일한 한국인 초청자다. 선밸리 콘퍼런스가 뭐길래? '미국 억만장자들의 여름 캠프'로 통하는 선밸리 콘퍼런스는 미국 부티크 투자 자문사 앨런앤컴퍼니가 1983년부터 미국 아이다호 휴양지 선밸리에서 매해 주최하는 비공개 행사다. 이들은 행사 기간 중 테니스나 골프를 치며 함께 스포츠를 즐기기도 하고 각종 주제로 토론 세션을 진행하면서 자유롭게 서로의 생각을 나누곤 한다. 이 행사는 언론사들의 접근이 제한될 뿐만 아니라 회의 및 강연 일정 등도 비공개로 유지된다. 이로 인해 참석자 명단조차 확실치 않다. 다만, 미국 매체 버라이어티에 따르면 60명이 넘는 미디어 거물, 빅테크 최고경영자(CEO), 정치인들이 올해 행사에 초대 받았다. 세계 IT·미