El profesor afiliado a Instituto IMDEA Software, y de la Universidad de Verona, Roberto Giacobazzi recibe, junto a Francesco Ranzato, de la Universidad de Padova, y Patrick Cousot el premio Artículo Distinguido en POPL 2019 por su trabajo conjunto en “A²I: Abstract² Interpretation”.
Su artículo, formaliza la interpretación meta-abstracta tanto ‘offline’ como ‘online’ e ilustra esta noción con el diseño de ampliaciones y la descomposición de dominios abstractos relacionales para acelerar los análisis de programas. De este modo, se pueden extraer análisis estáticos novedosos como interpretaciones meta-abstractas para diseñar algoritmos de análisis de programas eficientes y precisos.
Además del trabajo premiado, otros dos artículos de Instituto IMDEA Software fueron aceptados en POPL 2019. Una muestra de la calidad de la investigación llevada a cabo por el Instituto.
