Energy consumption analysis and verification by transformantion into horn clauses and abstract interpretation

Hermenegildo, Manuel V. and Klemen, Maximiliano and Liqat, Umer and López García, Pedro (2017). Energy consumption analysis and verification by transformantion into horn clauses and abstract interpretation. In: "5th International Workshop on Verification and Program Transformation (VPT 2017)", 29 Abr 2017, Uppsala, Suecia. pp. 4-6. https://doi.org/10.4204/EPTCS.253.

Description

Title: Energy consumption analysis and verification by transformantion into horn clauses and abstract interpretation
Author/s:
  • Hermenegildo, Manuel V.
  • Klemen, Maximiliano
  • Liqat, Umer
  • López García, Pedro
Item Type: Presentation at Congress or Conference (Article)
Event Title: 5th International Workshop on Verification and Program Transformation (VPT 2017)
Event Dates: 29 Abr 2017
Event Location: Uppsala, Suecia
Title of Book: Electronic Proceedings in Theoretical Computer Science (EPTCS)
Date: 2017
Volume: 253
Subjects:
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (59kB) | Preview

Abstract

The static estimation of the energy consumed by program executions has applications in program optimization and verification, and is instrumental in energy-aware software development. We describe our approach for estimating such energy consumption statically (i.e., at compile-time, without running the program) in the form of functions on the input data sizes of procedures (and possibly other hardwaredependent parameters), and for using such functions for verifying and finding errors with respect to a rich class of energy consumption specifications for programs. We also present the implementation of this approach within the CiaoPP system.

Funding Projects

TypeCodeAcronymLeaderTitle
FP7318337ENTRAUnspecifiedWhole-Systems Energy Transparency
Government of SpainTIN2015-67522-C3-1-RUnspecifiedFundación IMDEA SoftwareTecnologías y herramientas para el desarrollo de software consciente de los recursos, correcto y eficiente (IMDEA)
Government of SpainM141047003UnspecifiedUniversidad Politécnica de MadridN-GREENS program

More information

Item ID: 55445
DC Identifier: http://oa.upm.es/55445/
OAI Identifier: oai:oa.upm.es:55445
DOI: 10.4204/EPTCS.253
Official URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?VPT2017#EPTCS253.2
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 13 Jun 2019 08:51
Last Modified: 13 Jun 2019 08:51
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM