Chile, informáticos en Interpretación Abstracta Gradual

Universidad Johannes Gutenberg Universidad de Chile Interpretación Abstracta Gradual

Chile, informáticos en Interpretación Abstracta Gradual. Investigadores de Universidad Johannes Gutenberg de Mainz (JGU) y la Universidad de Chile colaboran en proyecto conjunto de Interpretación Abstracta Gradual. El objetivo es mejorar el análisis de programas informáticos.

Universidad Johannes Gutenberg Universidad de Chile Interpretación Abstracta Gradual

Chile Interpretación Abstracta Gradual

Científicos informáticos de Chile y Alemania cooperan para establecer una detección fiable de errores de programación en nueva técnica denominada Interpretación Abstracta Gradual.

Investigadores de la Universidad Johannes Gutenberg de Mainz (JGU) y la Universidad de Chile colaboran en un nuevo proyecto conjunto cuyo objetivo es mejorar el análisis de programas informáticos.

Recibirán una financiación de 450.000 euros en total durante los próximos tres años de la Fundación Alemana de Investigación (DFG) y de ANID, la agencia estatal responsable de promover la investigación en Chile.

Chile y Alemania financian investigación nacional para el desarrollo de una nueva técnica conocida como Interpretación Abstracta Gradual que garantiza la aplicación segura y sin errores de lenguajes de programación.

La financiación de 450.000 euros en total se canaliza en la Fundación Alemana de Investigación (DFG) y de ANID, la agencia estatal responsable de promover la investigación en Chile.

Aproximadamente 350.000 euros de esta financiación se destinarán a JGU. «Gracias a este apoyo hemos podido poner en marcha el primer proyecto de investigación colaborativo entre las universidades de Maguncia y Chile en el campo de la informática», afirmó el profesor Sebastian Erdweg del Instituto de Ciencias de la Computación de la JGU.

Universidad Chile

«El punto de partida de nuestra propuesta de proyecto conjunto fue mi estancia de nueve semanas como profesor visitante en la Universidad de Chile en el otoño de 2022.» Para su año sabático, Erdweg había estado buscando posibles colaboradores y entró en contacto con la Universidad de Chile, que es una de las principales instituciones de investigación en informática de América del Sur.

En el proyecto patrocinado por DFG/ANID, el profesor Sebastián Erdweg unirá esfuerzos con el profesor Éric Tanter y el profesor Matías Toro Ipinza del Departamento de Ciencias de la Computación de la Universidad de Chile, reconocidos especialistas en el campo de los lenguajes de programación. Mejorarán los métodos de análisis de programas y los aplicarán a la plataforma web abierta WebAssembly, con el objetivo de garantizar que las vulnerabilidades de seguridad puedan identificarse rápidamente.

WebAssembly

Este es un lenguaje de programación relativamente nuevo que puede utilizarse en todos los navegadores y ejecutarse en casi todos los dispositivos. Los estudios han demostrado que WebAssembly es vulnerable a los ataques cibernéticos con todos sus riesgos potenciales.

«Nuestro objetivo es mejorar la velocidad y la seguridad de WebAssembly identificando y abordando las vulnerabilidades de seguridad, así como eliminando medidas de protección redundantes», enfatiza Erdweg, destacando la importancia de un progreso metodológico significativo para lograr estos ambiciosos objetivos. Así, los investigadores planean crear una técnica de análisis de programas llamada Interpretación abstracta gradual.

Interpretación abstracta gradual

Los socios del proyecto adoptarán un enfoque bilateral basado en su experiencia específica en investigación. El profesor Sebastian Erdweg y su equipo estudiarán aspectos del análisis de programas que proporcionan información sobre códigos de programación sin necesidad de ejecutar el programa en cuestión. Sus pares chilenos aportarán sus habilidades en mecanografía gradual.

«No es posible verificar todos los atributos de los programas antes de que realmente se estén ejecutando. Al adoptar un enfoque gradual, podemos ejecutar un programa y luego verificar, mientras se está ejecutando, si es seguro o no. En el último caso, simplemente podemos cancelarlo», aclara Erdweg.

Este proyecto de investigación combinará la experiencia del equipo chileno en tipificación gradual y la experiencia del equipo alemán en interpretación abstracta para desarrollar una técnica de análisis híbrido ampliamente interconectada sobre una base teórica bien fundada. «Queremos poder validar al máximo un programa antes de su ejecución real», añadió Erdweg. En este contexto, Erdweg destacó que este proyecto surgió de su año sabático.

Colaboración chileno-alemana con el apoyo de la Fundación Alemana de Investigación y ANID

El propósito del esquema de financiamiento compartido DFG/ANID es reunir a investigadores de Alemania y Chile para diseñar y llevar a cabo proyectos de investigación organizados conjuntamente de excelente calidad científica. Dentro de estos equipos de investigación, cada organización nacional de financiación financia aquellos componentes del proyecto que se llevan a cabo dentro de su propio país.

Junto con su equipo en Mainz, el profesor Sebastian Erdweg trabaja en abstracciones de programación, lenguajes de programación y herramientas de programación diseñadas para simplificar el desarrollo y mantenimiento de sistemas de software complejos.

En noviembre de 2023, recibió una subvención ERC Consolidator Grant por valor de 2 millones de euros para permitirle desarrollar un método automatizado de computación incremental que permitirá que el software se ejecute de manera más eficiente.