Pedro López-García

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 33

Top Topics

Top Venues

Theory Pract. Log. Program.

GECCO (Companion)

Publications

Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs. CoRR (2024)
Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. CoRR (2024)
John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. LOPSTR (2023)
Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. ICLP (2023)
Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
A Rule-Based Approach for Designing and Composing Abstract Domains. LOPSTR (2023)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR (2021)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21 (6) (2021)
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS (2021)
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A general framework for static profiling of parametric resource usage - CORRIGENDUM. Theory Pract. Log. Program. 21 (2) (2021)
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS (2020)
Manuel V. Hermenegildo, Pedro López-García, Alberto Pettorossi, Maurizio Proietti
Preface. Fundam. Informaticae 177 (3-4) (2020)
Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. SAS (2020)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
Testing Your (Static Analysis) Truths. LOPSTR (2020)
Zorana Bankovic, Umer Liqat, Pedro López-García
A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms. J. Multiple Valued Log. Soft Comput. 32 (3-4) (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. CoRR (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. LOPSTR (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. CoRR (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
A General Framework for Static Cost Analysis of Parallel Logic Programs. LOPSTR (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
An Integrated Approach to Assertion-Based Random Testing in Prolog. LOPSTR (2019)
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. CoRR (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
Towards Static Performance Guarantees for Programs with Run-Time Checks. ICLP (Technical Communications) (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
An Approach to Static Performance Guarantees for Programs with Run-time Checks. CoRR (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
Static Performance Guarantees for Programs with Runtime Checks. PPDP (2018)
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory Pract. Log. Program. 18 (2) (2018)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. Log. J. IGPL 25 (6) (2017)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. LOPSTR (2017)
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
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
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
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. CoRR (2016)
Manuel V. Hermenegildo, Pedro López-García
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). CoRR (2016)
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
A Transformational Approach to Parametric Accumulated-Cost Static Profiling. FLOPS (2016)
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A general framework for static profiling of parametric resource usage. Theory Pract. Log. Program. 16 (5-6) (2016)
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A General Framework for Static Profiling of Parametric Resource Usage. CoRR (2016)
Zorana Bankovic, Umer Liqat, Pedro López-García
Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling. HAIS (2015)
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
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. CoRR (2015)
Zorana Bankovic, Pedro López-García
Stochastic vs. deterministic evolutionary algorithm-based allocation and scheduling for XMOS chips. Neurocomputing 150 (2015)
Zorana Bankovic, Umer Liqat, Pedro López-García
A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation. AIAI (2015)
Zorana Bankovic, Pedro López-García
Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm. GECCO (Companion) (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA (2015)
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
Towards Energy Consumption Verification via Static Analysis. CoRR (2015)
Zorana Bankovic, Pedro López-García
Improved Energy-Aware Stochastic Scheduling Based on Evolutionary Algorithms via Copula-Based Modeling of Task Dependences. SOCO (2015)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. CoRR (2014)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory Pract. Log. Program. 14 (4-5) (2014)
Zorana Bankovic, Pedro López-García
Genetic Algorithm-Based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips. HAIS (2013)
Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
Sized Type Analysis for Logic Programs. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. CoRR (2013)
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR (2013)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12 (1-2) (2012)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
An Overview of the Ciao System. RuleML Europe (2011)
Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo
Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA (2011)
Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo
CLP projection for constraint handling rules. PPDP (2011)
Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. PADL (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
An overview of Ciao and its design philosophy CoRR (2011)
Pedro López-García, Luthfi Darmawan, Francisco Bueno
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. ICLP (Technical Communications) (2010)
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. New Gener. Comput. 28 (2) (2010)
Edison Mera, Pedro López-García, Manuel V. Hermenegildo
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. ICLP (2009)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models (2008)
Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo
Towards execution time estimation in abstract machine-based languages. PPDP (2008)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling CoRR (2007)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Combining Static Analysis and Profiling for Estimating Execution Times. PADL (2007)
Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo
User-Definable Resource Bounds Analysis for Logic Programs. ICLP (2007)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP (2006)
Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
Abstraction carrying code and resource-awareness. PPDP (2005)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58 (1-2) (2005)
Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS (2004)
Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par (2004)
Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR (2004)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS (2003)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP (2002)
Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming (2002)
Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP (1999)
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
Lower Bound Cost Estimation for Logic Programs. ILPS (1997)
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo
Non-Failure Analysis for Logic Programs. ICLP (1997)
Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray
A Methodology for Granularity-Based Control of Parallelism in Logic Programs. J. Symb. Comput. 21 (4) (1996)
Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE (1996)
Manuel V. Hermenegildo, Pedro López-García
Efficient Term Size Computation for Granularity Control. ICLP (1995)
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
Estimating the Computational Cost of Logic Programs. SAS (1994)