IMDEA Software Institute faculty member Pedro López gave an invited talk on August 28 at the 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems, CICLOPS'17, in Melbourne, Australia, as part of the joint international top conferences ICLP'17, CP'17, and SAT'17.
Pedro’s talk, entitled “Static Profiling of Parametric Resource Usage as a Valuable Aid for Hot-spot Detection,” presents a novel technique that allows performing better software optimizations, and in a more efficient way, than the ones obtained with current cost analysis tools.
