Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2017] Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis (JCR Q3)
  • [2015] Practical Run-time Checking via Unobtrusive Property Caching
  • [2014] Pre-indexed Terms for Prolog
  • [2014] Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
  • [2013] Reversible Language Extensions and their Application in Debugging
  • [2012] An overview of Ciao and its design philosophy
  • [2012] Lightweight compilation of (C)LP to JavaScript
  • [2007] Towards Description and Optimization of Abstract Machines in an Extension of Prolog
  ...
  mostrar más
• Capítulos de libros
  • [2018] Exploiting Term Hiding to Reduce Run-time Checking Overhead (CORE B)
  • [2016] Reducing the Overhead of Assertion Run-time Checks via Static Analysis
• Conferencias invitadas en congresos
  • [2011] An Overview of the Ciao System
• Cursos, seminarios y tutoriales
  • [2011] First PROMETIDOS-CM Summer School
• Libros
  • [2013] Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
  • [2010] Advanced Compilation Tecniques for Logic Programming
• Otras Publicaciones
  • [2018] An Approach to Incremental and Modular Context-sensitive Analysis
  • [2018] CODE. ANALYZE. REPEAT. Incremental and Modular Static Program Analysis
  • [2017] Term Hiding and its Impact on Run-time Check Simplification (Extended Abstract)
  • [2014] An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
  • [2011] Modular Extensions for Modular (Logic)
  • [2007] Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
  ...
  mostrar más
• Ponencia en Congresos
  • [2019] Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP
  • [2018] Exploiting Term Hiding to Reduce Run-time Checking Overhead
  • [2017] Towards Run-time Checks Simplification via Term Hiding
  • [2016] Reducing the Overhead of Assertion Run-time Checks via Static Analysis
  • [2015] Higher-order Runtime Verification Challenges in (Constraint) Logic Programming
  • [2015] Practical Run-time Checking via Unobtrusive Property Caching
  • [2014] Assertion-based Debugging of Higher-Order (C)LP Programs
  • [2014] Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
  • [2014] Towards Pre-Indexed Terms
  • [2008] Comparing Tag Scheme Variations Using an Abstract Machine Generator
  ...
  mostrar más
• Proyectos de I+D+i
  • [2019] PROCODE - Rigorous methods for the development of software systems with certified quality and reliability
  • [2014] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2014] N-Greens Software. Next-GeneRation Energy-EfficieNt Secure Software
  • [2010] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2010] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2010] S-CUBE - N. 215483
  • [2009] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2009] PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
  • [2008] MERIT: MEtodos RIgurosos para sistemas heTerogeneos y Moviles
  • [2008] Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
  • [2007] MERIT
  ...
  mostrar más
• Responsabilidades
  • [2014] Miembro del Comité de Programa
  • [2014] Miembro del comité de programa
  • [2014] Revisor de contribuciones en congresos
  • [2014] Revisor de contribuciones en congresos
  • [2014] Revisor de contribuciones en congresos
  • [2014] Revisor de contribuciones en congresos
  • [2013] 13th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2013).
  • [2013] 23rd Workshop on Logic-based methods in Programming Environments (WLPE?2013).
  • [2013] Participation in Program Committe of 13th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2013).
  • [2013] Program Committee of 29th International Conference on Logic Programming (ICLP 2013).
  ...
  mostrar más
• Tesis Doctorales
  • [2013] Dynamic Checking of Assertions for Higher-order Predicates
  • [2010] Advanced Compilation Tecniques for Logic Programming.