Noticias

Investigadores Matías Toro y Éric Tanter trabajarán en proyecto conjunto con la Universidad Johannes Gutenberg de Alemania

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.

Matías Toro y Éric Tanter

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

More news
View : All
Annual
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
Biannual
1st semester
2nd semester
Monthly
January
February
March
April
May
June
July
August
September
October
November
December
No news in this category
Show more
Nothing to show