Pedro López-García

96 papers A* 1B 11C 18Misc 5Journal 41Unranked 16
YearRankTypeTitle / Venue / Authors
2026 C conf
Multi-configurable Search Rules in Prolog and Application to Testing.
PADL
Daniela Ferreiro, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Abstractions of Sequences, Functions and Operators.
CoRR
Louis Rustenholz, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Checkification: A Practical Approach for Testing Static Analysis Truths.
CoRR
Daniela Ferreiro, Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Checkification: A Practical Approach for Testing Static Analysis Truths.
Theory Pract. Log. Program.
Daniela Ferreiro, Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 C conf
Extending the FSyntax/Hiord Approach with Imperative Notation.
LOPSTR
Paula Corral, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.
Theory Pract. Log. Program.
Marco Ciccalè, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs.
CoRR
Marco Ciccalè, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2024 J jnl
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs.
Theory Pract. Log. Program.
Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
2024 J jnl
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs.
CoRR
Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
2024 J jnl
Abstract Environment Trimming.
CoRR
Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2024 J jnl
Abstract Environment Trimming.
Theory Pract. Log. Program.
Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2024 B conf
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
SAS
Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2024 J jnl
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
CoRR
Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2024 — conf
Teaching Pure LP with Prolog and a Fair Search Rule.
ICLP Workshops
Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023 C conf
A Rule-Based Approach for Designing and Composing Abstract Domains.
LOPSTR
Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2023 — ed.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Pedro López-García, John P. Gallagher, Roberto Giacobazzi
2023 B conf
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis.
ICLP
Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
2023 — ch.
Some Thoughts on How to Teach Prolog.
Prolog: The Next 50 Years
Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023 C conf
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation.
LOPSTR
John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023 — ch.
Types, Modes and so Much More - The Prolog Way.
Prolog: The Next 50 Years
Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro
2021 J jnl
A general framework for static profiling of parametric resource usage - CORRIGENDUM.
Theory Pract. Log. Program.
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2021 — conf
Regular Path Clauses and Their Application in Solving Loops.
HCVS@ETAPS
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
2021 J jnl
VeriFly: On-the-fly Assertion Checking via Incrementality.
CoRR
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2021 J jnl
VeriFly: On-the-fly Assertion Checking via Incrementality.
Theory Pract. Log. Program.
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2020 B conf
Cost Analysis of Smart Contracts Via Parametric Resource Analysis.
SAS
Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
2020 — conf
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation.
VPT/HCVS@ETAPS
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
2020 J jnl
Preface.
Fundam. Informaticae
Manuel V. Hermenegildo, Pedro López-García, Alberto Pettorossi, Maurizio Proietti
2020 C conf
Testing Your (Static Analysis) Truths.
LOPSTR
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019 C conf
A General Framework for Static Cost Analysis of Parallel Logic Programs.
LOPSTR
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
2019 J jnl
A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms.
J. Multiple Valued Log. Soft Comput.
Zorana Bankovic, Umer Liqat, Pedro López-García
2019 C conf
An Integrated Approach to Assertion-Based Random Testing in Prolog.
LOPSTR
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019 C conf
Computing Abstract Distances in Logic Programs.
LOPSTR
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
2019 J jnl
Computing Abstract Distances in Logic Programs.
CoRR
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019 J jnl
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs.
CoRR
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
An Approach to Static Performance Guarantees for Programs with Run-time Checks.
CoRR
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption.
CoRR
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2018 J jnl
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
Theory Pract. Log. Program.
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2018 C conf
Static Performance Guarantees for Programs with Runtime Checks.
PPDP
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2018 — conf
Towards Static Performance Guarantees for Programs with Run-Time Checks.
ICLP (Technical Communications)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2017 J jnl
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors.
Log. J. IGPL
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2017 C conf
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks.
LOPSTR
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2017 C ed.
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
LOPSTR
Manuel V. Hermenegildo, Pedro López-García
2016 J jnl
A General Framework for Static Profiling of Parametric Resource Usage.
CoRR
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2016 Misc conf
A Transformational Approach to Parametric Accumulated-Cost Static Profiling.
FLOPS
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
2016 J jnl
A general framework for static profiling of parametric resource usage.
Theory Pract. Log. Program.
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2016 J jnl
ENTRA: Whole-Systems Energy Transparency.
CoRR
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
2016 J jnl
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
2016 J jnl
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.
CoRR
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2016 J jnl
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
CoRR
Manuel V. Hermenegildo, Pedro López-García
2015 Misc conf
A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation.
AIAI
Zorana Bankovic, Umer Liqat, Pedro López-García
2015 — conf
Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm.
GECCO (Companion)
Zorana Bankovic, Pedro López-García
2015 — conf
Improved Energy-Aware Stochastic Scheduling Based on Evolutionary Algorithms via Copula-Based Modeling of Task Dependences.
SOCO
Zorana Bankovic, Pedro López-García
2015 — conf
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
FOPARA
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
2015 J jnl
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
CoRR
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
2015 J jnl
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015.
CoRR
Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina
2015 J jnl
Stochastic vs. deterministic evolutionary algorithm-based allocation and scheduling for XMOS chips.
Neurocomputing
Zorana Bankovic, Pedro López-García
2015 J jnl
Towards Energy Consumption Verification via Static Analysis.
CoRR
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2015 Misc conf
Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling.
HAIS
Zorana Bankovic, Umer Liqat, Pedro López-García
2014 J jnl
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.
CoRR
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
2014 J jnl
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.
Theory Pract. Log. Program.
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
2013 C conf
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.
LOPSTR
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
2013 Misc conf
Genetic Algorithm-Based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips.
HAIS
Zorana Bankovic, Pedro López-García
2013 J jnl
Sized Type Analysis for Logic Programs.
Theory Pract. Log. Program.
Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2013 J jnl
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types.
CoRR
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
2012 J jnl
An overview of Ciao and its design philosophy.
Theory Pract. Log. Program.
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
2011 — conf
An Overview of the Ciao System.
RuleML Europe
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
2011 J jnl
An overview of Ciao and its design philosophy
CoRR
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
2011 C conf
CLP projection for constraint handling rules.
PPDP
Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo
2011 — conf
Interval-Based Resource Usage Verification: Formalization and Prototype.
FOPARA
Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo
2011 C conf
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs.
PADL
Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo
2010 — conf
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.
ICLP (Technical Communications)
Pedro López-García, Luthfi Darmawan, Francisco Bueno
2010 J jnl
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.
New Gener. Comput.
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2009 B conf
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.
ICLP
Edison Mera, Pedro López-García, Manuel V. Hermenegildo
2008 — conf
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
Concurrency, Graphs and Models
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
2008 C conf
Towards execution time estimation in abstract machine-based languages.
PPDP
Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo
2007 C conf
Combining Static Analysis and Profiling for Estimating Execution Times.
PADL
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007 J jnl
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
CoRR
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007 B conf
User-Definable Resource Bounds Analysis for Logic Programs.
ICLP
Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo
2006 B conf
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.
ICLP
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2005 C conf
Abstraction carrying code and resource-awareness.
PPDP
Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
2005 J jnl
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).
Sci. Comput. Program.
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2004 C conf
Determinacy Analysis for Logic Programs Using Mode and Type Information.
LOPSTR
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
2004 Misc conf
Multivariant Non-failure Analysis via Standard Abstract Interpretation.
FLOPS
Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
2004 — conf
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.
Euro-Par
Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
2003 B conf
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).
SAS
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002 — conf
Abstract Verification and Debugging of Constraint Logic Programs.
International Workshop on Constraint Solving and Constraint Logic Programming
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002 A* conf
Program Debugging and Validation Using Semantic Approximations and Partial Specifications.
ICALP
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
1999 — —
Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación.
Pedro López-García
1999 B conf
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.
ICLP
Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
1997 — conf
Lower Bound Cost Estimation for Logic Programs.
ILPS
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
1997 B conf
Non-Failure Analysis for Logic Programs.
ICLP
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo
1996 J jnl
A Methodology for Granularity-Based Control of Parallelism in Logic Programs.
J. Symb. Comput.
Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray
1996 — conf
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
APPIA-GULP-PRODE
Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
1995 B conf
Efficient Term Size Computation for Granularity Control.
ICLP
Manuel V. Hermenegildo, Pedro López-García
1994 B conf
Estimating the Computational Cost of Logic Programs.
SAS
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
1994 — conf
Towards Granularity Based Control of Parallelism in Logic Programs.
PASCO
Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray