El investigador del Instituto IMDEA Software Pedro López ha dado una charla invitada el 28 de Agosto en el “Decimoquinto Coloquio International sobre Implementación de Sistemas de Programación Lógica y con Restricciones”, CICLOPS'17, Melbourne, Australia, como parte del evento conjunto de congresos internacionales de primer nivel ICLP'17, CP'17 y SAT'17.
La charla de Pedro, titulada “Static Profiling of Parametric Resource Usage as a Valuable Aid for Hot-spot Detection” presenta una técnica novedosa que permite realizar mejores optimizaciones de programas software, y de manera más eficiente, que las obtenidas con herramientas actuales para análisis de coste.
