Investigadores del Instituto IMDEA Software han presentado varios artículos en el ‘34th International Conference on Logic Programming’ (ICLP'18), que este año ha sido parte del ‘Federated Logic Conference’ (FLoC'18), celebrado del 14 al 17 de julio de 2018, en Oxford, R.U. FLoC es un evento de primer nivel, que reúne cada cuatro años en el mismo sitio todos los congresos principales internacionales relacionados con la lógica y la ciencia de los computadores. ICLP es el congreso principal a nivel internacional en el área de la programación lógica y forma parte de FLoC.
El director del Instituto IMDEA Software Manuel Carro ha sido miembro del comité de programa de ICLP este año. Joaquín Arias, estudiante de doctorado, presentó s(CASP), un sistema desarrollado en colaboración con Manuel Carro e investigadores de la Universidad de Texas en Dallas. s(CASP) evalúa programas no monotónicos con restricciones, evitando la explosión combinatoria provocada por la fase de conversión a términos base. El artículo “Constraint Answer Set Programming without Grounding”, que se publica en la revista Theory and Practice of Logic Programming, describe este modelo de ejecución novedoso y muestra a través de varios ejemplos la mejora de expresividad de s(CASP) con respecto a ASP, CLP, y otros sistemas CASP.
El estudiante de doctorado Maximiliano Klemen presentó su trabajo con Nataliia Stulova, estudiante también del Instituto y que acabó recientemente su doctorado, y los investigadores Jose F. Morales, Pedro Lopez-Garcia, y Manuel Hermenegildo, con título “Towards Static Performance Guarantees for Programs with Run-time Checks”. Este trabajo presenta un entorno para razonar de forma estática sobre el sobrecoste añadido por las comprobaciones de propiedades en tiempo de ejecución, en términos de cambios en la complejidad algorítmica y coste efectivo. Además, el entorno permite a los programadores especificar niveles de sobrecoste admisibles a nivel de rutina (funciones, predicados, etc.) y comprobar de forma automática y estática (es decir, sin correr el programa) si el programa con las comprobaciones en tiempo de ejecución respetará dichos niveles para cualquier ejecución.
La estudiante de doctorado Isabel García presentó su trabajo con los investigadores José Francisco Morales y Manuel Hermenegildo, con título “Towards Incremental and Modular Context-sensitive Analysis”. Este trabajo trata el problema del alto coste de los análisis sensibles al contexto sobre grandes cantidades de código durante el proceso de desarrollo. Los autores presentan un método para poner al día de forma local los resultados del análisis en las partes en las que se han introducido cambios (incrementalidad), lo que es significativamente menos costoso que realizar un reanálisis global del sistema. Los cambios local se propagan a las unidades de programa afectadas sólo cuando es necesario (modularidad), obteniendo lo mismos resultados que un análisis estándar global modular, con grandes reducciones de coste.
El investigador Pedro Lopez-Garcia presentó su trabajo con el estudiante de doctorado Maximiliano Klemen, junto con Umer Liqat, estudiante de doctorado del recientemente graduado, y el investigador Manuel Hermenegildo, con título “A General Equational Framework for Static Profiling of Parametric Resource Usage” en el 19th Workshop on Logic and Computational Complexity (LCC'18). Este novedoso marco general para el planteamiento de relaciones de coste puede ser instanciado para realizar un amplio rango de análisis de consumo de recursos, incluido tanto el perfilado estático de coste acumulado como la inferencia de las nociones estándar de coste. Esto permite identificar de forma estática las partes de los programas que tienen el impacto más alto en el coste total.
