연구
< (왼쪽부터) 전산학부 류석영 교수, 홍재민 석박사통합과정 >
컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어이다. 실행속도도 빠르고 유지보수도 쉬운 언어가 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), 삼성전자의 지원을 받아 수행됐다.
-
행사 NYU와 인공지능 분야 국내 최초 공동학위제 추진
우리 대학이 뉴욕대학교(New York University, 총장 린다 밀스, Linda G. Mills)와 인공지능 분야 공동학위제(Joint Degree) 도입을 위한 업무협약을 9일 오후 체결했다. 이번 협약은 인공지능 분야의 역량 강화하고 글로벌 인재를 양성하는 것은 단순한 기술 교육을 넘어 미래 사회 전반에 큰 발전을 도모할 수 있는 필수 요소라는 양교의 공감대를 바탕으로 추진됐다. 양교는 그간 인공지능 및 이와 융합한 다양한 산업 분야의 공동연구 그룹을 운영해 왔으며, 이번 협약을 바탕으로 인공지능 관련 분야 대학원 과정의 공동학위제를 설계하기 위한 운영위원회를 올해 안에 설치할 예정이다. 우리 대학 관계자는 "인공지능 공동학위제가 시행되면 KAIST가 뉴욕대와 힘을 합쳐 ‘하나의 인공지능 학위’를 창조하는 사상 초유의 혁신적 실험이 될 것으로 기대한다"라고 전했다. 위원회는 양교 교수진을 동수로 포함해 구성하며, ▴교육과정 구조
2024-09-10 -
연구 3차원 신개념 스트레쳐블 OLED 개발
우리 연구진이 골프공의 표면처럼 반복적으로 파여 있는 구조를 도입해 실제 닿는 유효 면적을 줄임으로써 면과 면 사이의 점착력을 현저히 줄인다는 아이디어로, 잡아당겨도 성능을 유지하는 신개념 스트레처블 디스플레이를 개발해 화제다. 우리 대학 전기및전자공학부 유승협 교수 연구팀이 동아대 문한얼 교수, 한국전자통신연구원(ETRI) 실감소자 연구본부와의 협력을 통해 세계 최고 수준의 높은 초기 발광 면적비와 고신축성을 동시에 갖는 유기발광다이오드(organic light-emitting diode, OLED) 디스플레이를 구현하는 데 성공했다고 10일 밝혔다. 기존의 신축형 디스플레이에서는 성능과 신축성을 동시에 확보하기 위해, 발광하는 부분은 단단한 고립구조(rigid island)에 위치해 신축 시에도 기계적 변형 없이 우수한 성능을 보이도록 하고, 이들을 연결하는 커넥터 부분은 말굽 모양 등의 구부러진 형태로 구성해 신축에 따라 용이하게 변형할 수 있게 한다. 통상적으로
2024-09-10 -
행사 2024년 하반기 KAIST 총장자문위원회 개최
우리 대학이 6일 오전 서울캠퍼스 석림관에서 '2024년 하반기 총장자문위원회(KAIST President’s Advisory Council)'를 개최했다. 'KAIST 총장자문위원회'는 국내외 산·학·연 최고 전문가와 리더를 초빙하며, 우리 대학의 비전 실현과 발전을 위한 정책적 자문을 얻기 위해 2006년 시작됐다. 지난 3월에 이어 두 번째로 개최된 이번 회의는 자문위원과 교내 주요 보직자 등 총 26명이 참석했으며, 이광형 총장의 발표를 통해 우리 대학의 비전과 성과를 공유하고 미래 50년을 위한 정책적 자문과 전략을 논의했다. 이광형 총장은 "이번 총장자문위원회는 KAIST 내부의 시선이 아닌 자문위원들을 통한 외부의 시선으로 그동안의 성과를 평가하고 조언을 듣는 귀중한 자리였다"라며, "앞으로도 우리 대학 발전을 위해 자문위원들뿐만 아니라 국내외 유수 기관들과 협력 관계를 확대하고 발전시키기 위해 지속적으로 노력하겠다"라고 밝
2024-09-06 -
인물 유민수 교수, 아시아大 최초 MICRO 프로그램 위원장 선임
우리 대학 전기및전자공학부 유민수 교수가 2025년 개최 예정인 미국 전기전자공학회(IEEE)/전산공학회(ACM) 마이크로아키텍처 국제 학술대회(MICRO)의 프로그램 위원장(Program Co-Chair)에 선임됐다고 5일 밝혔다. 아시아 대학 교원이 MICRO의 프로그램 위원장으로 선임된 것은 본 학술대회의 57년 역사상 최초다. 올해로 57회째를 맞은 MICRO*는 컴퓨터 아키텍처 분야에서 가장 오랜 역사와 최고의 권위를 가지고 있는 국제 학술대회로, ISCA** , HPCA*** 학술대회와 함께 컴퓨터 아키텍처 분야 3대 국제 학회로 손꼽히고 있다. * MICRO: IEEE/ACM International Symposium on Microarchitecture ** ISCA: IEEE/ACM International Symposium on Computer Architecture *** HPCA: IEEE International Symposium on High-
2024-09-05 -
인물 과학영재교육연구원, 2024 아시아태평양 영재학회 2관왕
우리 대학이 '2024 아시아태평양 영재학회(Asia-Pacific Conference on Giftedness, 이하 APCG)'에서 최고 연구자상과 최고 프로그램상을 동시에 수상했다. 과학영재교육연구원 류지영 영재정책센터장이 APCG가 올해 최초로 제정한 최고 연구자상을 받는 영예를 안았다. 영재정책센터가 운영하는 'KAIST 사이언스 아웃리치 프로그램(KAIST Science Outreach Program, 이하 KSOP)'은 최고 프로그램상에 선정되었으며, 이 또한 학회 설립 후 최초로 수여된 상이다. 시상식은 이달 17일부터 20일까지 일본 다카마쓰에서 열린 2024 APCG 국제 콘퍼런스에서 진행됐으며, 전 세계 27개국에서 1,000여 명의 영재교육 전문가들이 참여했다. APCG 최고 연구자상의 초대 수상자가 된 류지영 영재정책센터장은 지난 20년간 소외계층 영재 학생을 대상으로 하는 심층 연구 결과를 국내·외 학계에 활발하게 발표해 왔다. 이와
2024-08-29