Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2019] A General Framework for Static Cost Analysis of Parallel Logic Programs
  • [2019] An Integrated Approach to Assertion-Based Random Testing in Prolog
  • [2019] Computing Abstract Distances in Logic Programs
  • [2019] Incremental Analysis of Logic Programs with Assertions and Open Predicates
  • [2019] Towards Computing Abstract Distances in Logic Programs
  • [2019] Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
  • [2018] Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. JCR: primer cuartil de la categoria LOGIC. CORE: A
  • [2018] Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis
  • [2017] An Evolutionary Scheduling Approach for Trading-off Accuracy vs. Verifiable Energy in Multicore Processors. JCR: tercer cuartil de las categorias LOGIC y MATHEMATICS.
  • [2017] An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors
  • [2017] Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis (JCR Q3)
  • [2016] A General Framework for Static Profiling of Parametric Resource Usage.
  • [2016] A Transformational Approach to Parametric Accumulated-Cost Static Profiling
  • [2016] Description and Optimization of Abstract Machines in a Dialect of Prolog
  • [2016] ENTRA: Whole-Systems Energy Transparency.
  • [2016] Semantic Code Browsing.
  • [2015] Pre-Indexed Terms for Prolog
  • [2015] Practical Run-time Checking via Unobtrusive Property Caching
  • [2015] Pre-indexed Terms for Prolog
  • [2014] Pre-indexed Terms for Prolog
  • [2014] Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
  • [2014] Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
  • [2013] Reversible Language Extensions and their Application in Debugging
  • [2013] Sized Type Analysis for Logic Programs (Technical Communication)
  • [2013] Supporting Pruning in Tabled LP
  • [2013] Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types
  • [2012] A Sharing-Based Approach to Supporting Adaptation in Service Compositions.
  • [2012] Certificate Size Reduction in Abstraction-Carrying Code
  • [2012] Lightweight compilation of (C)LP to JavaScript
  • [2011] Efficient local unfolding with ancestor stacks
  • [2010] Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
  • [2010] Introduction to the 26th international conference on logic programming special issue
  • [2010] Lock-free parallel dynamic programming
  • [2009] Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information.
  • [2008] An Improved Continuation Call-Based Implementation of Tabling
  • [2008] A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
  • [2008] A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
  • [2008] Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
  • [2008] Precise Set Sharing Analysis for Java-Style Programs
  • [2007] A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs
  • [2007] Analyzing Non-Interference with respect to Classes
  • [2007] Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
  • [2007] Automatic Binding-related Error Diagnosis in Logic Programs
  • [2007] Combining Static Analysis and Profiling for Estimating Execution Times
  • [2007] Higher Order Logic Programming Languages with Constraints: A Semantics
  • [2007] Towards Description and Optimization of Abstract Machines in an Extension of Prolog
  • [2007] User-Definable Resource Bounds Analysis for Logic Programs
  ...
  mostrar más
• Capítulos de libros
  • [2019] Multivariant Assertion-based Guidance in Abstract Interpretation
  • [2019] Multivariant Assertion-based Guidance inAbstract Interpretation
  • [2018] Exploiting Term Hiding to Reduce Run-time Checking Overhead (CORE B)
  • [2016] Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
  • [2016] Reducing the Overhead of Assertion Run-time Checks via Static Analysis
  • [2011] Logic Languages
  ...
  mostrar más
• Conferencias invitadas en congresos
  • [2018] 25 Years of Ciao
  • [2018] Horn Clause-based Program Analysis and Verification with CiaoPP
  • [2016] Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
  • [2013] Analysis and Verification ?of and with? CLP. Keynote speech at COST action ?rich model toolkit? meeting, Malta, 2013
  • [2012] Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
  • [2011] An Overview of the Ciao System
  • [2010] An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization
  • [2010] Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP
  • [2007] Automatic Granularity-Aware Parallelization of Programs with Predicates, Functions, and Constraints
  ...
  mostrar más
• Estancias y sabáticos recogidos en programas oficiales
  • [2008] Stay for technology transfer results: implementation in CIAO of a CO-Logic Programing interpreter.
  • [2008] Visita como Titular de la Catedra Principe de Asturias en Ciencia y Tecnologia Informaticas
  • [2007] Estancia de Edward Morehouse. Objetivo: Investigación
  • [2007] Realización del proyecto fin de carrera
  • [2007] Research stay with professor John Gallagher
  • [2007] Viaje de Emilio Gallego Arias para visitar la Universidad de Yale University y reunirse con Paul Hudak.
  • [2007] Visita como Titular de la Cátedra Príncipe de Asturias en Ciencia y Tecnología Informáticas
  ...
  mostrar más
• Libros
  • [2017] Logic-Based Program Synthesis and Transformation
  • [2016] Proceedings of the 25th International Conference on Compiler Construction
  • [2010] Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010
  • [2010] Theory and Practice of Logic Programming 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue
  • [2008] Functional and Logic Programs
  ...
  mostrar más
• Otras Publicaciones
  • [2018] An Approach to Incremental and Modular Context-sensitive Analysis
  • [2018] An Approach to Static Performance Guarantees for Programs with Run-time Checks
  • [2018] CODE. ANALYZE. REPEAT. Incremental and Modular Static Program Analysis
  • [2017] Cost Analysis with Recurrence Relations (using CiaoPP).
  • [2017] Energy Consumption Analysis and Verification using CiaoPP
  • [2017] Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
  • [2017] Term Hiding and its Impact on Run-time Check Simplification (Extended Abstract)
  • [2015] Towards Energy Consumption Verification via Static Analysis
  • [2015] Parametric Static Profiling
  • [2014] An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
  • [2014] Towards LLVM-Based Energy Consumption Analysis of Programs.
  • [2011] Modular Extensions for Modular (Logic)
  • [2008] Bridge Transformation for Continuation Call-Based Tabled Execution
  • [2007] An Improved Continuation Call-Based Implementation of Tabling
  • [2007] Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
  • [2007] Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
  • [2007] Automatic Unrestricted Independent And-Parallelism in Logic Programs
  • [2007] Inferring Determinacy in Logic Programs Using Mode and Type Information
  • [2007] Precise Set Sharing and Nullity Analysis for Java-style Programs
  • [2007] Precise Set Sharing for Java-style Programs (and proofs)
  • [2007] Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report
  • [2007] Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages
  • [2007] Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism
  • [2007] Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
  ...
  mostrar más
• Otros méritos
  • [2018] Member of the Academia Europaea
  • [2018] Member of the External Advisory Board of the NOVA LINCS Institute
  • [2018] Member of the IRILL Scientific Advisory Board
  • [2018] Member of the Nomination Committee
  • [2018] Member of the Schloss Dagstuhl Scientific Advisory Board
  • [2018] Member of the Steering Board of EIT Digital.
  • [2018] Member of the Technical University of Madrid Consulting Council
  • [2018] Member of the The International Federation for Computational Logic (IFCoLog) Advisory Board
  • [2018] Member of the of the Technical University of Madrid Gallery of Distinguished Professors
  • [2018] President of the INRIA Scientific Council
  • [2018] Secretary of the International Association for Logic Programming
  • [2017] 33rd International Conference on Logic Programming (ICLP 2017)
  • [2017] Area Editor of ?Journal of Applied Logic? (Elsevier North-Holland).
  • [2017] Area Editor, Algorithms in Programming Languages and Software Engineering, of the ?Journal of the IGPL? (Oxford U press).
  • [2017] Associate Editor of the ?Journal of New Generation Computing? (Springer-Verlag).
  • [2017] Co-chair of the 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2017)
  • [2017] Editorial Advisor and former Area Editor (architecture and implementation) of ?Theory and Practice of Logic Programming? (Cambridge U. Press).
  • [2017] Member of the of the Technical University of Madrid Gallery of Distinguished Members
  • [2017] Steering Committee of the Conference on Compiler Construction (CC)
  • [2017] Steering Committee of the Static Analysis Symposium (SAS).
  • [2016] Sexenios
  • [2015] Sexenios
  • [2014] Conferenciante invitado
  • [2014] Conferenciante invitado
  • [2014] Conferenciante invitado
  • [2013] Elected member Informatics Europe steering board.
  • [2013] Steering Committee of the International Symposium on Functional and Logic Programming (FLOPS).
  • [2011] Miembro del Comité de Programa de 32nd ACM SIGPLAN conference on Programming Language Design and Implementation.
  • [2011] Miembro del Comité de Programa de Declarative Aspects of Multicore Programming DAMP'11
  ...
  mostrar más
• Ponencia en Congresos
  • [2019] Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP
  • [2019] Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP
  • [2018] Static Performance Guarantees for Programs with Run-time Checks
  • [2018] A General Framework for Static Profiling of Parametric Resource Usage
  • [2018] Exploiting Term Hiding to Reduce Run-time Checking Overhead
  • [2018] Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
  • [2018] Multivariant Assertion-Based Guidance in Abstract Interpretation
  • [2018] Towards Incremental and Modular Context-sensitive Analysis
  • [2018] Towards Static Performance Guarantees for Programs with Run-time Checks
  • [2017] Energy Consumption Analysis and Verification
  • [2017] Energy Consumption Analysis and Verification by Transformantion into Horn Clauses and Abstract Interpretation
  • [2017] From Logic Programming to Constraint Programming
  • [2017] Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
  • [2017] Towards Run-time Checks Simplification via Term Hiding
  • [2017] User-Definable Resource Bounds Analysis for Logic Programs
  • [2016] Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.
  • [2016] A Transformational Approach to Parametric Accumulated-Cost Static Profiling
  • [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
  • [2015] Pre-Indexed Terms for Prolog
  • [2014] Assertion-based Debugging of Higher-Order (C)LP Programs
  • [2014] Energy Consumption Analysis of Programs based on XMOS ISA-Level Models.
  • [2014] Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
  • [2014] Towards Pre-Indexed Terms
  • [2013] Energy Consumption Analysis of Programs based on XMOS ISA-Level Models
  • [2013] Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types
  • [2012] A Constraint-Based Approach to Quality Assurance in Service Choreographies
  • [2012] A General Implementation Framework for Tabled CLP
  • [2012] A Segment-Swapping Approach for Executing Trapped Computations.
  • [2012] Interval-Based Resource Usage Verification: Formalization and Prototype
  • [2011] Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis
  • [2011] CLP Projection for Constraint Handling Rules
  • [2011] Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations
  • [2011] Profiling for Run-Time Checking of Computational Properties and Performance Debugging
  • [2010] An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring
  • [2010] Automatic Fragment Identification in Workflows Based on Sharing Analysis
  • [2010] Program Parallelization using Synchronized Pipelining
  • [2010] Towards Data-Aware QoS-driven Adaptation for Service Orchestrations
  • [2009] A Tabling Implementation Based on Variables with Multiple Bindings
  • [2009] Identification of Logically Related Heap Regions
  • [2009] Parallelization using Synchronized Pipelining
  • [2009] Towards a Complete Scheme for Tabled Execution Based on Program Transformation
  • [2009] User-Definable Resource Usage Bounds Analysis for Java Bytecode
  • [2008] A Practical Type Analysis for Verification of Modular Prolog Programs
  • [2008] Comparing Tag Scheme Variations Using an Abstract Machine Generator
  • [2008] Data dependencies and program slicing: from syntax to abstract semantics
  • [2008] Efficient Set Sharing Using ZBDDs
  • [2008] Identification of Heap¿Carried Data Dependence Via Explicit Store Heap Models
  • [2008] Negative Ternary Set-Sharing
  • [2008] The Semantics of Abstract Program Slicing
  • [2008] Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism
  • [2007] An Efficient, Context and Path Sensitive Analysis Framework for Java Programs
  • [2007] An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
  • [2007] An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy
  • [2007] BYTECODE'07, revisión de artículos
  • [2007] Heap Analysis in the Presence of Collection Libraries
  • [2007] ICLP'07, revisión de artículos
  • [2007] Journal of Applied Logic, Editor
  • [2007] Journal of New Generation Computing, Editor Asociado
  • [2007] PADL'07, revisión de artículos
  • [2007] PEPM'07, revisión de artículos
  • [2007] PROLE'07, revisión de artículos
  • [2007] Referee for Information and Computation
  • [2007] Referee for LPAR 07
  • [2007] SAS'07, miembro del Comité de Programa
  • [2007] SAS'07, revisión de artículos
  • [2007] Some Improvements over the Continuation Call Tabling Implementation Technique
  • [2007] TGC'07, miembro del Comité de Programa
  • [2007] TGC'07, revisión de artículos
  • [2007] TPR 07 (Types, Proofs and Rewriting)
  • [2007] Theory and Practice of Logic Programming, Miembro del Comité Editorial
  • [2007] Towards A High-Level Implementation of Flexible Parallelism Primitives for Symbolic Languages
  • [2007] Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results
  ...
  mostrar más
• Premios
  • [2017] 10 year Test of Time Award
  • [2017] SISTEDES/Accenture Technology Best Master Thesis prize in Software Development Tools and Methodologies.
  • [2016] Highest ranked paper.
• Proyectos de I+D+i
  • [2019] ANALISIS INCREMENTAL Y MODULAR GUIADO POR ASERCIONES
  • [2019] ASERCIONES PARA ANALISIS DE CODIGO DE ORDEN SUPERIOR EN LENGUAJES LOGICOS
  • [2019] BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
  • [2019] CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
  • [2019] DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE LA FUNDACIÓN IMDEA SOFTWARE EN EL CONTEXTO DEL KIC EIT DIGITAL
  • [2019] PROCODE - Rigorous methods for the development of software systems with certified quality and reliability
  • [2018] CLIP, Next-Generation Energy-Efficiennt Secure Software.
  • [2018] DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE LA FUNDACIÓN IMDEA SOFTWARE EN EL CONTEXTO DEL KIC EIT DIGITAL
  • [2018] DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE PERSONAL DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2018] OVERHEADS PROYECTOS ESPRIT Y OTROS SALDOS
  • [2017] CLIP, Next-Generation Energy-Efficiennt Secure Software.
  • [2017] CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
  • [2017] DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE LA FUNDACIÓN IMDEA SOFTWARE EN EL CONTEXTO DEL KIC EIT DIGITAL
  • [2017] DISEÑO E IMPLEMENTACIÓN DE LA ESTRATEGIA DE PERSONAL DE LA FUNDACIÓN IMDEA SOFTWARE
  • [2017] OVERHEADS PROYECTOS ESPRIT Y OTROS SALDOS
  • [2017] STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
  • [2016] CLIP, Next-Generation Energy-Efficiennt Secure Software.
  • [2016] CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
  • [2016] STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
  • [2015] NEXT-GENERATION ENERGY.EFFICIENT SECURE SOFTWARE (N-GRENNS SOFTWARE) CLIP
  • [2015] StrongSoft-CLIP: StrongSoft-CLIP: Tecnologías rigurosas para software de nueva generación, abierto y fiable
  • [2014] CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
  • [2014] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2014] N-Greens Software. Next-GeneRation Energy-EfficieNt Secure Software
  • [2014] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2014] SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
  • [2014] STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
  • [2013] DOVES (Development Of Verifiable and Efficient Software)
  • [2013] PROMETIDOS: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
  • [2013] SPARCIM: CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS
  • [2013] STRONGSOFT: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
  • [2012] CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
  • [2012] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2012] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2011] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2011] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2011] S-CUBE: Software Services and Systems Network
  • [2011] SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
  • [2010] CONVENIO DE COLABORACI¿N ENTRE EL INSTITUTO MADRILE¿O DE ESTUDIOS AVANZADOS EN TECNOLOG¿A DE DESARROLLO SOFTWARE Y LA U.P.M.
  • [2010] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2010] EMBEDDED SOFWARE PRODUCT-BASED ASSURANCE (ES PASS)
  • [2010] PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
  • [2010] PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
  • [2010] S-CUBE - N. 215483
  • [2010] SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
  • [2009] RED DE SISTEMAS Y SERVICIOS SOFTWARE S-CUEBE
  • [2009] Ayuda para la participación en comités internacionales
  • [2009] COMPUTACION MOVIL VERIFICABLE Y CONSCIENTE DE LOS RECURSOS
  • [2009] CONTRACT 231620
  • [2009] CONTRACT N. 511618.-GRIDCOORD - ERA PILOT ON A CO-ORDINATED EUROPE-WIDE INITIATIVE IN GRID RESEARCH.
  • [2009] CONTRACT. N. 015905 - MOBIUS MOBILITY UBIQUITY AND SECURITY
  • [2009] CONVENIO DE COLABORACIÓN ENTRE EL INSTITUTO MADRILEÑO DE ESTUDIOS AVANZADOS EN TECNOLOGÍA DE DESARROLLO SOFTWARE Y LA U.P.M.
  • [2009] DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
  • [2009] EMBEDDED SOFTWARE PRODUCT-BASED ASSURANCE (ES_PASS)
  • [2009] EMBEDDED SOFWARE PRODUCT-BASED ASSURANCE (ES PASS)
  • [2009] FINES: FAVARECIENDO LA PARTICIPACION ESPAÑOLA EN PROGRAMAS....
  • [2009] PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
  • [2009] RED DE SSTEMAS Y SERVICIOS SOFTWARES CUEBE-.....
  • [2009] S-Cube: the European Network on Software, Services, and Systems
  • [2008] Ayuda FEDER INFRAESTRUCTURAS
  • [2008] Colaboración con la Fundación Imdea Software
  • [2008] ES_PASS, Embedded Software Product-based Assurance
  • [2008] FINES: Favoreciendo la participación española en programas internacionales de colaboración relacionados con Software y Servicios por medio de la Plataforma Tecnológica Española INES.
  • [2008] MERIT: MEtodos RIgurosos para sistemas heTerogeneos y Moviles
  • [2008] Morfeo EzWeb
  • [2008] Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
  • [2007] Complementaria de Mobius
  • [2007] ESPASS, EU ITEA2 cluster of EUREKA Programme, Project number 06042, Spanish PROFIT grant FIT-340005-2007-14
  • [2007] MERIT
  • [2007] MOBIUS
  • [2007] PROMESAS
  • [2007] Sabático De Michael Codish
  ...
  mostrar más
• Responsabilidades
  • [2019] Area Editor of the ?Journal of Applied Logic? (Elsevier North-Holland).
  • [2019] Area editor, Algorithms in Programming Languages and Software Engineering, of the ?Journal of the IGPL? (Oxford U press).
  • [2019] Associate Editor of the ?Journal of New Generation Computing? (Springer-Verlag).
  • [2019] Editorial Advisor of ?Theory and Practice of Logic Programming? (Cambridge U. Press).
  • [2019] Member of the Academia Europaea.
  • [2019] Member of the External Advisory Board of the NOVA LINCS Institute (Portugal).
  • [2019] Member of the IRILL Scientific Advisory Board (French Institute for Free Software).
  • [2019] Member of the International Federation for Computational Logic (IFCoLog) Advisory Board.
  • [2019] Member of the Jury for the 2019 SCIE-Fundación BBVA National Prizes in Informatics.
  • [2019] Member of the Nomination Committee of Informatics Europe.
  • [2019] Member of the Schloss Dagstuhl Scientific Advisory Board (Germany).
  • [2019] Member of the Technical University of Madrid Consulting Council.
  • [2019] Member of the Technical University of Madrid Gallery of Distinguished Professors.
  • [2019] Member of the evaluation committee for Galician singular research centers.
  • [2019] PC Co-Chair (and co-organizer) of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM).
  • [2019] Participation in the Program Committee of the 21st ACM International Symposium on Principles and Practice of Programming Languages (PPDP 2019).
  • [2019] Participation in the Program Committee of the 36th International Conference on Logic Programming (ICLP 2019).
  • [2019] President of the INRIA Scientific Council (Institut National de Recherche en Informatique et en Automatique, France).
  • [2019] Secretary of the International Association for Logic Programming.
  • [2019] Steering Committee of the Conference on Compiler Construction (CC).
  • [2019] Steering Committee of the International Symposium on Functional and Logic Programming (FLOPS)
  • [2019] Steering Committee of the International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR).
  • [2018] Area Editor of the 'Journal of Applied Logic'
  • [2018] Area editor, Algorithms in Programming Languages and Software Engineering, of the 'Journal of the IGPL'
  • [2018] Associate Editor of the 'Journal of New Generation Computing'
  • [2018] Editorial Advisor of 'Theory and Practice of Logic Programming'
  • [2018] PC co-chair (and co-organizer)
  • [2018] Program Committee member
  • [2018] Program Committee member
  • [2018] Steering Committee of the Conference on Compiler Construction
  • [2018] Steering Committee of the International Symposium on Functional and Logic Programming
  • [2018] Steering Committee of the International Symposium on Logic-Based Program Synthesis and Transformation
  • [2017] Co-chair of the 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2017)
  • [2017] Director, EIT Digital Madrid Node
  • [2017] Director, EIT Digital Madrid Node Steering Committee
  • [2017] Distinguished Professor
  • [2017] Member Academia Europaea
  • [2017] Member of Schloss Dagstuhl Scientific Advisory Board (Germany).
  • [2017] Member of the External Advisory Board of the NOVA LINCS Institute.
  • [2017] Member of the IRILL Scientific Advisory Board .
  • [2017] Member of the Technical University of Madrid Consulting Council
  • [2017] Member of the The International Federation for Computational Logic (IFCoLog) Advisory Board.
  • [2017] President of the INRIA Scientific Council (Institut National de Recherche en Informatique et en Automatique, France).
  • [2017] Secretary of the International Association for Logic Programming
  • [2017] Steering Board member, EIT Digital.
  • [2017] Steering Committee of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).
  • [2017] Steering Committee of the International Symposium on Functional and Logic Programming (FLOPS).
  • [2017] Vice-President of Informatics Europe
  • [2016] 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2016).
  • [2016] Area Editor of "Journal of Applied Logic" (Elsevier North-Holland).
  • [2016] Area Editor, Algorithms in Programming Languages and Software Engineering, of the "Journal of the IGPL" (Oxford U press).
  • [2016] Associate Editor of the "Journal of New Generation Computing" (Springer-Verlag)
  • [2016] Director, EIT Digital Madrid Associate Partner Group.
  • [2016] Editorial Advisor and former Area Editor (architecture and implementation) of "Theory and Practice of Logic Programming" (Cambridge U. Press)
  • [2016] Elected President of SpaRCIM.
  • [2016] Member Academia Europaea.
  • [2016] Member IRILL
  • [2016] Member of INRIA scientific council
  • [2016] Member of Schloss Dagstuhl scientific advisory board.
  • [2016] Member of the External Advisory Board of the NOVA LINCS Institute (Portugal).
  • [2016] Member of the International Federation for Computational Logic (IFCoLog) Advisory Board.
  • [2016] PC Chair of the 25th International Conference on Compiler Construction (CC 2016).
  • [2016] PC Chair of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
  • [2016] Participación continua desde 1989 hasta la actualidad en el programa de doctorado del Departamento de Inteligencia Artificial de la Universidad Politécnica de Madrid.
  • [2016] Participación en la creación de itinerarios y participación de los investigadores del Instituto IMDEA Software en los programas de doctorado y máster en la UPM
  • [2016] Participación en la creación de los programas de doctorado y máster en la UPM asociados al nodo español del KIC EIT Digital
  • [2016] Secretary of the International Association for Logic Programming
  • [2016] Steering Committee of the Conference on Compiler Construction (CC).
  • [2016] Steering Committee of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).
  • [2016] Steering Committee of the International Symposium on Functional and Logic Programming (FLOPS).
  • [2016] Steering Committee of the Static Analysis Symposium (SAS).
  • [2016] Vice-President of Informatics Europe. Member Informatics Europe department evaluation board
  • [2016] Workshop on Application of Logic Programming (AppLP 2016).
  • [2015] Algorithms in Programming Languages and Software Engineering, of the Journal of the IGPL (Oxford U press)
  • [2015] Area Editor of Journal of Applied Logic (Elsevier North-Holland)
  • [2015] Associate Editor of the Journal of New Generation Computing (Springer-Verlag).
  • [2015] Director, EIT Digital Madrid Associate Partner Group.
  • [2015] Editorial Advisor and former Area Editor (architecture and implementation) of Theory and Practice of Logic Programming (Cambridge U. Press).
  • [2015] Elected President of SpaRCIM
  • [2015] Elected member Informatics Europe executive board
  • [2015] International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR 2015)
  • [2015] Member Academia Europaea
  • [2015] Member IRILL (French Institute for Free Software) scientific board
  • [2015] Member of Schloss Dagstuhl scientific advisory board
  • [2015] Member of the International Federation for Computational Logic (IFCoLog) Advisory Board
  • [2015] Secretary of the International Association for Logic Programming
  • [2015] Steering Committee of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).
  • [2015] Steering Committee of the International Symposium on Functional and Logic Programming (FLOPS).
  • [2015] Steering Committee of the Static Analysis Symposium (SAS).
  • [2015] Vice-President of Informatics Europe. Member Informatics Europe department evaluation board
  • [2014] Director Científico del Instituto IMDEA Software
  • [2014] Editor
  • [2014] Editor asociado
  • [2014] Miembro de Comité Editorial
  • [2014] Miembro del Comité DIrector
  • [2014] Miembro del Comité DIrector
  • [2014] Miembro del Comité Director
  • [2014] Miembro del Comité Director
  • [2014] Miembro del Comité Director
  • [2014] Miembro del Comité de Programa
  • [2014] Miembro del Comité de Programa
  • [2013] 23rd International Symposium on Logic- Based Program Synthesis and Transformation (LOPSTR 2013).
  • [2013] 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013).
  • [2013] Area Editor of ?Journal of Applied Logic? (Elsevier North-Holland).
  • [2013] Associate Editor of the ?Journal of New Generation Computing? (Springer-Verlag)
  • [2013] Board of the Logic Journal of the IGPL
  • [2013] Editorial Advisor and former Area Editor (architecture and implementation) of ?Theory and Practice of Logic Programming? (Cambridge U. Press)
  • [2013] Elected President of SpaRCIM
  • [2013] Elected member Informatics Europe steering board.
  • [2013] Logic for Programming Artificial Intelligence and Reasoning (LPAR 2013).
  • [2013] Member Academia Europaea
  • [2013] Member Dagstuhl scientific advisory board
  • [2013] Member IFCoLog advisory board
  • [2013] Member IRILL (French Free Software Institute) scientific board.
  • [2013] Member Informatics Europe department evaluation board.
  • [2013] Program Committee of 29th International Conference on Logic Programming (ICLP 2013).
  • [2013] Spanish Conference on Computer Science (CEDI 2013).
  • [2013] Steering Committee of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).
  • [2013] Steering Committee of the International Symposium on Functional and Logic Programming (FLOPS).
  • [2013] Steering Committee of the Static Analysis Symposium (SAS).
  • [2012] Director del Instituto IMDEA Software
  • [2012] European Computer Science Summit 2012
  • [2012] FLOPS Steering
  • [2012] IFCoLog advisory board
  • [2012] IGPL Journal of Algorithms in cognition, informatics and logic - Board
  • [2012] Informatics Europe department evaluation board
  • [2012] Journal of Applied Logic - editor
  • [2012] Journal of New Generation Computing - editor
  • [2012] LPAR 2012
  • [2012] Miembro de Dagstuhl scientific board
  • [2012] Miembro del Academia Europaea
  • [2012] POPL - Steering committe
  • [2012] Presidente del Spanish Research Consortium for Informatics and Mathematics (SpaRCIM)
  • [2012] SAS - Steering Committe
  • [2012] TURING 100 Conference
  • [2012] Theory and Practice of Logic Programming - editor
  • [2012] VMCAI Steering
  • [2009] Editor asociado de la revista "Journal of New Generation Computing"
  • [2009] Editor asociado de la revista "Theory and Practice of Logic Programming"
  • [2009] Editor de area de la revista "Journal of Applied Logic"
  • [2007] Director en la UPM del programa de Máster Erasmus Mundus en Lógica Computacional de la UE.
  • [2007] Miembro del Comité de selección del programa Ramón y Cajal 2007
  • [2007] Miembro del jurado de los premios nacionales (MCI)
  • [2007] Presidente del Comité de Comunicación, Computación y Electrónica) de la Comisión Nacional de Evaluación de la Actividad Investigadora, CNEAI.
  • [2007] Presidente electo de la Asociación Internacional de Programación Lógica (ALP).
  ...
  mostrar más
• Tesis Doctorales
  • [2018] A Multi-Language and Multi-Platform Framework for Resource Consumption Analysis and its Application to Energy-Efficient Software Development
  • [2018] Improving Run-time Checking in Dynamic Programming Languages
  • [2016] A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development
  • [2016] Automatic and Incremental Inference of Accumulated Cost and it Application to Static Profiling
  • [2016] Desarrollo escalable de programas verificados
  • [2016] Higher-order Assertions and their Verification
  • [2013] Dynamic Checking of Assertions for Higher-order Predicates
  • [2012] Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs
  • [2010] A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing (Un Marco Unificado para Análisis de Recursos y Tiempo de Ejecución, Validación Dinámica y Pruebas Unitarias)
  • [2010] Advanced Compilation Tecniques for Logic Programming.
  • [2010] Fuzzy Granularity Control in Parallel/Distributed Computing.
  • [2008] A Generic Approach to Bytecode Analysis
  • [2008] Analysis and Inference of Resource Usage Information
  • [2008] Analysis and Verification of Modular Programs
  • [2008] Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages
  • [2008] Modelling the Heap: a Practical Approach
  • [2007] Examinador tesis Fernando Silva, Universidade Nova de Lisboa (2007)
  ...
  mostrar más