< (왼쪽부터) 전산학부 류석영 교수, 홍재민 석박사통합과정 >
컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어이다. 실행속도도 빠르고 유지보수도 쉬운 언어가 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), 삼성전자의 지원을 받아 수행됐다.
3차원 광학 나노구조체는 빛의 진폭, 위상, 편광 상태를 정밀하게 조작할 수 있어 포토닉스 분야에서 큰 관심을 받고 있다. 한국 연구진이 기존 기술로는 구현이 어려웠던 3차원 퀀텀닷 나노구조체를 정교하게 쌓아 올리는 적층 방식으로 구현하는 데 성공했다. 우리 대학 신소재공학과 정연식 교수, 전기및전자공학부 장민석 교수, 동국대학교 최민재 교수 공동 연구팀이 초미세 전사 프린팅 기반으로 3차원 퀀텀닷 구조 제작 기술을 개발했다고 27일 밝혔다. 연구팀이 개발한 이 기술은 대부분의 나노입자에 적용될 수 있어 범용성이 뛰어나고 우수한 패턴 품질을 제공할 수 있다. 또한, 프린팅 방식으로 대면적화가 가능해 고성능 소자 양산에 활용할 수 있는 장점을 가진다. 특히 편광 빛에 대한 선택적 반응을 보이는 구조적 비대칭성을 가진 대면적 카이랄 구조체를 구현해 기존 최고 기록인 19도* 대비 향상된 약 21도의 세계 최고 수준 **원편광 이색성(Circular dichroism) 성능
2024-09-28전자폐기물이 발생하지 않는 안전한 전자제품을 구현할 수 있을까? 국제공동연구진은 갑오징어에서 추출한 미래 전자 소재로 주목받는 세피아 멜라닌으로 만든 친환경 필름이 85일 만에 약 97% 생분해됨을 밝혀 지속가능한 친환경 전자제품의 새로운 가능성을 열어 화제다. 우리 대학 건설및환경공학과 명재욱 교수 연구팀이 몬트리올 공과대학 클라라 산타토(Clara Santato) 교수 연구팀과 국제 공동연구를 통해 완전히 생분해되는 세피아 멜라닌 기반 전기 활성 필름을 개발했다고 25일 밝혔다. 해마다 전자제품에 대한 수요가 급격하게 증가함에 따라 매년 약 6천만 톤에 이르는 전자폐기물이 발생하고 있다. 전자폐기물은 자연에서 쉽게 분해되지 않고 납(Pb), 카드뮴(Cd)과 같은 중금속이나 폴리염화비닐(PCB) 등 유해 화학물질을 자연에 유출해 생태계를 오염시킬 수 있다. 한편 생분해성 *유기전자소재는 기존 전자제품에 대한 패러다임을 전환할 수 있는 새로운 소재로 떠오르고 있다.
2024-09-28최근 빠른 고령화 및 출산율 감소 등으로 1인 가구가 급속하게 증가하면서, 1인 가구의 정신건강 문제에 대한 관심도 함께 높아지고 있다. 서울시가 실시한 1인 가구 실태조사에 따르면, 1인 가구의 60% 이상이 외로움을 느끼고 있으며, 특히 사회적 고립과 함께 외로움을 겪는 비율이 상당히 높은 것으로 나타났다. 우리 대학 전산학부 이의진 교수 연구팀이 1인 가구의 정신건강 관리를 위해, 사용자 스스로가 자신의 심리 상태를 기록할 수 있도록 지원하는 상황 인식 기반 멀티모달 스마트 스피커 시스템을 개발했다고 24일 밝혔다. 연구팀은 사용자의 주변 상황을 실시간으로 파악해 최적의 시점에 정신건강 관련 질문하도록 이 시스템을 설계했고 기존의 무작위 설문보다 높은 응답률을 달성하는 것을 확인했다. 기존 스마트 스피커를 활용한 정신건강 자가 추적 연구에서 무작위 설문을 할 경우 사용자의 스트레스, 짜증 등 부정적인 감정이 유발시켜 설문 응답에 편향이 발생할 수 있어 각별한 주의
2024-09-24스트레처블 디스플레이는 공간 활용성, 디자인 자유도, 신체와 유사한 유연성 등의 장점으로 인해 차세대 디스플레이로 각광받고 있다. 한국 연구진이 25%까지 늘릴 수 있으며, 이미지 왜곡 없이 선명한 화질을 유지하고 15% 비율로 5,000회 늘렸다 펴도 성능이 안정적으로 유지되는 무변형(음의 푸아송비*) 스트레처블 디스플레이를 국내 최초로 개발해 화제다. *음의 푸아송 비 (Poisson’s ratio of -1): 가로 세로가 같은 비율로 늘어나는 비율로 음(-)의 값으로 표현. 일반적인 물질에서와 같이 가로로 늘릴 때 세로로 수축하는 것을 양(+)의 값으로 표현한다. 우리 대학 신소재공학과 배병수 교수(웨어러블 플랫폼 소재 기술센터장) 연구팀이 한국기계연구원(원장 류석현)과 공동연구를 통해, 신축 시 이미지 왜곡을 억제하는 전방향 신축성을 갖는 스트레처블 디스플레이용 기판 소재를 개발했다고 20일 밝혔다. 현재 스트레처블 디스플레이 기술은 대부분 신축성이
2024-09-20우리 대학이 뉴욕대학교(New York University, 총장 린다 밀스, Linda G. Mills)와 인공지능 분야 공동학위제(Joint Degree) 도입을 위한 업무협약을 9일 오후 체결했다. 이번 협약은 인공지능 분야의 역량 강화하고 글로벌 인재를 양성하는 것은 단순한 기술 교육을 넘어 미래 사회 전반에 큰 발전을 도모할 수 있는 필수 요소라는 양교의 공감대를 바탕으로 추진됐다. 양교는 그간 인공지능 및 이와 융합한 다양한 산업 분야의 공동연구 그룹을 운영해 왔으며, 이번 협약을 바탕으로 인공지능 관련 분야 대학원 과정의 공동학위제를 설계하기 위한 운영위원회를 올해 안에 설치할 예정이다. 우리 대학 관계자는 "인공지능 공동학위제가 시행되면 KAIST가 뉴욕대와 힘을 합쳐 ‘하나의 인공지능 학위’를 창조하는 사상 초유의 혁신적 실험이 될 것으로 기대한다"라고 전했다. 위원회는 양교 교수진을 동수로 포함해 구성하며, ▴교육과정 구조
2024-09-10