Un artículo de la estudiante del Instituto IMDEA Software Nataliia Stulova, y los investigadores José Francisco Morales y Manuel Hermenegildo, con título “Reducing the Overhead of Runtime Checks via Static Analysis”, fue el mejor valorado de todos los aceptados en el 18th International Symposium on Principles and Practice of Declarative Programming, PPDP, celebrado en Edimburgo, UK, en conjunción con los congresos 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR y 23rd. Static Analysis Symposium, SAS.
