# KAIST 전산학부, C to Rust 자동번역기술 개발

> Clean Markdown view of GeekNews topic #16302. Use the original source for factual precision when an external source URL is present.

## Metadata

- GeekNews HTML: [https://news.hada.io/topic?id=16302](https://news.hada.io/topic?id=16302)
- GeekNews Markdown: [https://news.hada.io/topic/16302.md](https://news.hada.io/topic/16302.md)
- Type: news
- Author: [regentag](https://news.hada.io/@regentag)
- Published: 2024-08-13T16:13:37+09:00
- Updated: 2024-08-13T16:13:37+09:00
- Original source: [n.news.naver.com](https://n.news.naver.com/mnews/article/008/0005076335)
- Points: 12
- Comments: 9

## Summary

KAIST 전산학부 연구팀이 C언어의 메모리 문제를 방지하는 'C-러스트 코드 번역 기술'을 개발했습니다. 이 기술은 국제 학술대회 ASE에 채택되었으며, PACMPL 저널에 논문 게재 및 PLDI 2024 학술대회에서 발표 되었습니다. 기사 내용이 자세하지 않은데, 기사에서는 "C언어의 유니언(union)*을 러스트의 태그드 유니언(tagged union)"으로 변환하는 기술이라고 합니다.

## Topic Body

KAIST(카이스트)는 류석영 전산학부 연구팀(프로그래밍 언어 연구실)이 C언어의 핵심 기능에서 메모리 문제가 생기지 않도록 방지하는 'C-러스트 코드 번역 기술'을 개발했다고 13일 밝혔다. 이번 연구 결과는 국제 학술대회 '국제 자동 소프트웨어엔지니어링학회(ASE)'에 채택됐다.  
  
논문은 한국 시각으로 6월 21일 PACMPL(Proceedings of the ACM on Programming Languages) 저널에 게재됐고 6월 25일부터 27일 사이에 진행된 PLDI 2024 학술대회에서 발표됐다.

## Comments



### Comment 28082

- Author: azabell
- Created: 2024-08-18T15:06:54+09:00
- Points: 1

흥미있어보이긴 하네요

### Comment 28055

- Author: skrevolve
- Created: 2024-08-16T21:39:44+09:00
- Points: 1

변환으로 대체화를 할거면 rust 에 의미가 있나요?

### Comment 28070

- Author: purely4959
- Created: 2024-08-17T17:55:46+09:00
- Points: 1
- Parent comment: 28055
- Depth: 1

메모리 안전성이라는 측면에서는 충분히 메리트가 있지 않을까요  
기존의 C 코드를 소유권 기반으로 관리하게끔 할 때 자동적으로 변환이 안되는 부분에서 보안 이슈를 찾아낼 수도 있을 것 같구요

### Comment 28013

- Author: koreaisbest
- Created: 2024-08-14T13:01:55+09:00
- Points: 1

C를 rust로...술마셨나요?

### Comment 28020

- Author: regentag
- Created: 2024-08-14T16:23:13+09:00
- Points: 3
- Parent comment: 28013
- Depth: 1

C를 rust로 번역하면 안되나요..?

### Comment 27990

- Author: andrewchaa
- Created: 2024-08-14T00:45:50+09:00
- Points: 1

union 변환만 하는거라면 어떤 의미가 있는지 잘 모르겠네요

### Comment 27992

- Author: botplaysdice
- Created: 2024-08-14T06:30:52+09:00
- Points: 2
- Parent comment: 27990
- Depth: 1

Union 변환에 초점을 맞춘이유는, 다른 구성요소를 번역하는일은 단순하기때문이 아닐까요.

### Comment 27987

- Author: jongyeol
- Created: 2024-08-13T19:10:49+09:00
- Points: 3

기사 제목만 보면 C->Rust 번역이 다 되는 것 처럼 오해하기 쉬운데, 위 기사 내용도, 다른 기사에서도, union 변환만 언급되는 것 같네요.  
  
---  
(위 기사)  
"연구팀은 기존 C언어의 유니언을 러스트 코드로 번역하는 기술을 개발했다."  
"연구팀은 '완전 자동 번역' 단계에 이르기 위한 후속 연구를 진행할 계획이다."  
  
---  
(다른 기사)  
"KAIST(총장 이광형)는 전산학부 류석영 교수 연구팀(프로그래밍 언어 연구실)이 C언어의 유니언(union)*을 러스트의 태그드 유니언(tagged union)으로 변환하는 기술을 세계 최초로 개발했다고 13일 밝혔다."  
https://www.lecturernews.com/news/articleView.html?idxno=158865

### Comment 27986

- Author: secret3056
- Created: 2024-08-13T18:20:21+09:00
- Points: 1

얼마 전에 [TRACTOR](https://news.hada.io/topic?id=16109) 뉴스도 있었지요..