Noticias
Marzo, 2024.- Con el objetivo de mejorar la forma en que se entienden y analizan los programas computacionales, el trabajo de los investigadores IMFD y académicos DCC U. Chile, Matías Toro y Éric Tanter, es uno de los proyectos seleccionados del fondo ANID-DFG de la Agencia Nacional de Investigación y Desarrollo de Chile, y la Fundación Alemana de Investigación Científica, que busca reunir a investigadores/as de ambos países para diseñar y realizar de manera conjunta proyectos de alta calidad científica.
En el proyecto “Interpretación abstracta gradual” (Gradual abstract interpretation) también trabajará el investigador Sebastian Erdweg, de la Universidad Johannes Gutenberg (Johannes Gutenberg-Universität Mainz).
Sobre la propuesta de investigación, los académicos señalan: “En este proyecto, profundizaremos en la teoría del análisis gradual de programas para desarrollar un enfoque general para desarrollar análisis graduales que sean fáciles de usar, admitan lenguajes de programación y propiedades de programas sofisticados, y produzcan implementaciones de análisis graduales que sean escalables a bases de código del mundo real. Al hacerlo, debemos encontrar respuestas a preguntas fundamentales como: ¿cómo gradualizar dominios abstractos de altura infinita, cómo razonar sobre computaciones efectivas gradualmente y cómo derivar un análisis de programas dinámicos sistemáticamente? No sólo exploraremos estas preguntas teóricamente, sino que también estudiaremos cómo realizar análisis graduales de programas modularmente como intérpretes abstractos definicionales graduales en el marco de análisis Sturdy de PI Erdweg, que se está utilizando para el análisis estático de programas reales de WebAssembly”.
Fuente: Comunicaciones DCC U. Chile
