Investigadores del Instituto IMDEA Software presentaron dos artículos en la 32nd International Conference on Logic Programming (ICLP'16), celebrada en Nueva York, que han sido publicados en una edición especial de la revista “Theory and Practice of Logic Programming” (TPLP), y un artículo aceptado en el ICLP affiliated Doctoral Consortium on Logic Programming.
El primer artículo, de la estudiante de doctorado Isabel García junto con los investigadores José Francisco Morales y Manuel Hermenegildo, titulado “Abstract Code Search”, presenta una nueva técnica de búsqueda de código basada en buscar propiedades semánticas inferidas automáticamente, en vez de utilizar sus propiedades estructurales o sintácticas.
El segundo artículo, del investigador Pedro López junto con los estudiantes de doctorado Maximiliano Klemen y Umer Liqat, y el investigador Manuel Hermenegildo, titulado “A General Framework for Static Profiling of Parametric Resource Usage”, describe la implementación de un nuevo marco para realizar análisis del uso de recursos en código estático.
El tercer artículo, del estudiante de doctorado Joaquín Arias será presentado en el 12th ICLP Doctoral Consortium (DC-ICLP), un foro para estudiantes de doctorado que trabajen en áreas relacionadas con la programación lógica. Este artículo será publicado en la Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs).
Cabe destacar que tres investigadores del Instituto IMDEA Software: Manuel Carro, José Francisco Morales y John Gallagher forman parte del comité de programa.
