default search action
Pedro López-García 0001
Person information
- affiliation: Technical University of Madrid (UPM), IMDEA Software Institute and CSIC, Spain
Other persons with the same name
- Pedro López-García 0002 — University of Deusto, Bilbao, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i19]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 abs/2405.06972 (2024) - [i18]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 abs/2406.18260 (2024) - [i17]Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Abstract Environment Trimming. CoRR abs/2408.09848 (2024) - 2023
- [c45]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: 28-38 - [c44]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: 80-98 - [c43]Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García:
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. ICLP 2023: 155-168 - [p2]Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro:
Types, Modes and so Much More - The Prolog Way. Prolog: The Next 50 Years 2023: 23-37 - [p1]Manuel V. Hermenegildo, José F. Morales, Pedro López-García:
Some Thoughts on How to Teach Prolog. Prolog: The Next 50 Years 2023: 107-123 - [e2]Pedro López-García, John P. Gallagher, Roberto Giacobazzi:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13160, Springer 2023, ISBN 978-3-031-31475-9 [contents] - 2021
- [j15]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): 291 (2021) - [j14]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): 768-784 (2021) - [c42]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: 22-35 - [i16]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 abs/2106.07045 (2021) - 2020
- [j13]Manuel V. Hermenegildo, Pedro López-García, Alberto Pettorossi, Maurizio Proietti:
Preface. Fundam. Informaticae 177(3-4) (2020) - [c41]Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Testing Your (Static Analysis) Truths. LOPSTR 2020: 271-292 - [c40]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: 7-31 - [c39]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: 50-64
2010 – 2019
- 2019
- [j12]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): 313-341 (2019) - [c38]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: 19-35 - [c37]Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo:
Computing Abstract Distances in Logic Programs. LOPSTR 2019: 57-72 - [c36]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: 159-176 - [i15]Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Computing Abstract Distances in Logic Programs. CoRR abs/1907.13263 (2019) - [i14]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 abs/1907.13272 (2019) - 2018
- [j11]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): 167-223 (2018) - [c35]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: 10:1-10:2 - [c34]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: 13:1-13:13 - [i13]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 abs/1803.04451 (2018) - [i12]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 abs/1804.02380 (2018) - 2017
- [j10]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): 1006-1019 (2017) - [c33]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: 54-72 - [e1]Manuel V. Hermenegildo, Pedro López-García:
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10184, Springer 2017, ISBN 978-3-319-63138-7 [contents] - 2016
- [j9]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: 278-286 (2016) - [j8]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): 849-865 (2016) - [c32]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: 163-180 - [i11]Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo:
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. CoRR abs/1601.02800 (2016) - [i10]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 abs/1606.04074 (2016) - [i9]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 abs/1608.02534 (2016) - [i8]Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
A General Framework for Static Profiling of Parametric Resource Usage. CoRR abs/1608.02780 (2016) - 2015
- [j7]Zorana Bankovic, Pedro López-García:
Stochastic vs. deterministic evolutionary algorithm-based allocation and scheduling for XMOS chips. Neurocomputing 150: 82-89 (2015) - [c31]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: 81-100 - [c30]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: 1353-1354 - [c29]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: 690-701 - [c28]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: 478-493 - [c27]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: 153-163 - [i7]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 abs/1501.03064 (2015) - [i6]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 abs/1511.01413 (2015) - [i5]Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
Towards Energy Consumption Verification via Static Analysis. CoRR abs/1512.09369 (2015) - 2014
- [j6]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): 739-754 (2014) - [i4]Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo:
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. CoRR abs/1405.4256 (2014) - 2013
- [j5]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) - [c26]Zorana Bankovic, Pedro López-García:
Genetic Algorithm-Based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips. HAIS 2013: 401-410 - [c25]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: 72-90 - [i3]Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo:
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. CoRR abs/1308.3940 (2013) - 2012
- [j4]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): 219-252 (2012) - 2011
- [c24]Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo:
Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA 2011: 54-71 - [c23]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: 38-53 - [c22]Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo:
CLP projection for constraint handling rules. PPDP 2011: 137-148 - [c21]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: 2 - [i2]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 abs/1102.5497 (2011) - 2010
- [j3]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): 177-206 (2010) - [c20]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: 104-113
2000 – 2009
- 2009
- [c19]Edison Mera, Pedro López-García, Manuel V. Hermenegildo:
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. ICLP 2009: 281-295 - 2008
- [c18]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: 209-237 - [c17]Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo:
Towards execution time estimation in abstract machine-based languages. PPDP 2008: 174-184 - 2007
- [c16]Jorge A. Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo:
User-Definable Resource Bounds Analysis for Logic Programs. ICLP 2007: 348-363 - [c15]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: 140-154 - [i1]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 abs/cs/0701108 (2007) - 2006
- [c14]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: 431-432 - 2005
- [j2]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): 115-140 (2005) - [c13]Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla:
Abstraction carrying code and resource-awareness. PPDP 2005: 1-11 - 2004
- [c12]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: 21-36 - [c11]Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo:
Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116 - [c10]Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo:
Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35 - 2003
- [c9]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: 127-152 - 2002
- [c8]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: 1-14 - [c7]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: 69-72
1990 – 1999
- 1999
- [b1]Pedro López-García:
Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación. Technical University of Madrid, Spain, 1999 - [c6]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: 52-66 - 1997
- [c5]Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo:
Non-Failure Analysis for Logic Programs. ICLP 1997: 48-62 - [c4]Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin:
Lower Bound Cost Estimation for Logic Programs. ILPS 1997: 291-305 - 1996
- [j1]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): 715-734 (1996) - [c3]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: 105-110 - 1995
- [c2]Manuel V. Hermenegildo, Pedro López-García:
Efficient Term Size Computation for Granularity Control. ICLP 1995: 647-661 - 1994
- [c1]Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin:
Estimating the Computational Cost of Logic Programs. SAS 1994: 255-265
Coauthor Index
aka: German Puebla
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-26 01:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint