Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Jose Francisco Morales Caballero
Categoría Investigador
L.D. PRF.AYUD.DOCTOR
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
INTELIGENCIA ARTIFICIAL
Area Conocimiento
CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL
Grupo de Investigación:
Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Email (Directorio UPM)
josefrancisco.morales
upm.es
Teléfono (Directorio UPM)
910672885
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
11 Proyectos de I+D+i
1: (2007)
MERIT
2: (2008)
MERIT: MEtodos RIgurosos para sistemas heTerogeneos y Moviles
3: (2008)
Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
4: (2009)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
5: (2009)
PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
6: (2010)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
7: (2010)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
8: (2010)
S-CUBE - N. 215483
9: (2014)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
10: (2014)
N-Greens Software. Next-GeneRation Energy-EfficieNt Secure Software
11: (2019)
PROCODE - Rigorous methods for the development of software systems with certified quality and reliability
Formación de Investigadores y Movilidad
2 Tesis Doctorales
1: (2010)
Advanced Compilation Tecniques for Logic Programming.
2: (2013)
Dynamic Checking of Assertions for Higher-order Predicates
Difusión de Resultados de Investigación
8 Artículos en revistas
1: (2007)
Towards Description and Optimization of Abstract Machines in an Extension of Prolog
2: (2012)
An overview of Ciao and its design philosophy
3: (2012)
Lightweight compilation of (C)LP to JavaScript
4: (2013)
Reversible Language Extensions and their Application in Debugging
5: (2014)
Pre-indexed Terms for Prolog
6: (2014)
Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
7: (2015)
Practical Run-time Checking via Unobtrusive Property Caching
8: (2017)
Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis (JCR Q3)
2 Capítulos de libros
1: (2016)
Reducing the Overhead of Assertion Run-time Checks via Static Analysis
2: (2018)
Exploiting Term Hiding to Reduce Run-time Checking Overhead (CORE B)
1 Conferencias invitadas en congresos
1: (2011)
An Overview of the Ciao System
1 Cursos, seminarios y tutoriales
1: (2011)
First PROMETIDOS-CM Summer School
2 Libros
1: (2010)
Advanced Compilation Tecniques for Logic Programming
2: (2013)
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
6 Otras Publicaciones
1: (2007)
Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
2: (2011)
Modular Extensions for Modular (Logic)
3: (2014)
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
4: (2017)
Term Hiding and its Impact on Run-time Check Simplification (Extended Abstract)
5: (2018)
An Approach to Incremental and Modular Context-sensitive Analysis
6: (2018)
CODE. ANALYZE. REPEAT. Incremental and Modular Static Program Analysis
10 Ponencia en Congresos
1: (2008)
Comparing Tag Scheme Variations Using an Abstract Machine Generator
2: (2014)
Assertion-based Debugging of Higher-Order (C)LP Programs
3: (2014)
Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
4: (2014)
Towards Pre-Indexed Terms
5: (2015)
Higher-order Runtime Verification Challenges in (Constraint) Logic Programming
6: (2015)
Practical Run-time Checking via Unobtrusive Property Caching
7: (2016)
Reducing the Overhead of Assertion Run-time Checks via Static Analysis
8: (2017)
Towards Run-time Checks Simplification via Term Hiding
9: (2018)
Exploiting Term Hiding to Reduce Run-time Checking Overhead
10: (2019)
Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)
