Investigadores del Instituto IMDEA Software han impartido varias charlas y han sido panelistas en el Trigésimo Séptimo Congreso Internacional de Programación Lógica (ICLP'21, el principal congreso en el área de Programación Lógica).
Manuel Hermenegildo (Distinguished Professor) presentó, como panelista invitado, su punto de vista sobre la integración de diferentes paradigmas de programación, ejemplificada por el sistema Ciao/CiaoPP desarrollado en IMDEA Software. El panel, titulado “No Logic is an Island: Internal and External Integration of Logic Programming Paradigms” presentó experiencias y planteó varias preguntas y desafíos futuros sobre cómo diferentes subáreas/subformalismos de la Programación Lógica pueden integrarse entre sí y con otros paradigmas.
Isabel García (doctora recientemente graduada) y Víctor Pérez (estudiante de doctorado) presentaron un artículo sobre su trabajo con Miguel Ángel Sánchez (estudiante graduado) y los investigadores de IMDEA Software José Francisco Morales, Pedro López y Manuel Hermenegildo, titulado “VeriFly: On-the-fly Assertion Checking via Incrementality”. Dicho trabajo presenta una herramienta para verificar o detectar errores de manera interactiva en los sistemas software, al inicio del ciclo de desarrollo, sin tener que ejecutar realmente los programas, con el fin de reducir los costes de producción y aumentar la calidad del software. Haciendo uso del marco de verificación y análisis estático de CiaoPP, la herramienta VeriFly proporciona una verificación de aserciones temprana, contínua y precisa y diferente retroalimentación semántica a los programadores, presentando los resultados como colores y mensajes emergentes directamente en el texto del programa, dentro del entorno integrado de desarrollo (IDE). Los experimentos muestran que la modularidad y la incrementalidad de CiaoPP permiten abordar un desafío importante de este tipo de herramientas: responder de forma interactiva a los cambios de programa sobre la marcha con tiempos de latencia muy bajos.
El investigador postdoctoral Bishoksan Kafle presentó un artículo sobre su trabajo con Graeme Gange, Peter Schachte, Harald Sondergaard y Peter J. Stuckey titulado “Transformation-Enabled Precondition Inference”. Dicho trabajo presenta un método iterativo novedoso para resolver el problema de inferencia de condiciones previas, un problema no trivial con aplicaciones importantes en el análisis y la verificación de programas. El método infiere automáticamente las condiciones previas para la seguridad (o su ausencia) de los programas. La evaluación experimental muestra que el método puede inferir condiciones previas precisas (a veces óptimas) que no es posible inferir utilizando métodos anteriores.
Los investigadores Manuel Carro (Director), Manuel Hermenegildo y José Francisco Morales fueron miembros del Comité de Programa. Los dos primeros también presidieron sesiones.
