21 citations · 41 across the 9 of their papers we have counts for
10 papers
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
Louis Rustenholz, Maximiliano Klemen, Miguel Ángel Carreira-Perpiñán +1
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…
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…
Regular Path Clauses and Their Application in Solving Loops
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo +3
A well-established approach to reasoning about loops during program analysis is to capture the effect of a loop by extracting recurrences from the loop; these express relationships…
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…
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…
ENTRA: Whole-Systems Energy Transparency
Kerstin Eder, John P. Gallagher, Pedro Lopez-Garcia +14
Promoting energy efficiency to a first class system design goal is an important research challenge. Although more energy-efficient hardware can be designed, it is software that con…
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…
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015
Francisco Corbera, Andrés Rodríguez, Rafael Asenjo +19
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Amsterdam, January 21st. Collocated with HIPEAC 2015 Conference.