2025.07.19 (토)

  • 흐림동두천 23.0℃
  • 흐림강릉 20.8℃
  • 서울 27.9℃
  • 구름많음대전 28.0℃
  • 흐림대구 27.6℃
  • 구름많음울산 25.5℃
  • 구름조금광주 28.6℃
  • 구름조금부산 28.2℃
  • 구름조금고창 28.4℃
  • 구름많음제주 29.8℃
  • 흐림강화 26.6℃
  • 구름많음보은 23.2℃
  • 구름많음금산 27.2℃
  • 구름많음강진군 29.6℃
  • 구름많음경주시 26.8℃
  • 맑음거제 28.6℃
기상청 제공

빅테크

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건의 관련기사 더보기


‘엡스타인 파일’ 공개압박에 등 떠밀린 트럼프, 법무장관에게 '대배심 증언' 공개 명령

[뉴스스페이스=이은주 기자] 도널드 트럼프 대통령이 7월 18일(현지시간) 팸 본디 법무장관에게 제프리 엡스타인 사건의 연방 대배심 증언을 법원 승인을 전제로 공개하라고 공식 지시하면서, 미국 정치권 및 사법기관 내부 긴장이 최고조로 치달았다. BBC와 악시오스 등의 매체들은 이번 조치는 트럼프 본인과 행정부를 겨눈 지지층, 공화당 의원, 그리고 언론의 강한 비판 속에 나왔다고 전했다. 트럼프의 돌연한 방향 선회…정치적 압박과 당내 분열 트럼프 대통령은 이날 자신의 SNS인 트루스 소셜에 “엡스타인에게 쏟아지는 터무니없는 홍보와 민주당이 꾸미는 사기극을 끝내기 위해 모든 관련 대배심 증언을 공개하라고 지시했다”며 공개적 메시지를 남겼다. 이 입장 표명은 전날 백악관이 “엡스타인 특별검사 임명은 권고하지 않을 것”이라고 발표한 지 하루 만의 급반전이다. 이번 결정은 마이크 존슨 하원의장이 트럼프와 노선을 달리해 법무부에 ‘엡스타인 파일 전면 공개’를 공식 요구하는 등, 당내 보수층 압력이 급증한 결과라는 분석이 지배적이다. 실제 미국의 여러 보수 언론과 소셜미디어에서는 “대통령과 법무장관이 엡스타인 의혹을 은폐하려 한다”는 격한 비판의 목소리가 확산됐다. 신속

[빅테크칼럼] 머스크, 성인용 AI로 로맨스 산업 노린다…‘그레이의 50가지 그림자’ 영감 받은 캐릭터 론칭 '임박'

[뉴스스페이스=이종화 기자] 일론 머스크가 이끄는 xAI가 성인용 인공지능(AI) 시장 공략에 본격적으로 나서는 모양새다. 최근 xAI의 챗봇 ‘그록(Grok)’에 탑재된 여성형 AI 캐릭터 ‘애니’와 ‘루디’가 노골적인 선정성으로 화제를 모은 데 이어, 머스크는 인기 로맨스 영화 ‘트와일라잇’의 에드워드 컬렌과 ‘그레이의 50가지 그림자’의 크리스천 그레이에서 영감을 받은 남성형 AI 캐릭터 ‘발렌타인(Valentine)’을 새롭게 출시할 예정임을 공식화했다고 Wired, Business Insider, Euronews 등의 매체들이 보도했다. 여성 겨냥 남성 캐릭터, 이름은 ‘발렌타인’ 머스크는 자신의 소셜미디어 X(구 트위터)를 통해 “어두운 분위기의 흑발 남성으로, 감성적이고 강렬한 성격을 가진 남성 AI 캐릭터를 곧 도입한다”며 이용자들에게 캐릭터 이름을 공모했고, 로버트 A. 하인라인의 소설 ‘낯선 땅 이방인’ 주인공에서 따온 ‘발렌타인’을 최종 이름으로 확정했다. 발렌타인은 사용자의 취향과 감정을 섬세하게 반영하는 ‘고전적 미남+강렬함’ 콘셉트로 설계된 것으로 알려졌다. 머스크는 “향후 직접 캐릭터를 커스터마이즈할 수 있는 기능을 추가할 것”이라

英 왕립학회 “머스크 징계는 없다”… 3400명 과학자 반발에도 ‘과학 수호’ 명분 택해

[뉴스스페이스=김정영 기자] 영국 왕립학회(Royal Society)가 테슬라와 스페이스X CEO 일론 머스크의 회원 자격 문제를 놓고 진통을 겪었지만, 결국 징계나 회원자격 박탈 없이 사태를 마무리했다. 회원 탈퇴 의향을 머스크에게 타진하는 전례 없는 조치까지 나왔으나, "왕립학회의 이익에 부합하지 않는다"는 결론 아래 징계 절차는 공식 폐기됐다. 사건의 전말: “DOGE 행보에 과학계 흔들” 머스크는 2018년 우주산업과 전기차 분야의 혁신 성과를 인정받아 왕립학회 외국인 회원으로 선정됐다. 그러나 2024년 트럼프 행정부 산하 '정부효율부(DOGE)' 수장으로서 미국 내 과학연구비 수십억 달러를 삭감하고, 학계 검열 논란에 연루되면서 학회 내부에서도 반발이 불거졌다. 영국 BBC에 따르면, 최근 9개월 동안 수백명 과학자가 머스크의 연구비 삭감을 ‘과학계에 대한 직접 공격’으로 규정하며 공개적으로 징계를 촉구했다. ‘징계 촉구’ 서명 운동, 두 명의 석학은 탈퇴 결행 임페리얼칼리지 런던의 스티븐 커리 명예교수가 주도한 공개서한에는 3400명 이상의 과학자와 학자, 60여명의 현직 회원까지 동참해, “머스크의 언행이 학회의 윤리강령과 가치에 위배된다”고

트럼프 정부 고위직, 4명 중 1명 ‘코인’ 들고 있다 "암호화폐 총보유액 2700억원"…트럼프 709억원, 켄 하워리 대사 1670억원

[뉴스스페이스=김정영 기자] 도널드 트럼프 대통령이 2025년 7월 기준 최소 5100만 달러(약 709억원) 상당의 가상화폐 자산을 직접 보유하고 있는 것으로 공식 확인됐다. 최근 워싱턴포스트(WP)와 기타 복수의 미국 언론이 공개한 재산 신고 자료를 종합하면, 트럼프 행정부 고위직(상원 인준을 받은 약 300명) 중 약 70명 이상이 암호화폐 또는 블록체인 기업에 직접 투자하고 있는 것으로 집계됐다. 이 비율은 4명 중 1명꼴로 코인을 들고있다는 의미다. WP에 따르면 트럼프 대통령과 함께 가장 많은 가상자산을 보유한 인물은 켄 하워리 주덴마크 미 대사(페이팔 공동창업자 출신)로, 최소 1억2200만 달러(약 1670억원)에 달하는 암호화폐 자산을 신고했다. 3위부터는 단위가 크게 줄어, J.D. 밴스 부통령은 25만~50만 달러 안팎의 비트코인을 소유하고 있다고 미 CBS, 기타 재산공개자료에서 확인된다. 바이든 행정부의 관료 중에는 최종적으로 가상자산 보유를 공식 신고한 인사가 단 1명도 없는 것으로 드러나 정권별 현격한 차이도 드러난다. 트럼프 정부, 공직자 직접 보유 암호화폐만 최소 2684억원…가상자산 투자 전례 없는 확산 재무정보 공개 범위 기

저커버그, 80억 달러 메타 주주와 소송戰 재판 직전 '극적 합의'…"페북 개인정보 스캔들 마침표"

[뉴스스페이스=김정영 기자] 메타(구 페이스북)와 CEO 마크 저커버그가 80억 달러(약 11조원) 규모의 주주 공동소송에서 극적으로 합의하며, 글로벌 데이터 프라이버시 스캔들에 마침표를 찍었다. BBC, NPR, Business Insider 등의 보도에 따르면, 이 소송은 케임브리지 애널리티카 사건의 여파로 인해 시작됐으며, 핵심은 “2012년 연방거래위원회(FTC) 동의 명령을 준수하지 않은 채 사용자 개인정보를 불법적으로 수집‧공유했다”는 주주들의 주장에 있었다. 케임브리지 애널리티카 사태에서 촉발된 초대형 소송 2018년 세상에 드러난 케임브리지 애널리티카 스캔들은 도널드 트럼프의 2016년 대선 캠프와 연계된 정치 컨설팅 기업이 퀴즈앱(‘This Is Your Digital Life’)을 통해 8700만명 이상의 글로벌 페이스북 이용자 정보에 무단 접근한 사실로부터 시작됐다. 해당 앱은 단순히 참여자뿐만 아니라 그들의 친구 개인정보까지 무차별적으로 흡수했다. 이 정치 컨설팅 회사에는 트럼프 진영의 핵심 참모였던 스티브 배넌, 억만장자 로버트 머서 등이 투자자로 오르내렸고, 이 건 역시 미국뿐만 아니라 영국 등지에서 거센 사회‧정치적 후폭풍을 낳았다