Departamento de Ciencias de la Computación de KAIST desarrolla tecnología de traducción automática de C a Rust

 (n.news.naver.com)
12 puntos por regentag 2024-08-13 | 9 comentarios | Compartir por WhatsApp

KAIST informó el día 13 que el equipo de investigación del profesor Ryu Seok-young, del Departamento de Ciencias de la Computación (Laboratorio de Lenguajes de Programación), desarrolló una "tecnología de traducción de código de C a Rust" que evita problemas de memoria en las funciones clave del lenguaje C. Este resultado de investigación fue aceptado en la conferencia internacional "Automated Software Engineering (ASE)".

El artículo fue publicado el 21 de junio, hora de Corea, en la revista PACMPL (Proceedings of the ACM on Programming Languages), y fue presentado en la conferencia PLDI 2024, celebrada del 25 al 27 de junio.

Lecturas relacionadas

9 comentarios

 
azabell 2024-08-18

Se ve interesante, la verdad.
 
skrevolve 2024-08-16

Si lo van a sustituir con conversión, ¿entonces Rust tiene algún sentido?
 
purely4959 2024-08-17

¿No tendría suficiente mérito desde la perspectiva de la seguridad de memoria?
Y también parece que en las partes donde la conversión automática no funcione al hacer que el código C existente se gestione con base en ownership, podrían encontrarse problemas de seguridad.
 
koreaisbest 2024-08-14

De C a Rust... ¿andabas tomando?
 
regentag 2024-08-14

¿No se puede traducir de C a Rust..?
 
andrewchaa 2024-08-14

Si solo convierte union, no entiendo muy bien qué sentido tiene.
 
botplaysdice 2024-08-14

¿No será que se enfocaron en la conversión de union porque traducir los otros componentes es algo más simple?
 
jongyeol 2024-08-13

Si uno solo ve el título del artículo, es fácil malinterpretar que ya se puede traducir por completo de C a Rust, pero tanto en el contenido del artículo de arriba como en otros artículos, parece que solo se menciona la conversión de union.

(Artículo de arriba)
"El equipo de investigación desarrolló una tecnología para traducir los union del lenguaje C a código Rust."
"El equipo de investigación planea continuar con estudios posteriores para llegar a la etapa de 'traducción completamente automática'."

(Otro artículo)
"KAIST (presidente Lee Kwang-hyung) anunció el día 13 que el equipo de investigación del profesor Ryu Seok-young, del Departamento de Ciencias de la Computación (Laboratorio de Lenguajes de Programación), desarrolló por primera vez en el mundo una tecnología para convertir los union del lenguaje C (union)* en tagged union de Rust."
https://www.lecturernews.com/news/articleView.html?idxno=158865
 
secret3056 2024-08-13

Hace poco también salió la noticia de TRACTOR..