Investigadores de KAIST desarrollaron una tecnología que traduce automáticamente el código C a Rust, superando las limitaciones de seguridad del C y garantizando la corrección matemática del proceso.
Actualidad11 de noviembre de 2025
Techinfo
La Universidad Avanzada de Ciencia y Tecnología de Corea (KAIST) ha presentado una innovadora tecnología que permite la conversión automática del lenguaje de programación C al lenguaje Rust. Esta iniciativa surge como respuesta a las limitaciones de seguridad que presenta el C, utilizado en sistemas operativos y software crítico a nivel global.
El equipo de investigación, liderado por el Profesor Sukyoung Ryu, demostró que su tecnología no solo realiza la conversión de manera precisa, sino que también garantiza la corrección matemática del proceso. Esto representa un avance significativo en comparación con los métodos actuales basados en inteligencia artificial, que a menudo carecen de esta garantía.
La conversión automática a Rust se presenta como una solución viable para abordar las vulnerabilidades de seguridad inherentes al C. Desde su desarrollo en 2015, Rust ha ganado popularidad por su capacidad para detectar y prevenir errores antes de la ejecución del programa, lo que lo convierte en una opción más segura para el desarrollo de software.
Un informe del Gobierno de EE. UU. publicado en febrero de 2024 recomendó la discontinuación del uso del C, destacando a Rust como la alternativa principal para resolver los problemas de seguridad asociados. La Agencia de Proyectos de Investigación Avanzada de Defensa (DARPA) también ha promovido proyectos para desarrollar tecnologías que faciliten la conversión automática de código C a Rust.
El equipo de investigación de KAIST ha estado trabajando en esta tecnología desde antes de que estas recomendaciones se hicieran públicas. En mayo de 2023, presentaron una tecnología de conversión de Mutex, necesaria para la sincronización de programas, en la Conferencia Internacional sobre Ingeniería de Software (ICSE). Posteriormente, en junio de 2024, presentaron la tecnología de conversión de Parámetros de Salida en la Conferencia sobre Diseño e Implementación de Lenguajes de Programación (PLDI), y en octubre de ese mismo año, la tecnología de conversión de Unión en la Conferencia sobre Ingeniería de Software Automatizada (ASE).
El Dr. Jaemin Hong, miembro del equipo, afirmó: "La tecnología de conversión que desarrollamos es original y se basa en la teoría de lenguajes de programación. Su mayor fortaleza es que podemos probar lógicamente la 'correctitud' de la conversión". Además, se espera que el Dr. Hong asuma el cargo de profesor asistente en el Departamento de Ciencias de la Computación de UNIST a partir de marzo de 2025.
El trabajo del equipo de Ryu no solo se limita a la conversión automática de C a Rust. También han desarrollado tecnologías para verificar el funcionamiento correcto de programas en computadoras cuánticas y para comprobar la corrección de programas en WebAssembly, recibiendo reconocimientos por su efectividad.
La investigación fue publicada en la edición de noviembre de Communications of the ACM y fue seleccionada como la historia de portada, destacando la relevancia y el impacto de estos avances en el campo de la ingeniería de software.
Se trata de una versión más potente, segura y ambiciosa, capaz de razonar mejor, generar aplicaciones y mejorar la búsqueda. El gigante busca recuperar liderazgo y marcar el futuro del sector.
En China se está construyendo una metrópolis inteligente cuya expectativa de apertura es para 2028. Los detalles de una ciudad que promete ser única en el mundo.
Cinco nuevas unidades llegaron a una nación que busca modernizar sus trenes para lograr una mayor conectividad en todo su territorio.
Una investigación de la Universidad de Maine impulsó un modelo de IA diseñado para mejorar la detección de tejido canceroso.
Los funcionarios podrán acceder a “enormes cantidades de datos de ubicación” y determinar el estatus migratorio de una persona al apuntar un teléfono móvil a su rostro
Una investigación de la Universidad de Maine impulsó un modelo de IA diseñado para mejorar la detección de tejido canceroso.
Cinco nuevas unidades llegaron a una nación que busca modernizar sus trenes para lograr una mayor conectividad en todo su territorio.
En China se está construyendo una metrópolis inteligente cuya expectativa de apertura es para 2028. Los detalles de una ciudad que promete ser única en el mundo.
Se trata de una versión más potente, segura y ambiciosa, capaz de razonar mejor, generar aplicaciones y mejorar la búsqueda. El gigante busca recuperar liderazgo y marcar el futuro del sector.