Khoa Khoa học Máy tính KAIST phát triển công nghệ tự động chuyển đổi từ C sang Rust

 (n.news.naver.com)
12 điểm bởi regentag 2024-08-13 | 9 bình luận | Chia sẻ qua WhatsApp

KAIST cho biết vào ngày 13 rằng nhóm nghiên cứu của Khoa Khoa học Máy tính do Ryu Seok-young dẫn dắt (Phòng thí nghiệm Ngôn ngữ Lập trình) đã phát triển "công nghệ chuyển đổi mã C sang Rust" nhằm ngăn chặn phát sinh các vấn đề về bộ nhớ trong những chức năng cốt lõi của ngôn ngữ C. Kết quả nghiên cứu lần này đã được chấp nhận tại hội nghị học thuật quốc tế "ASE (Automated Software Engineering)".

Bài báo đã được đăng trên tạp chí PACMPL (Proceedings of the ACM on Programming Languages) vào ngày 21 tháng 6 theo giờ Hàn Quốc, và được trình bày tại hội nghị PLDI 2024 diễn ra từ ngày 25 đến 27 tháng 6.

Bài viết liên quan

9 bình luận

 
azabell 2024-08-18

Nghe có vẻ khá thú vị.
 
skrevolve 2024-08-16

Nếu vẫn thay thế bằng chuyển đổi thì Rust còn ý nghĩa gì nữa?
 
purely4959 2024-08-17

Xét về khía cạnh an toàn bộ nhớ thì chẳng phải đây đã là một lợi thế đủ lớn rồi sao?
Ngoài ra, ở những phần không thể tự động chuyển đổi khi muốn quản lý mã C hiện có dựa trên quyền sở hữu, có lẽ cũng có thể phát hiện ra các vấn đề bảo mật.
 
koreaisbest 2024-08-14

Từ C sang rust... bạn say rồi à?
 
regentag 2024-08-14

Không thể dịch từ C sang Rust sao..?
 
andrewchaa 2024-08-14

Nếu chỉ chuyển đổi union thì tôi không rõ việc đó có ý nghĩa gì.
 
botplaysdice 2024-08-14

Có lẽ lý do họ tập trung vào chuyển đổi union là vì việc chuyển đổi các thành phần khác khá đơn giản, phải không?
 
jongyeol 2024-08-13

Chỉ nhìn tiêu đề bài báo thì rất dễ hiểu nhầm rằng việc dịch C->Rust đã được hoàn thiện, nhưng trong nội dung bài trên cũng như các bài khác, có vẻ chỉ thấy nhắc đến việc chuyển đổi union.

(Bài trên)
"Nhóm nghiên cứu đã phát triển công nghệ dịch union của ngôn ngữ C hiện có sang mã Rust."
"Nhóm nghiên cứu có kế hoạch tiến hành các nghiên cứu tiếp theo để đạt đến giai đoạn 'dịch hoàn toàn tự động'."

(Bài khác)
"KAIST (Hiệu trưởng Lee Kwang-hyung) ngày 13 cho biết nhóm nghiên cứu của Giáo sư Ryu Seok-young thuộc Khoa Khoa học Máy tính (Phòng thí nghiệm Ngôn ngữ Lập trình) đã lần đầu tiên trên thế giới phát triển công nghệ chuyển đổi union của ngôn ngữ C thành tagged union của Rust."
https://www.lecturernews.com/news/articleView.html?idxno=158865
 
secret3056 2024-08-13

Cũng mới có tin về TRACTOR cách đây không lâu..