316 citations · 418 across the 18 of their papers we have counts for
16 papers · 1 filter
Abstractions of Sequences, Functions and Operators
Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo
We present theoretical and practical results on the order theory of lattices of functions, focusing on Galois connections that abstract (sets of) functions - a topic known as highe…
An Order Theory Framework of Recurrence Equations for Static Cost Analysis Dynamic Inference of Non-Linear Inequality Invariants
Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales +1
Recurrence equations have played a central role in static cost analysis, where they can be viewed as abstractions of programs and used to infer resource usage information without a…
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro Lopez-Garcia
Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions…
VeriFly: On-the-fly Assertion Checking via Incrementality
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco +3
Assertion checking is an invaluable programmer's tool for finding many classes of errors or verifying their absence in dynamic languages such as Prolog. For Prolog programmers this…
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
John P. Gallagher, Manuel Hermenegildo, Bishoksan Kafle +3
We investigate representations of imperative programs as constrained Horn clauses. Starting from operational semantics transition rules, we proceed by writing interpreters as const…
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
Maximiliano Klemen, Pedro Lopez-Garcia, John P. Gallagher +2
The estimation and control of resource usage is now an important challenge in an increasing number of computing systems. In particular, requirements on timing and energy arise in a…
Computing Abstract Distances in Logic Programs
Ignacio Casso, Jose F. Morales, Pedro Lopez-Garcia +1
Abstract interpretation is a well-established technique for performing static analyses of logic programs. However, choosing the abstract domain, widening, fixpoint, etc. that provi…
An Approach to Static Performance Guarantees for Programs with Run-time Checks
Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia +2
Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program beha…
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption
Pedro Lopez-Garcia, Luthfi Darmawan, Maximiliano Klemen +3
Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We have presented a configurable fram…
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
Manuel V. Hermenegildo, Pedro Lopez-Garcia
This volume constitutes the pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 6-8th September 2016 in E…
Towards Energy Consumption Verification via Static Analysis
Pedro Lopez-Garcia, Remy Haemmerle, Maximiliano Klemen +2
In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs. Such…
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
Umer Liqat, Kyriakos Georgiou, Steve Kerrison +4
The static estimation of the energy consumed by program executions is an important challenge, which has applications in program optimization and verification, and is instrumental i…
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
Alejandro Serrano, Pedro Lopez-Garcia, Manuel V. Hermenegildo
We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expr…
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types
Alejandro Serrano, Pedro López-García, Manuel Hermenegildo
We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expre…
An overview of Ciao and its design philosophy
M. V. Hermenegildo, F. Bueno, M. Carro +4
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An import…
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
Edison Mera, Pedro Lopez-Garcia, German Puebla +2
Effective static analyses have been proposed which infer bounds on the number of resolutions or reductions. These have the advantage of being independent from the platform on which…