La exalumna de doctorado del Instituto IMDEA Software, Isabel García-Contreras, gana uno de los dos premios a la mejor tesis de SISTEDES (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software). Se trata del segundo reconocimiento que recibe tras ser galardonada con una de las mejores tesis doctorales de la UPM para el curso 2020/2021.
“A scalable static analysis framework for reliable program development exploiting incrementality and modularity” es el título de su tesis, dirigida por los profesores Manuel Hermenegildo y José Francisco Morales.
Isabel estudia los análisis escalables en el contexto de la interpretación abstracta. Dado que una forma de mejorar la escalabilidad es realizar abstracciones más gruesas, primero inspecciona qué efecto puede tener esto a la hora de probar eficazmente la ausencia de errores. En segundo lugar, presenta un marco para análisis estáticos escalables que es genérico, es decir, independiente de la abstracción de datos del programa. Isabel presenta varios algoritmos para reanalizar incrementalmente programas enteros de forma sensible al contexto, reutilizando en la medida de lo posible los resultados de análisis anteriores. Un aspecto novedoso clave del enfoque es aprovechar la estructura modular de los programas, normalmente definida por el programador, al tiempo que se mantiene una relación detallada entre el resultado del análisis y el programa fuente.
Además, presenta un mecanismo para que el programador ayude al analizador en términos de precisión y rendimiento mediante aserciones. Demuestra que estas aserciones, junto con el análisis incremental, son especialmente útiles cuando se analiza código genérico. Todos estos algoritmos se han implementado y evaluado para diferentes dominios abstractos dentro del marco CiaoPP.
