| 2026 | PADL | Multi-configurable Search Rules in Prolog and Application to Testing. | Daniela Ferreiro, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2025 | LOPSTR | Extending the FSyntax/Hiord Approach with Imperative Notation. | Paula Corral, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2024 | ICLP | Teaching Pure LP with Prolog and a Fair Search Rule. | Manuel V. Hermenegildo, Jos F. Morales, Pedro Lpez-Garca |
| 2024 | SAS | An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. | Louis Rustenholz, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2023 | LOPSTR | Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. | John P. Gallagher, Manuel V. Hermenegildo, Jos F. Morales, Pedro Lpez-Garca |
| 2023 | LOPSTR | A Rule-Based Approach for Designing and Composing Abstract Domains. | Daniel Jurjo-Rivas, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2020 | LOPSTR | Testing Your (Static Analysis) Truths. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2020 | SAS | Cost Analysis of Smart Contracts Via Parametric Resource Analysis. | Victor Perez-Carrasco, Maximiliano Klemen, Pedro Lpez-Garca, Jos Francisco Morales, Manuel V. Hermenegildo |
| 2019 | LOPSTR | Computing Abstract Distances in Logic Programs. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Roberto Giacobazzi, Manuel V. Hermenegildo |
| 2019 | LOPSTR | An Integrated Approach to Assertion-Based Random Testing in Prolog. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2019 | LOPSTR | A General Framework for Static Cost Analysis of Parallel Logic Programs. | Maximiliano Klemen, Pedro Lpez-Garca, John P. Gallagher, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | ICLP | Towards Static Performance Guarantees for Programs with Run-Time Checks. | Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | PPDP | Static Performance Guarantees for Programs with Runtime Checks. | Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2017 | LOPSTR | Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. | Umer Liqat, Zorana Bankovic, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2016 | FLOPS | A Transformational Approach to Parametric Accumulated-Cost Static Profiling. | Rmy Haemmerl, Pedro Lpez-Garca, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo |
| 2016 | GECCO | Comparison between Golden Ball Meta-heuristic, Evolutionary Simulated Annealing and Tabu Search for the Traveling Salesman Problem. | Eneko Osaba, Roberto Carballedo, Pedro Lpez-Garca, Fernando Daz |
| 2016 | GECCO | TIMON Project: Description and Preliminary Tests for Traffic Prediction Using Evolutionary Techniques. | Eneko Osaba, Pedro Lpez-Garca, Antonio D. Masegosa, Enrique Onieva, Hugo Landaluce, Asier Perallos |
| 2016 | HAIS | Hybrid Optimization Method Applied to Adaptive Splitting and Selection Algorithm. | Pedro Lpez-Garca, Michal Wozniak, Enrique Onieva, Asier Perallos |
| 2015 | EUSFLAT | A new optimization approach for indoor location based on Differential Evolution. | Antonio D. Masegosa, Alfonso Bahillo, Enrique Onieva, Pedro Lpez-Garca, Asier Perallos |
| 2015 | GECCO | Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore Environments using a Multiobjective Evolutionary Algorithm. | Zorana Bankovic, Pedro Lpez-Garca |
| 2015 | GECCO | Hybridizing Genetic Algorithm with Cross Entropy for Solving Continuous Functions. | Pedro Lpez-Garca, Enrique Onieva, Eneko Osaba, Antonio D. Masegosa, Asier Perallos |
| 2015 | HAIS | Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling. | Zorana Bankovic, Umer Liqat, Pedro Lpez-Garca |
| 2015 | HAIS | A Parallel Meta-heuristic for Solving a Multiple Asymmetric Traveling Salesman Problem with Simulateneous Pickup and Delivery Modeling Demand Responsive Transport Problems. | Eneko Osaba, Fernando Daz, Enrique Onieva, Pedro Lpez-Garca, Roberto Carballedo, Asier Perallos |
| 2014 | GECCO | A study on the impact of heuristic initialization functions in a genetic algorithm solving the N-queens problem. | Eneko Osaba, Fernando Daz, Roberto Carballedo, Enrique Onieva, Pedro Lpez-Garca |
| 2013 | HAIS | Genetic Algorithm-Based Allocation and Scheduling for Voltage and Frequency Scalable XMOS Chips. | Zorana Bankovic, Pedro Lpez-Garca |
| 2013 | LOPSTR | Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. | Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lpez-Garca, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder |
| 2011 | PADL | Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. | Edison Mera, Teresa Trigo, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2011 | PPDP | CLP projection for constraint handling rules. | Rmy Haemmerl, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2010 | ICLP | A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. | Pedro Lpez-Garca, Luthfi Darmawan, Francisco Bueno |
| 2009 | ICLP | Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. | Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2008 | PPDP | Towards execution time estimation in abstract machine-based languages. | Edison Mera, Pedro Lpez-Garca, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | ICLP | User-Definable Resource Bounds Analysis for Logic Programs. | Jorge A. Navas, Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2007 | PADL | Combining Static Analysis and Profiling for Estimating Execution Times. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | ICLP | Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2005 | PPDP | Abstraction carrying code and resource-awareness. | Manuel V. Hermenegildo, Elvira Albert, Pedro Lpez-Garca, Germn Puebla |
| 2004 | EuroPar | Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. | Manuel V. Hermenegildo, Elvira Albert, Pedro Lpez-Garca, Germn Puebla |
| 2004 | FLOPS | Multivariant Non-failure Analysis via Standard Abstract Interpretation. | Francisco Bueno, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2004 | LOPSTR | Determinacy Analysis for Logic Programs Using Mode and Type Information. | Pedro Lpez-Garca, Francisco Bueno, Manuel V. Hermenegildo |
| 2003 | SAS | Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). | Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca |
| 2002 | ICALP | Program Debugging and Validation Using Semantic Approximations and Partial Specifications. | Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca |
| 1999 | ICLP | Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. | Manuel V. Hermenegildo, Francisco Bueno, Germn Puebla, Pedro Lpez-Garca |
| 1997 | ICLP | Non-Failure Analysis for Logic Programs. | Saumya K. Debray, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 1995 | ICLP | Efficient Term Size Computation for Granularity Control. | Manuel V. Hermenegildo, Pedro Lpez-Garca |
| 1994 | SAS | Estimating the Computational Cost of Logic Programs. | Saumya K. Debray, Pedro Lpez-Garca, Manuel V. Hermenegildo, Nai-Wei Lin |