Observatorio de I+D+i UPM

Memorias de investigación
Otras publicaciones:
Towards LLVM-Based Energy Consumption Analysis of Programs.
Áreas de investigación
  • Ciencias de la computación y tecnología informática
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
ICT-Energy (Nanoenergy) Letters
Tipo de publicación
Esta actividad pertenece a memorias de investigación
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: Pedro López García (CSIC)
  • Autor: Umer Liqat (IMDEA Software)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)