A transformational approach to parametric accumulated-cost static profiling

Haemmerlé, Remy and López García, Pedro and Liqat, Umer and Klemen, Maximiliano and Gallagher, John and Hermenegildo, Manuel V. (2016). A transformational approach to parametric accumulated-cost static profiling. In: "13th International Symposium on Functional and Logic Programming, FLOPS 2016", 04-06 Mar 2016, Kochi, Japón. ISBN 978-3-319-29604-3. pp. 163-180. https://doi.org/doi.org/10.1007/978-3-319-29604-3_11.

Description

Title: A transformational approach to parametric accumulated-cost static profiling
Author/s:
  • Haemmerlé, Remy
  • López García, Pedro
  • Liqat, Umer
  • Klemen, Maximiliano
  • Gallagher, John
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 13th International Symposium on Functional and Logic Programming, FLOPS 2016
Event Dates: 04-06 Mar 2016
Event Location: Kochi, Japón
Title of Book: Functional and Logic Programming
Date: 2016
ISBN: 978-3-319-29604-3
Volume: 9613
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 (397kB) | Preview

Abstract

Traditional static resource analyses estimate the total resource usage of a program, without executing it. In this paper we present a novel resource analysis whose aim is instead the static profiling of accumulated cost, i.e., to discover, for selected parts of the program, an estimate or bound of the resource usage accumulated in each of those parts. Traditional resource analyses are parametric in the sense that the results can be functions on input data sizes. Our static profiling is also parametric, i.e., our accumulated cost estimates are also parameterized by input data sizes. Our proposal is based on the concept of cost centers and a program transformation that allows the static inference of functions that return bounds on these accumulated costs depending on input data sizes, for each cost center of interest. Such information is much more useful to the software developer than the traditional resource usage functions, as it allows identifying the parts of a program that should be optimized, because of their greater impact on the total cost of program executions. We also report on our implementation of the proposed technique using the CiaoPP program analysis framework, and provide some experimental results.

Funding Projects

TypeCodeAcronymLeaderTitle
FP7318337ENTRAROSKILDE UNIVERSITETWhole-Systems Energy Transparency
Government of SpainTIN'12-39391UnspecifiedUnspecifiedStrongSoft project
Madrid Regional GovernmentM141047003N-GREENSUnspecifiedUnspecified

More information

Item ID: 47609
DC Identifier: http://oa.upm.es/47609/
OAI Identifier: oai:oa.upm.es:47609
DOI: doi.org/10.1007/978-3-319-29604-3_11
Official URL: https://link.springer.com/chapter/10.1007/978-3-319-29604-3_11
Deposited by: Memoria Investigacion
Deposited on: 21 Mar 2018 11:35
Last Modified: 21 Mar 2018 11:35
  • 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