Pedro López-García
Orcid: 0000-0002-1092-2071Affiliations:
- Technical University of Madrid (UPM), IMDEA Software Institute and CSIC, Spain
According to our database1,
Pedro López-García
authored at least 72 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Prolog: The Next 50 Years, 2023
Proceedings of the Prolog: The Next 50 Years, 2023
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis.
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
2021
Theory Pract. Log. Program., 2021
Theory Pract. Log. Program., 2021
Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021
2020
Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020
Proceedings of the Static Analysis - 27th International Symposium, 2020
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020
2019
A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms.
J. Multiple Valued Log. Soft Comput., 2019
CoRR, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
2018
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
Theory Pract. Log. Program., 2018
CoRR, 2018
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
2017
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors.
Log. J. IGPL, 2017
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
2016
Theory Pract. Log. Program., 2016
CoRR, 2016
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
CoRR, 2016
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016
2015
Stochastic vs. deterministic evolutionary algorithm-based allocation and scheduling for XMOS chips.
Neurocomputing, 2015
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015.
CoRR, 2015
Improved Energy-Aware Stochastic Scheduling Based on Evolutionary Algorithms via Copula-Based Modeling of Task Dependences.
Proceedings of the 10th International Conference on Soft Computing Models in Industrial and Environmental Applications, 2015
A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation.
Proceedings of the Artificial Intelligence Applications and Innovations, 2015
Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling.
Proceedings of the Hybrid Artificial Intelligent Systems - 10th International Conference, 2015
Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015
2014
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.
Theory Pract. Log. Program., 2014
2013
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types.
CoRR, 2013
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013
Genetic Algorithm-Based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips.
Proceedings of the Hybrid Artificial Intelligent Systems - 8th International Conference, 2013
2012
2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011
2010
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.
New Gener. Comput., 2010
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
2009
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.
Proceedings of the Logic Programming, 25th International Conference, 2009
2008
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
Proceedings of the Concurrency, 2008
2007
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
CoRR, 2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
2006
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.
Proceedings of the Logic Programming, 22nd International Conference, 2006
2005
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).
Sci. Comput. Program., 2005
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
2003
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).
Proceedings of the Static Analysis, 10th International Symposium, 2003
2002
Program Debugging and Validation Using Semantic Approximations and Partial Specifications.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Proceedings of the Recent Advances in Constraints, 2002
1999
Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación.
PhD thesis, 1999
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
1997
Lower Bound Cost Estimation for Logic Programs.
Proceedings of the Logic Programming, 1997
Non-Failure Analysis for Logic Programs.
Proceedings of the Logic Programming, 1997
1996
J. Symb. Comput., 1996
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
Efficient Term Size Computation for Granularity Control.
Proceedings of the Logic Programming, 1995
1994
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994