Memorias de investigación
Other publications:
Towards LLVM-Based Energy Consumption Analysis of Programs.
Year:2014

Research Areas
  • Information technology and adata processing

Information
Abstract
The static estimation of the energy consumed by program executions is an important challenge, which has applications in program optimization and verification, and enables energy-aware software development. An approach has been proposed previously that estimates such energy as functions on a program's input data sizes. This approach has been further adapted to the LLVM IR level, making use of techniques developed in our theses. The work in the first thesis deals with the propagation of an existing ISA level energy model to the LLVM-IR level, through a mapping technique, to assign energy values to each instruction at that layer. Using these propagated energy values, the work in the second thesis deals with the conversion from the LLVM-IR format to a Horn clause-based representation, so that existing analyses can be used to infer energy cost functions on the input data sizes. Experimental results show that our LLVM layer analysis is reasonably accurate and more powerful than our previous analysis at the ISA layer
International
Si
Entity
ICT-Energy (Nanoenergy) Letters
Place
Pages
16-17
Reference/URL
http://www.nanoenergyletters.com/files/nel/ICT-Energy_Letters_8.pdf
Publication type
Newsletter
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial