El Trabajo de Fin de Máster: “Code Search: A Semantic, Abstract-Interpretation Based Approach” de la estudiante de IMDEA Isabel García ha recibido el premio SISTEDES-Accenture Technology 2016 al mejor Trabajo Fin de de Máster sobre nuevas metodologías y herramientas para el desarrollo de software.
El trabajo ha sido desarrollada en el Instituto IMDEA Software bajo la supervisión de Manuel Hermenegildo y José Francisco Morales dentro del programa del Máster en Inteligencia Artificial de la Universidad Politécnica de Madrid. Isabel recibirá el premio durante las Jornadas SISTEDES 2017 en julio de 2017 en Tenerife, España.
La tesis pone una solución nueva al problema de búsqueda de código en grandes bases de datos, basada en la propiedades semánticas de éste, y un nuevo lenguaje de consulta que permite expresar dichas propiedades. La naturaleza semántica de este enfoque se basa en el uso de la intepretación abstracta, en contraste con otros enfoques actuales que son básicamente sintácticos. El trabajo incluye una implementación de la propuesta para comprobar su viabilidad práctica utilizando el lenguaje de programación multiparadigma Ciao.
